%0 Conference Proceedings
%T Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties
%+ Interactive Critical Systems (IRIT-ICS)
%+ Department of Industrial Design [Eindhoven]
%A Bouzekri, Elodie
%A Canny, Alexandre
%A Martinie, Célia
%A Palanque, Philippe
%Z Part 3: Workshop on Handling Security, Usability, User Experience and Reliability in User-Centered Development Processes
%< avec comité de lecture
%( Beyond Interactions - INTERACT 2019 IFIP TC 13 Workshops, Paphos, Cyprus, September 2–6, 2019, Revised Selected Papers
%B 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019)
%C Paphos, Cyprus
%Y José Abdelnour Nocera
%Y Antigoni Parmaxi
%Y Marco Winckler
%Y Fernando Loizides
%Y Carmelo Ardito
%Y Ganesh Bhutkar
%Y Peter Dannenmann
%I Springer International Publishing
%3 Lecture Notes in Computer Science book series (LNCS)
%V 11930
%P 84-96
%8 2019-09-02
%D 2019
%R 10.1007/978-3-030-46540-7_9
%K Properties
%K Within-system properties
%K Across-systems properties
%K Interactive systems
%K Notation
%K Aircraft cockpits
%Z Computer Science [cs]Conference papers
%X System quality is assessed with respect to the value of relevant properties of that system. The level of abstraction of these properties can be very high (e.g. usability) or very low (e.g. all the “Ok” buttons in the application have the same size). These properties can be generic and thus applicable to a large group of systems (e.g. all the interactive systems should be usable) or very specific to a system (e.g. the “Quit” button in my application should always be visible). While properties identification and verification is at the core of interactive systems engineering, much less attention is paid to properties that aims at characterizing a pair (or more) of systems. In this paper, we propose to study such properties (defined as across-systems properties) and propose a notation for representing them. We propose a process for the analysis of such properties using the proposed notation. This process and analysis can be used during systems design or integration. We also present several examples of across-systems properties and demonstrate their importance and use on a simple example of aircraft cockpits buttons.
%G English
%Z TC 13
%2 https://inria.hal.science/hal-03188820/document
%2 https://inria.hal.science/hal-03188820/file/486813_1_En_9_Chapter.pdf
%L hal-03188820
%U https://inria.hal.science/hal-03188820
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ LORIA2
%~ SMS
%~ UT1-CAPITOLE
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC13
%~ IFIP-INTERACT
%~ IRIT
%~ IRIT-ICS
%~ IRIT-FSL
%~ IFIP-LNCS-11930
%~ IRIT-UT3
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP