Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 7 - Sûreté de développement du logiciel > Equipe MACAO > Propositions de stages, thèses et post-doc > Thèses

Analyse de sûreté de fonctionnement basée modèles

Contact : Jean-Michel Bruel

Laboratoire IRIT — Thème 7 — Equipe MACAO

Direction et unité d’accueil

  • Directeur : Jean-Michel Bruel (Tel. 05.62.74.75.40)
  • Encadrant (à définir)
  • Institut de Recherche en Informatique de Toulouse (IRIT)
  • Equipe : MACAO

Argumentaire scientifique et description

Dans cette thèse nous souhaitons proposer une solution intégrée de sûreté de fonctionnement (SdF) pour les systèmes complexes (systèmes de systèmes, RT&E, distribués).

L’intérêt croissant de techniques de modélisation en ingénierie système (IS), la maturité de l’ingénierie dirigée par les modèles (IDM) en terme d’utilisation des éléments de modèles comme éléments de base au développement et à l’analyse de propriété, permettent d’envisager sérieusement l’utilisation de notations comme SysML/UML dans les activités d’IS aussi spécifique que l’analyse des propriétés de sûreté.

Fort de l’expérience de l’équipe MACAO en matière de modélisation des propriétés de sûreté (thèse en cours, cf. [références]), en matière d’outils de vérification formelle (outil IFx-OMEGA), et en matière de langages dédiés (DSL, cf. [références]), nous souhaitons intégrer à la fois des aspects méthodologiques d’utilisation des premiers résultats obtenus, ainsi qu’un travail sur l’expressivité du langage d’action Alf en le couplant si besoin à un DSL.

Contexte

Nous espérons pouvoir financer cette thèse avec plusieurs sources de financement possibles (et complémentaires)

Références

  • Adel Ziani, Brahim Hamid, Jean-Michel Bruel. A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design (regular paper). Dans : Euromicro conference on Software Engineering and Advanced Applications, Cesme, Izmir, Turkey, 05/09/2012-08/09/2012, IEEE, p. 166-169, septembre 2012.
  • Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel. Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (regular paper). Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, 16/10/2011-21/10/2011, Vol. 6981, Jon Whittle, Tony Clark, Thomas Kühne (Eds.), Springer, LNCS, p. 213-227, septembre 2011.
  • Iulia Dragomir, Iulian Ober, David Lesens. A Case Study in Formal System Engineering with SysML. In 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, Paris, France, July 18-20, 2012, pages 189-198. IEEE Computer Society, July 2012.

Last updated 2012-12-04 17:59:41 CET