Skip to Main content Skip to Navigation
Conference papers

Certification de l’assemblage de composants dans le développement de logiciels critiques

Résumé : La certification des logiciels des systèmes embarqués critiques est une opération industrielle très difficile et fastidieuse. Elle doit respecter un processus long, rigoureux et extrêmement normé. Le développement logiciel moderne repose sur la mise en œuvre de composants et de leur assemblage. Le problème à résoudre est celui de l’existence de méthodes et outils d’assemblage peu coûteux et industrialisables qui permettent de construire l’architecture du système final en induisant sa certification. À partir du contexte industriel avionique utlisant Simulink/Scade comme environnement de développement, on introduit une méthodologie innovante de certification de la composition s’appuyant sur le raffinement introduit par la méthode B.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01215641
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Wednesday, October 14, 2015 - 3:55:11 PM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM

Identifiers

  • HAL Id : hal-01215641, version 1

Citation

Pascal Manoury, Philippe Baufreton, Jean-Louis Dufour, Etienne Prun, Emmanuel Chailloux, et al.. Certification de l’assemblage de composants dans le développement de logiciels critiques. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Jun 2014, Paris, France. pp.109-114. ⟨hal-01215641⟩

Share

Metrics

Record views

154