RT Journal Article SR 00 A1 Martinie De Almeida, Celia A1 Navarre, David A1 Palanque, Philippe T1 A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems. JF International Journal of Human-Computer Studies YR 2014 FD 2014 VO 72 IS 1 SP 77 OP 99 K1 Model-based approaches - Formal description techniques - Interactive software engineering - Automation - Distributed user interfaces - Dynamic reconfiguration of user interfaces AB 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. PB Elsevier SN 1071-5819 LK https://publications.ut-capitole.fr/id/eprint/29799/