|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing
Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques
Pasadena, California USA
December 12-December 14
ISBN: 978-0-7695-4590-5
| ASCII Text | x | ||
| A. Tankeu-Choitat, D. Navarre, P. Palanque, Y. Deleris, J-C Fabre, C. Fayollas, "Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques," Pacific Rim International Symposium on Dependable Computing, IEEE, pp. 164-173, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/PRDC.2011.28, author = {A. Tankeu-Choitat and D. Navarre and P. Palanque and Y. Deleris and J-C Fabre and C. Fayollas}, title = {Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques}, journal ={Pacific Rim International Symposium on Dependable Computing, IEEE}, volume = {0}, year = {2011}, isbn = {978-0-7695-4590-5}, pages = {164-173}, doi = {http://doi.ieeecomputersociety.org/10.1109/PRDC.2011.28}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Pacific Rim International Symposium on Dependable Computing, IEEE TI - Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques SN - 978-0-7695-4590-5 SP164 EP173 A1 - A. Tankeu-Choitat, A1 - D. Navarre, A1 - P. Palanque, A1 - Y. Deleris, A1 - J-C Fabre, A1 - C. Fayollas, PY - 2011 KW - Interactive Systems KW - Self Checking Components KW - Widgets KW - Dependability KW - Fault Tolerance VL - 0 JA - Pacific Rim International Symposium on Dependable Computing, IEEE ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PRDC.2011.28
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.
Index Terms:
Interactive Systems, Self Checking Components, Widgets, Dependability, Fault Tolerance
Citation:
A. Tankeu-Choitat, D. Navarre, P. Palanque, Y. Deleris, J-C Fabre, C. Fayollas, "Self-Checking Components for Dependable Interactive Cockpits Using Formal Description Techniques," prdc, pp.164-173, 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing, 2011
Usage of this product signifies your acceptance of the Terms of Use.