Modèle de Défaillance lié à la Sûreté pour des Applications Ferroviaires Critiques - Développement à Base de Composants - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Poster Année : 2013

Modèle de Défaillance lié à la Sûreté pour des Applications Ferroviaires Critiques - Développement à Base de Composants

Résumé

Les applications critiques sont conçues de telle façon qu'elles continuent à fonctionner en conformité avec leurs spécifications de sûreté malgré des fautes résiduelles. Cette technique de conception est connue sous le nom de la tolérance aux fautes. La tolérance aux fautes comprend plusieurs modes de défaillances qui sont définis par leurs sémantiques d'interprétation. Dans certains domaines critiques comme dans le ferroviaire, les applications restent en grande majorité développées manuellement et les différentes préoccupations extra fonctionnelles, telle que la tolérance aux fautes, sont intégrées dans le code fonctionnel sous forme d'algorithmes, de protocoles, et ou encore d'exceptions. Construites ainsi, les architectures logicielles de ces applications sont complexes à faire évoluer et encore plus difficiles à adapter à l'exécution. Nous proposons d'utiliser la séparation de préoccupations, basée sur une approche orientée composants, dans tout le cycle de vie logiciel pour préserver les propriétés de sûreté de la conception à l'exécution.
Fichier principal
Vignette du fichier
posterGRD-GPL-Nancy.pdf (327.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00815091 , version 1 (18-04-2013)

Identifiants

  • HAL Id : hal-00815091 , version 1

Citer

Marc Sango, Laurence Duchien, Christophe Gransart. Modèle de Défaillance lié à la Sûreté pour des Applications Ferroviaires Critiques - Développement à Base de Composants. Journée GDR GPL, Apr 2013, Nancy, France. ⟨hal-00815091⟩
187 Consultations
87 Téléchargements

Partager

Gmail Facebook X LinkedIn More