Engineering Interactive Critical Systems.

Speaker:  Phillippe Palanque – Toulouse, Cedex, France
Topic(s):  Human Computer Interaction

Abstract

Innovation and creativity are the main research drivers of the Human-Computer Interaction (HCI) community which is currently investing a vast amount of resource in the design and evaluation of “new” user interfaces and interaction techniques, leaving the correct functioning of these interfaces at the discretion of the helpless developers. In the area of formal methods and dependable systems the emphasis is usually put on the correct functioning of the system leaving its usability to secondary-level concerns. However, designing interactive systems requires blending knowledge from these domains in order to provide operators with both usable and reliable systems. 

The lecture will present possible research directions and their benefits for combining several complementary approaches to engineer interactive critical systems. Due to their specificities, addressing this problem requires the definition of methods, notations, processes and tools to go from early informal requirements to deployed and maintained operational interactive systems. The presentation will highlight the benefits of (and the need for) an integrated framework for the iterative design of operators' procedures and tasks, training material and the interactive system itself. We will show how operators’ tasks models and interactive system formal models can play a central role in such contributions and how it is possible to leverage research work done those domains. Examples will be taken from interactive cockpits on large civil commercial aircrafts (such as the A380), satellite ground segment application and Air Traffic Control workstations. User Centered Design approaches promote the understanding of users’ tasks and activities in order to design a usable system. 

The lecture also presents how dependability concerns (especially at both software and hardware architectural levels) influence deeply the usability of the interactive systems and that there is a need for notations, methods and tools to identify such design conflicts and to address them in the most adequate way. 

The audience will learn on concrete examples the issues related to the engineering of interactive systems that are used in critical contexts. We will present current tools and techniques available and their concrete used in industrial contexts such as cockpits of large civil aircrafts, satellite ground segments and Air Traffic Control. 

References: 

Camille Fayollas, Célia Martinie, Philippe A. Palanque, Yannick Deleris, Jean-Charles Fabre, David Navarre: An Approach for Assessing the Impact of Dependability on Usability: Application to Interactive Cockpits. IEEE EDCC (European Conference on Dependable Computing) 2014: 198-209

David Navarre, Philippe A. Palanque, Jean-François Ladry, Eric Barboni: ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans. Comput.-Hum. Interact. 16(4) (2009)

Eric Barboni, Jean-François Ladry, David Navarre, Philippe A. Palanque, Marco Winckler: Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. ACM SIGCHI EICS (Engineering Interactive Computing Systems) 2010: 165-174, ACM DL. 

About this Lecture

Number of Slides:  90
Duration:  90 minutes
Languages Available:  English, French
Last Updated: 

Request this Lecture

To request this particular lecture, please complete this online form.

Request a Tour

To request a tour with this speaker, please complete this online form.

All requests will be sent to ACM headquarters for review.