Skip to Main content Skip to Navigation
Poster communications

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.
Document type :
Poster communications
Complete list of metadata

https://hal.inria.fr/hal-00815091
Contributor : Marc Sango <>
Submitted on : Thursday, April 18, 2013 - 10:53:01 AM
Last modification on : Saturday, December 12, 2020 - 6:08:01 PM
Long-term archiving on: : Friday, July 19, 2013 - 4:01:12 AM

File

posterGRD-GPL-Nancy.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00815091, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

398

Files downloads

213