, Avionics Application Software Standard Interface. ARINC Specification 653-2, ARINC 653, 2006.

, Cockpit Display System Interfaces to User Systems. ARINC Specification 661-5. AEEC, ARINC 661, vol.3, 2013.

A. Avizienis, Basic concepts and taxonomy of dependable and secure computing, IEEE Trans. Dependable Secur. Comput, vol.1, issue.1, pp.11-33, 2004.

E. Barboni, Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification, Int. Conf. on Design Specification and Verification of Interactive Systems, pp.25-38, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01021771

, CS-25 -Amendment 14 -Certification Specifications and Acceptable Means of Compliance for Large Aeroplanes, EASA, 2013.

, TM 5-698-4, Failure Modes, Effects and Criticallity Analysis (FMECA) For Command, Control, Communications, Computer, Intelligence, Surveillance, and Reconnaissance (C4ISR) Facilities, 2006.

, Software Considerations in Airborne Systems and Equipment Certification, 2012.

C. Fayollas, An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits, EDCC, vol.2014, pp.198-209

C. Fayollas, A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics, IEEE 20 th Pacific Rim International Symposium on Dependable Computing (PRDC2014)

C. Fayollas, Interactive Cockpits as Critical Applications: a Model-Based and a Fault-Tolerant Approach, In Int. Journal of Critical Computer-Based Systems, 2013.

H. J. Genrich, Predicate/Transitions Nets. High-Levels Petri Nets: Theory and Application, LNCS, pp.3-43, 1991.

A. Hamon-keromen, Formal description of multitouch interactions, EICS, vol.2013, pp.207-216

J. Knight, The Glass Cockpit. Computer, vol.40, issue.10, p.92, 2007.

N. Krey, The Nall Report 2007: Accident Trends and Factors for 2006. AOPA Air Safety Foundation, 2007.

M. Lauer, Worst Case Temporal Consistency in Integrated Modular Avionics Systems. High-Assurance Systems Engineering (HASE), IEEE 13th Int. Symp. on, vol.219, pp.10-12, 2011.

D. Navarre, ICOs: a Model-Based User Interface Description Technique dedicated to Interactive Systems Addressing Usability, Reliability and Scalability. Trans. on Computer-Human Interaction, ACM, vol.16, issue.4, pp.1-56, 2009.
URL : https://hal.archives-ouvertes.fr/hal-02570890

N. E. , Single-event effects in avionics, IEEE Transactions on, vol.43, issue.2, pp.461-474, 1996.

D. Regis, IC components reliability concerns for avionics end-users, Digital Avionics Systems Conference IEEE/AIAA 32 nd pp.2C2-1,2C2-9, 2013.

C. Sandom, Success and failure: human as hero --human as hazard, Proc. of Australian workshop on Safety critical systems and software and safety-related programmable systems, vol.86, pp.79-87

J. L. Silva, Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification, Int. Workshop on Formal Methods for Interactive Systems (FMIS 2013), 2013.

S. K. Card, The Keystroke-Level Model for User Performance Time with Interactive Systems, Commun. ACM, vol.23, issue.7, pp.396-410, 1980.

P. Traverse, I. Lacaze, and J. Souyris, Airbus fly-bywire: a total approach to dependability, Proc. IFIP World Computer Congress, pp.191-212, 2004.