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 Access content directly
Poster Communications Year :

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

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00815091 , version 1

Cite

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⟩
185 View
87 Download

Share

Gmail Facebook Twitter LinkedIn More