Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques

Résumé

In the last few years, glass cockpits are being replaced by interactive cockpits to provide a higher level of integration of both command and information display. Due to their event driven nature, interactive systems offer more display and control capabilities but they require specific error detection and fault tolerance techniques to reach a high level of dependability. This paper proposes a model-based approach for adding fault tolerance mechanisms to interactive cockpits. While several mechanisms are considered and presented, the contribution is focused on the formal description of self-checking widgets, being the basis for interactive cockpits.
Fichier non déposé

Dates et versions

hal-03651208 , version 1 (25-04-2022)

Identifiants

Citer

Adrienne Tankeu Choitat, David Navarre, Philippe Palanque, Yannick Deleris, Jean-Charles Fabre, et al.. Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques. 17th Pacific Rim International Symposium on Dependable Computing (PRDC 2011), Dec 2011, Pasadena, California, United States. pp.164-173, ⟨10.1109/PRDC.2011.28⟩. ⟨hal-03651208⟩
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More