Contributions to the rigorous design of component-based systems using SysML models and formal approaches
Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles
Résumé
My research focuses on the rigorous design of critical component-based systems (CBS) using semi-formal notations and formal approaches. I am particularly interested in the exploitation of a particular formalism of automata, called interface automata, to propose incremental design approaches by contracts. Which allows to verify interoperability, substitutability and adaptability of components during their assembly. My work also focuses on the use of semi-formal models, particularly SysML, to formalize the requirements of CBS in order to consider them when checking the consistency of CBS architectures. More recently, I have worked, in the context of collaborations, on the specification and verification of coordination protocols in CBS, as well as on the use of formal approaches for the validation of communication protocols in connected vehicles.
Mes travaux portent sur la conception rigoureuse des systèmes à base de composants (SBC) critiques, en exploitant des notations semi-formelles et des approches formelles. Je m’intéresse particulièrement à l’exploitation d’un formalisme particulier des automates, appelé automates d’interface, pour proposer des approches de conception incrémentales par contrats. Ce qui permet de vérifier l’interopérabilité, la substituabilité, et l’adaptabilité des composants, lors de leur assemblage. Mes travaux se focalisent également sur l’exploitation des modèles semi-formels, particulièrement SysML, pour formaliser les exigences des SBC dans le but de les prendre en considération lors de la vérification de la cohérence des architectures des SBC. Plus récemment, j’ai travaillé, dans le cadre de collaborations, sur la spécification et la vérification des protocoles de coordination dans les SBC, ainsi que sur l’utilisation des approches formelles pour la validation des protocoles de communication dans les véhicules connectés.
Origine : Fichiers produits par l'(les) auteur(s)