Skip to Main content Skip to Navigation
Conference papers

Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03188820
Contributor : Hal Ifip <>
Submitted on : Friday, April 2, 2021 - 2:42:36 PM
Last modification on : Tuesday, April 6, 2021 - 4:02:40 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2023-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Elodie Bouzekri, Alexandre Canny, Célia Martinie, Philippe Palanque. Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. 17th IFIP Conference on Human-Computer Interaction (INTERACT 2019), Sep 2019, Paphos, Cyprus. pp.84-96, ⟨10.1007/978-3-030-46540-7_9⟩. ⟨hal-03188820⟩

Share

Metrics

Record views

14