OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study

Fayollas, Camille and Fabre, Jean-Charles and Palanque, Philippe and Cronel, Martin and Navarre, David and Deleris, Yannick A Three-fold Approach towards Increased Assurance Levels for Interactive Systems: A Flight Control Unit Case Study. (2016) In: International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), 14 September 2016 - 16 September 2016 (Paris, France).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
840kB

Official URL: https://doi.org/10.1145/2950112.2964578

Abstract

Interactive cockpits have been used since the early 00's in many aircraft cockpits, but the use of interactivity still remains limited to non-critical functions even in the most recent aircrafts. Indeed, engineering such interactive systems is still a challenge and their engineering has not reach the Design Assurance Level required for critical functions. In interactive cockpits, interaction takes place through graphical input devices and keyboards (such as the Keyboard Cursor Control Unit in Airbus family) while the behavior of the User Interface (UI) must be compliant with the specifications defined in ARINC 661 standard. The tool-supported three-fold approach presented in this paper proposes means for increasing the assurance level of interactive systems. The approach includes a formal description technique for describing each component of an interactive system (detection and prevention of development faults), a command and monitoring technique dedicated to interactive systems components (detection of natural faults) and a segregation runtime environment (prevention of faults propagation) We report on the implementation of a Flight Control Unit (FCU) panel using this approach, inspired by the FCU of the A380.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to ACM, Association for Computing Machinery. The definitive version is available at http://dl.acm.org This papers appears in Article No.: 2 of HCI-Aero '16: Proceedings of the International Conference on Human-Computer Interaction in Aerospace ISBN: 978-1-4503-4406-7 The original PDF is available at: https://dl.acm.org/doi/10.1145/2950112.2964578
HAL Id:hal-02603674
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Airbus (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Funders:
Constructeur aéronautique Airbus (Europe)
Statistics:download
Deposited On:24 Apr 2020 14:04

Repository Staff Only: item control page