L. .. 'importance-des-fautes-humaines,

. , 33 1.5.1 Les systèmes interactifs et la sûreté de fonctionnement, Les problématiques de l'ingénierie logicielle des systèmes interactifs critiques

. .. Synthèse,

L. .. Processus-de-développement, 41 2.2.1 Les processus de développement en Génie Logiciel, p.42

, Les processus de développement dédiés aux systèmes interactifs 44

, Les processus de développement dédiés aux systèmes critiques, p.45

. , 3.1 Les besoins en notation pour la description de systèmes interactifs multimodaux, Notations formelles pour la spécification des systèmes interactifs : focus sur ICO, p.51

I. .. Le-formalisme,

L. .. Services-dans-les-objets-coopératifs, , p.55

. .. Les-Événements-dans-les-objets-coopératifs, , vol.56

, Les Objets Coopératifs Interactifs (ICO), vol.57

L. I. Synthèse,

. .. Les-architectures-logicielles,

P. .. , , p.60

L. .. ,

, Les architectures dédiées aux systèmes interactifs multimodaux 66

M. .. ,

A. .. Framwork, 2 ARINC 653, standard de partitionnement temporel et spatial de ressources informatiques, p.69

. .. La-communication-inter-processus, , p.71

. , Les Systèmes d'exploitation et les simulateurs d'ARINC 653

. .. Synthèse,

. , 103 4.1.1 Les besoins d'un outil pour supporter la modélisation avec la notation ICO, Un environnement de développent de systèmes interactifs critiques : Petshop

I. Édition and . .. Ico, 106 4.1.5 L'analyse des modèles ICO

. .. Synthèse-sur-petshop,

. , Une plateforme d'exécution permettant la ségrégation spatiale et temporelle : ARISSIM

. , 3.1.2 Principe de la notification à l'application

. .. Bénéfices,

. .. Conclusion,

. , 1 Première étape : Analyse de la technique d'interaction. .. .. 120 5.3.2 Deuxième étape : Description de la technique d'interaction. .. 123 5.3.3 Troisième étape : Vérification de la conformité du design model avec le user's model, Un processus pour prendre en compte les automatisations transparentes et éviter les surprises

, Illustration des potentielles surprises dans les cockpits, p.129

. .. Conclusion,

. , 138 6.3 Instanciation du modèle d'architecture MIODMIT sur l'exemple, p.140

. .. Gestionnaire-de-chaîne-d'entrée, , p.147

. .. Dialogue,

. .. Système-de-rendu-et-gestionnaire-de-chaîne-de-sortie, , p.156

. .. Chaîne-de-sortie-liée-À-l'écran, , p.157

. .. Chaîne-de-sortie-liée-À-la-synthèse-vocale, , p.157

, Analyse de l'interaction et des comportements autonomes, p.158

. .. Conclusion,

. , 2.2 Fonctionnement de l'application pour l'étude de cas, Une étude de cas de taille réelle : Le radar météo d'un avion de ligne Sommaire

. .. De-modalités, Présentation des modifications en vue d'ajouts

.. .. Chaîne-d'entrée-liée-au-tactile,

. .. Gestionnaire-de-configuration-d'entrée, , p.179

. .. Conclusion,

. Objectifs and . .. Besoins-pour-la-plateforme-opérationnelle, , p.184

. .. Présentation-informelle-de-la-plateforme-opérationnelle, 185 8.3.1 Architecture générique de la plateforme opérationnelle

. .. Support-au-prototypage, 191 8.4.1 Ajout de périphérique d'entrée ou de sortie

. .. Conclusion,

. , elles consistent en un gain constant de 100 et de 1, permettant de changer les centaines et les unités de l'altitude de l'aéronef dans la simulation. des processus de développement et l'entrée en conflit de nombreuses propriétés (p. ex. fiabilité d'un côté, utilisabilité et ressenti utilisateur de l'autre), restent des obstacles majeurs à leur unification dans un processus de développement universel pour les systèmes interactifs critiques

. Fayollas, Les travaux de thèse ont été publiés dans un ensemble d'article de conférences : 1. A software-implemented fault-tolerance approach for control and display systems in avionics, 2014.

. Hamon, Multi-Touch Interactions for Control and Display in Interactive Cockpits : Issues and a Proposal, 2014.

. Bernhaupt, Transparent Automation for Assessing and Designing Better Interactions Between Operators and Partly-Autonomous Interactive Systems, 2015.

. Fayollas, A Three-fold Approach Towards Increased Assurance Levels for Interactive Systems : A Flight Control Unit Case Study, 2016.

. Hamon, Dependable multi-touch interactions in safety critical industrial contexts : Application to aeronautics, 2015.

. Fayollas, Résilience des systèmes interactifs : contribution par une architecture tolérante aux fautes, 2014.

. Hamon, Articles en cours de soumission MIODMIT, Select, Connect and Tune on Demand : A Generic Software Architecture for Handling Complexity and Flexibility of Interactive Critical Systems, Formal Modelling of Dynamic Instantiation of Input Devices and Interaction Techniques : Application to Multi-touch Interactions, 2014.

. Avizienis, , 2004.

. Avizienis, Chaîne de causalité des entraves à la sûreté de fonctionnement et à la sécurité, 2004.

.. .. Un-système-interactif-classique,

. , Problèmes d'utilisabilités détectés en fonction du nombre de tests utilisateurs, 2000.

. .. Le-monde-continu-vs-le-monde-informatique-discret, , p.26

. , Automation Level Automation Description, Différents aspects de composition pour deux modalités, 1997.

. , Processus menant à une faute humaine à cause d'une surprise liée au comportement autonome

. , Classification des fautes des systèmes informatiques, extrait de [Fayollas, 2015.

, Un échantillon des processus de développement courant en Génie Logiciel, p.43

. Göransson, The usability design process, vol.46, 2004.

. .. De-petri, Représentation des places dans les réseaux, p.51

. , Représentations des transitions franchissables et non franchissables dans les réseaux de Petri

, Représentation des différents types d'arcs dans les réseaux de Petri, p.52

, État d'un réseau de Petri avant et après un franchissement de transition, vol.52

. , État d'un réseau de Petri avant et après le franchissement de transition conditionnée par un arc de test

. , État d'un réseau de Petri avant et après le franchissement de transition conditionnée par un arc inhibiteur

. , État d'un réseau de Petri avant (a) et après (b) le franchissement d'une transition temporisée

, Exemple de comportement indéterministe dans les réseaux de Petri, p.54

.. .. Exemple-de-réseau-de-petri-À-objets,

. , Exemple de franchissement dans un réseau de Petri à objets avant (a) et après (b) unification

, Exemple de CO-classe comprenant son interface Java et son ObCS, p.56

. .. , Abonnement à un événement (a) et envoi d'un événement (b), p.56

. , Exemple de transition réceptrice d'événements

, Événements correspondants aux changements d'états d'un objet coopératif. PN : Place Name, TN : Transition Name, EN : Event Name, p.57

, Application Software Components, p.60, 2006.

, Architecture logicielle d'un composant autotestable, p.61, 2015.

M. Seeheim, , 1985.

L. Bass, , p.63, 1992.

. , Le méta-modèle Slinky associé au modèle architectural ARCH, 1994.

. .. , Modèle architectural PAC-Amodeus (Nigay et Coutaz 1993), p.65

]. .. Smartkom, The General Architecture of SmartKom, p.68

L. De-mudra and .. .. ,

. , Erreurs lors du développement, classification des fautes des systèmes informatiques

. .. Les-quatre-saisons,

L. Q. Saisons, modèle en réseau de Petri de l'application, p.81

, Présentation générale des systèmes dans le modèle d

M. .. Le-modèle-d'architecture, , vol.87

, Instance de MIODMIT adaptée à l'application des quatre saisons, p.98

. .. , Classification des fautes des systèmes informatiques, p.103

, Copie d'écran de l'environnement de PetShop [Hamon-Keromen, p.105, 2014.

. , Copie d'écran du résultat du module d'analyse des modèles ICO dans PetShop, 2014.

A. Principe-de-fonctionnement-du-simulateur and ]. .. Cronel, , p.110

, Architecture logicielle et matérielle de la maquette de preuve de concept

. .. Les-quatre-saisons,

L. Q. Saisons, modèle en réseau de Petri de l'application, p.113

. .. Après-le-printemps-vient-l'été, 115 4.10 Assertion : Une seule saison est active en même temps, vol.115, p.208

. , Fautes humaines en opération, dans la classification des fautes des systèmes informatiques

, Events appearing in the automata of Figure 5.4 and Figure 5.6, p.120

, Un processus de prise en compte des automation surprises, p.121

, Le rendu de l'interaction double clic sur un dossier dans Windows, p.123

L. .. Dans-windows, , p.124

, Exemple de rendus possibles pour le transducteur de Windows 8, qui rendraient l'automatisation plus transparente pour l'utilisateur, p.127

. , Exemple de rendus possibles pour le transducteur de Windows 8, qui rendraient l'automatisation plus transparente pour l'utilisateur dans le cas où le double clic n'est pas produit

L. Deux-kccu-d'un-cockpit-d'a380 and C. , , p.130

. , L'interface graphique de l'application des quatre saisons multi-événements lorsque les saisons sont en hiver

, Relations entre service utilisateur disponible et rendu sur les boutons, p.139

, Architecture de l'application des Quatre Saisons multi événements, p.141

. , Architecture de l'application des Quatre Saisons multi événements relative à la chaîne d'entrée

. , Modèle de la souris virtuelle associée à la souris Logitech à 2 boutons et une molette cliquable

. .. Modèle-du-curseur,

. , Modèle partiel du gestionnaire de souris : boucle de rafraichissement en vert, abonnement dynamique

. , Architecture de l'application des Quatre Saisons multi événements relative au dialogue et coeur de l'application

, Modèle partiel du bouton relatif à la gestion des événements disponibles du coeur de l'application des Quatre Saisons multi événements, p.150

, Modèle partiel du bouton relatif à la gestion de l'armement du bouton, p.150

. , Modèle partiel du bouton relatif à la gestion de l'engagement des boutons

.. .. Modèle-de-l'adaptateur-de-dialogue,

, Modèle complet du coeur de l'application des Quatre Saisons multi événements155

, Modèle de la fonction d'activation lié au bouton EndSpring, p.156

. , Modification du rendu des curseurs avec l'ajout de rendus sur les places ENGAGED et IDLE

E. Écrans-d'un-cockpit-d'a350 and . De, , p.163, 2014.

, Modes d'affichages ARC (A) et ROSE (B), extrait de [Hamon-Keromen, p.165, 2014.

.. .. Architecture-du-radar-météo,

, En bleu les fonctions d'initialisation, en violet les appels aux foncions de picking, p.172

. Le-modèle-ico-du-membre and . Du,

.. .. Chaîne-d'entrée-liée-au-tactile,

.. .. Le-modèle-ico-de-l'écran-virtuel,

L. and .. .. ,

.. .. Ihm-de-l'inputdevicemanager,

. , Partie du modèle InputConfigurationManager liée à la gestion dynamique du

, Partie du modèle InputConfigurationManager liée à la gestion de configuration qui transforme des événements curseur en événements tactiles, p.181

. .. Architecture-physique-globale-du-système, , p.185

. .. Périphérique-virtuel-du-phidget-de-roue-encodeuse, , p.188

, Application illustrative des fonctionnalités de la plateforme opérationnelle, p.190

. , Chaîne d'entrée relative à l'ajout de deux souris

. , Modèle de technique d'interaction multi souris, incluant la synergie des deux curseurs ComboClic etComboDoubleClic

. Palanque, Processus d'analyse de technique d'interaction grâce au log, extrait de la présentation de, 2011.

. Palanque, Log d'un test utilisateur pour analyser la réussite de l'interaction clic combiné, 2011.

. Laprie, Couverture des travaux de thèse par rapport à la classification des fautes des systèmes informatiques de, 1995.

. , Une description de la fonction de Picking

. , Modèle de lancement de l'application

. , Modèle du container principal de l'application

. Bibliographie-[accot, Formal transducers : models of devices and building bricks for the design of highly interactive systems, Design, Specification and Verification of Interactive Systems' 97, pp.143-159, 1997.

. Accot, A formal description of low level interaction and its application to multimodal interactive systems, Design, Specification and Verification of Interactive Systems' 96, pp.92-104, 1990.

. Avizienis, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.

[. Barboni, Petri net centered versus user centered petri nets tools, 10th Workshop Algorithms and Tools for Petri Nets, 2003.

[. Barboni, Beyond modelling : an integrated environment supporting co-execution of tasks and systems models, Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, pp.165-174, 2010.

. Barnard, P. Barnard, and J. May, Interactions with advanced graphical interfaces and the deployment of latent human knowledge, Interactive Systems : Design, Specification, and Verification, pp.15-49, 1995.

L. Bass, L. Bass, and B. E. John, Linking usability to software architecture patterns through general scenarios, Journal of Systems and Software, vol.66, issue.3, pp.187-197, 2003.

[. Bastide, A model-based tool for interactive prototyping of highly interactive applications, CHI'02 extended abstracts on Human factors in Computing Systems, pp.516-517, 2002.

P. Bastide, R. Bastide, and P. A. Palanque, Petri net objects for the design, validation and prototyping of user-driven interfaces, Interact, vol.90, pp.625-631, 1990.

M. Bau, O. Bau, and W. E. Mackay, Octopocus : a dynamic guide for learning gesture-based command sets, Proceedings of the 21st annual ACM symposium on User interface software and technology, pp.37-46, 2008.

[. Beck, The agile manifesto, 2001.

R. Bernhaupt, User experience evaluation methods in the games development life cycle, Game User Experience Evaluation, pp.1-8, 2015.

. Bernhaupt, Transparent automation for assessing and designing better interactions between operators and partly-autonomous interactive systems, Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems, ATACCS '15, pp.129-139, 2015.

R. E. Berry, Common user access ; a consistent and usable humancomputer interface for the saa environments, IBM Systems Journal, vol.27, issue.3, pp.281-300, 1988.

[. Bier, Toolglass and magic lenses : the see-through interface, Proceedings of the 20th annual conference on Computer graphics and interactive techniques, pp.73-80, 1993.

B. Boehm, A spiral model of software development and enhancement, ACM SIGSOFT Software Engineering Notes, vol.11, issue.4, pp.14-24, 1986.

R. A. Bolt, Put-that-there" : Voice and gesture at the graphics interface, vol.14, 1980.

[. Bonnet, Extending the vocabulary of touch events with thumbrock, Proceedings of Graphics Interface, pp.221-228, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00839414

[. Bouchet, Icare software components for rapidly developing multimodal interfaces, Proceedings of the 6th international conference on Multimodal interfaces, pp.251-258, 2004.

[. Brooke, Sus-a quick and dirty usability scale. Usability evaluation in industry, vol.189, pp.4-7, 1996.

B. Buxton, Developing a Taxonomy of Input, 2009.

H. ;. Campos, J. C. Campos, and M. D. Harrison, Formally verifying interactive systems : A review, Design, Specification and Verification of Interactive Systems' 97, pp.109-124, 1997.

. Casiez, G. Casiez, N. ;. Roussel, and C. Cei, Centrales nucléaires de puissance-instrumentation et contrôle-commande importants pour la sûreté-exigences générales pour les systèmes, Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, UIST '11, pp.603-614, 2011.

[. Cei and C. Cei, Sécurité fonctionnelle des systèmes électriques/électroniques/électroniques programmables relatifs à la sécurité

G. Gram-;-cockton and C. Gram, Design principles for interactive software, 1996.

C. Collins, D. Collins, D. Collins, and . Combéfis, Learning system abstractions for human operators, Proceedings of the International Workshop on Machine Learning Technologies in Software Engineering, pp.3-10, 1995.

B. C. Conley, The value of human life in the demand for safety, The American Economic Review, pp.45-55, 1976.

[. Conversy, L'accident du vol af447 rio-paris, un cas d'étude pour la recherche en ihm, IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, vol.19, pp.37-41, 1987.

[. Coutaz, Four easy pieces for assessing the usability of multimodal interaction : the care properties, Human-Computer Interaction, pp.115-120, 1995.

[. Cuenca, A domain-specific textual language for rapid prototyping of multimodal interactive systems, Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '14, pp.97-106, 2014.

B. Curtis and B. Hefley, A wimp no more : the maturing of user interface engineering. interactions, vol.1, pp.22-34, 1994.

A. Dix-;-dix and A. J. Dix, Formal methods : an introduction to and overview of the use of formal methods within hci, Perspectives on HCI : Diverse Approaches, pp.9-43, 1995.

[. Dubey, A real-time component framework : experience with ccm and arinc-653, A component model for hard real-time systems : Ccm with arinc-653. Software : Practice and Experience, vol.41, pp.1517-1550, 2010.

. Dumas, Multimodal interfaces : A survey of principles, models and frameworks. Human machine interaction, pp.3-26, 2009.

E. and ]. Easa, Cs-25 large aeroplanes

[. Fahssi, Hamsters : un environnement d'édition et de simulation de modèles de tâches, IHM'14, 26e conférence francophone sur l'Interaction Homme-Machine, pp.5-6, 2014.

C. Fayollas, Architecture logicielle générique et approche à base de modèles pour la sûreté de fonctionnement des systèmes interactifs critiques, 2015.

. Fayollas, A software-implemented fault-tolerance approach for control and display systems in avionics, Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, 2014.

. Fayollas, A three-fold approach towards increased assurance levels for interactive systems : A flight control unit case study, Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero '16, vol.2, pp.1-2, 2016.

. Fayollas, Resilience of interactive systems : Contribution by a fault-tolerant architecture | Résilience des systèmes interactifs : Contribution par une architecture tolérante aux fautes, IHM 2014-Actes de la 26ieme Conference Francophone sur l'Interaction Homme-Machine, 2014.

[. Feiler, The architecture analysis & design language (aadl) : An introduction, 2006.

M. Forsberg, K. Forsberg, H. Mooz, H. J. Genrich, and . Ghezzi, The relationship of system engineering to the project cycle, INCOSE International Symposium, vol.1, pp.35-39, 1982.

R. Goldberg, A. Goldberg, D. Robson, and . Göransson, The usability design process-integrating user-centered systems design in the software development process research section, 1983.

, Dependable multitouch interactions in safety critical industrial contexts : Application to aeronautics, Proceedings of the International Conference on Human-Computer Interaction in Aerospace, HCI-Aero '14, vol.7, pp.980-987, 2014.

, Formal modelling of dynamic instantiation of input devices and interaction techniques : application to multi-touch interactions, Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive computing systems, vol.52, pp.139-183, 1988.

H. R. Hix-;-hartson and D. Hix, Toward empirically derived methodologies and tools for human-computer interface development, International Journal of Man-Machine Studies, vol.31, issue.4, pp.477-494, 1989.

[. Hoste, Mudra : a unified multimodal interaction framework, Proceedings of the 13th international conference on multimodal interfaces, pp.97-104, 2011.

O. I. Iso, Ergonomie de l'interaction homme-système

O. I. Iso, Human-centred design processes for interactive systems

O. I. Iso, Road vehicles-functional safety-part 1

T. Iso and . Johnson, Using a formal language to support natural language in accident reports, Ergonomics, vol.38, issue.6, pp.1264-1282, 1995.

R. Kazman and L. Bass, Toward deriving software architectures from quality attributes, 1994.

[. Kin, Eden : a professional multitouch tool for constructing virtual organic environments, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.1343-1352, 2011.

P. Koopman, Software quality, dependability and safety in embedded systems, 2014.

P. Kruchten, The rational unified process : an introduction, 2004.

J. Ladry, Une notion et un processus outillé pour le développement de systèmes interactifs multimodaux critiques, 2010.

[. Lalanne, Fusion engines for multimodal input : a survey, Proceedings of the 2009 international conference on Multimodal interfaces, pp.153-160, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00953686

[. Laprie, Guide de la sûreté de fonctionnement, 1995.

. Lawson, An open source workbench for prototyping multimodal interactions based on off-the-shelf heterogeneous components, Proceedings of the 1st ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '09, pp.245-254, 2009.

B. Martin, J. Martin, and D. Beroule, Types et buts de coopérations entre modalités. Cinquièmes Journées sur l'Ingénierie des Interfaces HommeMachine Lyon, pp.17-22, 1993.

[. Martinie, A development process for usable large scale interactive critical systems : application to satellite ground segments, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, vol.7, pp.303-319, 1982.
URL : https://hal.archives-ouvertes.fr/hal-01556835

[. Mirlacher, Engineering animations in user interfaces, Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, pp.111-120, 2005.

D. Navarre-;-navarre, Une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système, 2001.

[. Navarre, Icos : A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM Transactions on ComputerHuman Interaction (TOCHI), vol.16, issue.4, p.18, 2009.

[. Navarre, A tool suite for integrating task and system models through scenarios, International Workshop on Design, Specification, and Verification of Interactive Systems, pp.88-113, 2001.

J. Nielsen-;-nielsen and J. Nielsen, Why you only need to test with 5 users, Conference companion on Human factors in computing systems, pp.413-414, 1994.

J. Nielsen, Discount usability : 20 years. Jakob Nielsen's Alertbox Available at, p.23, 2009.

C. Nigay, L. Nigay, J. Coutaz, L. Nigay, and J. Coutaz, A design space for multimodal systems : concurrent processing and data fusion, Espaces conceptuels pour l'interaction multimédia et multimodale. Technique et science informatiques, vol.15, pp.1195-1225, 1993.

D. A. Norman, Design rules based on analyses of human error, Communications of the ACM, vol.26, issue.4, pp.254-258, 1983.

D. A. Norman and S. Oviatt, The design of everyday things, the action theory, Communications of the ACM, vol.42, issue.11, pp.74-81, 1988.
DOI : 10.15358/9783800648108

P. Palanque, Modélisation par Objets Coopératifs Interactifs d'interfaces homme-machine dirigées par l'utilisateur, 1992.

[. Palanque, A model-based approach for supporting engineering usability evaluation of interaction techniques, Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems, pp.21-30, 1994.

[. Palanque, High-fidelity prototyping of interactive systems can be formal too, Human-Computer Interaction. New Trends, pp.667-676, 2009.
DOI : 10.1007/978-3-642-02574-7_75

E. Palmer, Oops, it didn't arm'-a case study of two automation surprises, International Symposium on Aviation Psychology, vol.8, pp.227-232, 1995.

R. ;. Parasuraman, R. Parasuraman, and V. Riley, Humans and automation : Use, misuse, disuse, abuse, Human Factors, vol.39, issue.2, pp.230-253, 1997.
DOI : 10.1518/001872097778543886

. Pascoal, Amobaarinc 653 simulator for modular based space applications, emergency, vol.10, issue.2, 2008.

G. Ten-hagen-;-pfaff and P. Ten-hagen, User interface management systems : proceedings of the workshop on user interface management systems, 1985.

M. M. Pirker and R. Bernhaupt, Measuring user experience in the living room : results from an ethnographically oriented field study indicating major evaluation factors, Proceedings of the 9th European Conference on Interactive TV and Video, pp.625-632, 2011.

M. Rauterberg, An iterative-cyclic software process model, Software Engineering and Knowledge Engineering, 1992. Proceedings., Fourth International Conference on, pp.600-607, 1992.
DOI : 10.1109/seke.1992.227899
URL : http://www.ipo.tue.nl/homepages/mrauterb/publications/SEKE92paper.pdf

W. W. Royce-;-royce, Managing the development of large software systems : concepts and techniques, Proceedings of the 9th international conference on Software Engineering, pp.328-338, 1987.

R. Rtca and I. , Do-178c, software considerations in airborne systems and equipment certification

[. Rtca,-b]-rtca and I. , Do-330-software tool qualification considerations

R. and I. , Do-331-model based development and verification supplement to do-178c and do-278a

[. Rtca,-d]-rtca and I. , Do-332-object oriented technology and related techniques supplement to do-178c and do-278a

[. Sasse, Transforming the 'weakest link'-a human/computer interaction approach to usable and effective security, BT technology journal, vol.19, issue.3, pp.122-131, 2001.

S. Schmerler and R. Rimkus, Autosar-shaping the future of a global standard, ATZelektronik worldwide, vol.8, issue.1, pp.42-45, 2013.

. Schoofs, An integrated modular avionics development environment, Digital Avionics Systems Conference, 2009. DASC'09. IEEE/AIAA 28th, 1996.
DOI : 10.1109/dasc.2009.5347582

A. Tankeu-choitat, Approches outillées pour le développement des systèmes interactifs intégrant les aspects sûreté de fonctionnement et utilisabilité, 2011.

H. Thimbleby, User-centered methods are insufficient for safety critical systems, Symposium of the Austrian HCI and Usability Engineering Group, pp.1-20, 2007.

[. Traverse, Airbus fly-by-wire : A total approach to dependability, Building the Information Society, pp.191-212, 2004.
DOI : 10.1007/978-1-4020-8157-6_18

A. Van-dam, Post-wimp user interfaces, Communications of the ACM, vol.40, issue.2, pp.63-67, 1997.

[. Vermeulen, Crossing the bridge over norman's gulf of execution : revealing feedforward's true identity, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp.1931-1940, 2013.
DOI : 10.1145/2470654.2466255

F. Vernier, La multimodalité en sortie et son application à la visualisation de grandes quantités d'information, 2001.

W. Wahlster, SmartKom : foundations of multimodal dialogue systems, vol.12, 2006.

M. Weiser-;-weiser, Some computer science issues in ubiquitous computing, Communications of the ACM, vol.36, issue.7, pp.75-84, 1993.

, File :a-380 cockpit.jpg from wikimedia commons, the free media repository

D. D. Woods, Cognitive technologies : The design of joint humanmachine cognitive systems, AI magazine, vol.6, issue.4, p.86, 1985.

Y. C. Yeh, Triple-triple redundant 777 primary flight computer, Aerospace Applications Conference, vol.1, pp.293-307, 1996.
DOI : 10.1109/aero.1996.495891

[. Ziegler, , 1996.

, Ibm experiments in soft fails in computer electronics (1978-1994), IBM journal of research and development, vol.40, issue.1, pp.3-18