Andrés Paz Loboguerrero : Ensuring Coherency and Consistency of Heterogeneous Design Models for Avionics Software

mercredi 09 mai 2018 - Séminaires

Bonjour à tous,
Nous avons le plaisir de vous inviter à participer au dixième séminaire du LATECE de l’année 2018. 

Qui? Andrés Paz Loboguerrero, étudiant au doc sous la supervision de Ghizlane El Boussaidi

Quand ? Mercredi 9 mai 2018 à 12h40 

Où? PK-5115

Titre : Ensuring Coherency and Consistency of Heterogeneous Design Models for Avionics Software

Résumé :

Software is controlling more and more the behaviour of critical avionics systems. In order to cope with the complexities of developing such software, they are designed using diverse modelling mechanisms, like UML and MathWorks Simulink and Stateflow. The resulting design partitioning/fragmentation may facilitate understanding and communication but it hinders verification and certification. This is in part due to the fact that the design models have to be kept coherent and consistent, specially in cases where overlapping exists. Moreover, when overlapping exists, traceability between the overlapping elements is required. The safetycritical nature of avionics systems, along with the size and complexity of their design models requires well-defined guidelines for ensuring model coherency and consistency. We have developed an approach for ensuring coherency and verifying consistency between UML, Simulink and Stateflow design models. The approach also manages traces between overlapping elements in those design models. A set of guidelines is included as well, which is intended to be integrated into the design standards of avionics companies to help them comply with DO-178C