A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.

Célia Martinie (1) , David Navarre (1, 2) , Philippe Palanque (1, 3)

1 IRIT-ICS - Interactive Critical Systems
2 UT Capitole - Université Toulouse Capitole
3 UT3 - Université Toulouse III - Paul Sabatier

Evolution in the context of use requires evolutions in the user interfaces even when they are currently used by operators. User Centered Development promotes reactive answers to this kind of evolutions either by software evolutions through iterative development approaches or at runtime by providing additional information to the operators such as contextual help for instance. This paper proposes a model-based approach to support proactive management of context of use evolutions. By proactive management we mean mechanisms in place to plan and implement evolutions and adaptations of the entire user interface (including behaviour) in a generic way. The approach proposed handles both concentration and distribution of user interfaces requiring both fusion of information into a single UI or fission of information into several ones. This generic model-based approach is exemplified on a safety critical system from space domain. It presents how the new user interfaces can be generated at runtime to provide a new user interface gathering in a single place all the information required to perform the task. These user interfaces have to be generated at runtime as new procedures (i.e. sequences of operations to be executed in a semi-autonomous way) can be defined by operators at any time in order to react to adverse events and to keep the space system in operation. Such contextual, activity-related user interfaces complement the original user interfaces designed for operating the command and control system. The resulting user interface thus corresponds to a distribution of user interfaces in a focus+context way improving usability by increasing both efficiency and effectiveness.

Mots clés: Automation; Model-based approaches; Dynamic reconfiguration of user interfaces; Formal description techniques; Distributed user interfaces; Interactive software engineering

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Cryptographie et sécurité [cs.CR]; Interface homme-machine [cs.HC]; Architectures Matérielles [cs.AR]; Modélisation et simulation

Célia Martinie, David Navarre, Philippe Palanque. A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.. International Journal of Human-Computer Studies, 2014, 72 (1), pp.77-99. ⟨10.1016/j.ijhcs.2013.08.013⟩. ⟨hal-01130579⟩