Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles

Abstract : 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.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

https://hal.archives-ouvertes.fr/tel-03126592
Contributor : Samir Chouali <>
Submitted on : Sunday, January 31, 2021 - 8:34:52 PM
Last modification on : Wednesday, February 3, 2021 - 3:21:00 AM
Long-term archiving on: : Saturday, May 1, 2021 - 6:26:26 PM

File

HDR_SamirChouali.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03126592, version 1

Citation

Samir Chouali. Contributions à la conception rigoureuse des systèmes à base de composants exploitant des modèles SysML et des approches formelles. Génie logiciel [cs.SE]. Université Bourgogne Franche-Comté, 2020. ⟨tel-03126592⟩

Share

Metrics

Record views

46

Files downloads

78