Certification de l’assemblage de composants dans le développement de logiciels critiques - Université Pierre et Marie Curie Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Pascal Manoury
  • Fonction : Auteur
Philippe Baufreton
  • Fonction : Auteur
Jean-Louis Dufour
  • Fonction : Auteur
Etienne Prun
  • Fonction : Auteur
Grégoire Henry
  • Fonction : Auteur
Florian Thibord
  • Fonction : Auteur
Philippe Wang
  • Fonction : Auteur
Etienne Millon
  • Fonction : Auteur
  • PersonId : 971653

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.
Fichier non déposé

Dates et versions

hal-01215641 , version 1 (14-10-2015)

Identifiants

  • HAL Id : hal-01215641 , version 1

Citer

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⟩
111 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More