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

Autor: David Navarre, Martin Cronel, Camille Fayollas, Yannick Deleris, Philippe Palanque, Jean-Charles Fabre
Přispěvatelé: Airbus (FRANCE), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Interactive Critical Systems (IRIT-ICS), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), AIRBUS Operations Ltd., Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Toulouse Mind & Brain Institut (TMBI), Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université Toulouse III - Paul Sabatier (UT3)
Jazyk: angličtina
Rok vydání: 2016
Předmět:
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
User interfaces
Fold (higher-order function)
Computer science
Control unit
Input device
02 engineering and technology
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Dependability
Cursor (databases)
Interface homme-machine
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Interactivity
Architectures Matérielles
Component (UML)
0202 electrical engineering
electronic engineering
information engineering
Génie logiciel
0501 psychology and cognitive sciences
[INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
050107 human factors
Interactive cockpits
business.industry
Model-based development
05 social sciences
Modélisation et simulation
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Systèmes embarqués
Model-baseddevelopment
ARINC 661
Embedded system
Cryptographie et sécurité
020201 artificial intelligence & image processing
[INFO.INFO-ES]Computer Science [cs]/Embedded Systems
User interface
business
Zdroj: HCI-Aero '16: Proceedings of the International Conference on Human-Computer Interaction in Aerospace
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016)
International Conference on Human-Computer Interaction in Aeronautics (HCI'Aero 2016), Sep 2016, Paris, France. pp.1-9
HCI-Aero
HAL
Popis: International audience; 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.
Databáze: OpenAIRE
Externí odkaz: