Une Approche Formelle de Ingénierie Système Basée sur les Modèles
Iulian Ober
Mardi 12 avril à 14h
Bâtiment M3, amphi Turing
Une Approche Formelle de Ingénierie Système Basée sur les Modèles
Résumé : L’ingénierie système connaît actuellement une période de rapide évolution grâce à l’arrivée à maturité de nouvelles méthodes basées sur des modèles et de nouveaux standards comme le langage SysML. Bien que récents, ces langages et méthodes ont réussi à pénétrer de manière remarquable dans les pratiques industrielles car ils ouvrent la voie vers une formalisation et une uniformisation des spécifications du système, fournissant un référentiel unique pour tous les acteurs impliqués dans le développement. Ceci est particulièrement important dans le développement des systèmes complexes composés d’éléments logiciels et matériels hétérogènes hautement intégrés, tels qu’on peut en trouver dans des domaines comme l’aérospatial, le transport ou les bâtiments intelligents. Si les modèles prennent une place aussi centrale dans l’ingénierie système, leur précision et leur correction revêtent de lors une importance particulière. Dans ce séminaire nous allons présenter les principaux résultats de nos recherches visant à appliquer des méthodes de validation formelles comme l’analyse statique, la simulation ou le model-checking à des modèles SysML. Une place particulière sera faite aux recherches récentes sur la définition de contrats pour les composants en SysML et sur le raisonnement compositionnel à base de contrats. La présentation sera étayée par des exemples issus d’un cas d’étude industriel du domaine spatial.
Mots clé : ingénierie système, ingénierie de modèles (IDM), systèmes critiques, temps réel, UML, SysML, simulation, model checking