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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
References
Airbus A350 Flight Crew Operating Manual, 5T1 A350 FLEET FCOM. Technical Report. Airbus
Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Depend. Secure Comput. 1, 11–33 (2004). https://doi.org/10.1109/TDSC.2004.2
Dekker, S., Hollnagel, E.: Coping with Computers in the Cockpit. Routledge, Abingdon (2018)
Fayollas, C., Martinie, C., Navarre, D., Palanque, P., Fahssi, R.: Fault-tolerant user interfaces for critical systems: duplication, redundancy and diversity as new dimensions of distributed user interfaces. In: Proceedings of the 2014 Workshop on Distributed User Interfaces and Multimodal Interaction, pp. 27–30. ACM, New York (2014). https://doi.org/10.1145/2677356.2677662
Gerber, P., Volkamer, M., Renaud, K.: Usability versus privacy instead of usable privacy: Google’s balancing act between usability and privacy. SIGCAS Comput. Soc. 45, 16–21 (2015). https://doi.org/10.1145/2738210.2738214
Heil, S., Bakaev, M., Gaedke, M.: Measuring and ensuring similarity of user interfaces: the impact of web layout. In: Cellary, W., Mokbel, M.F., Wang, J., Wang, H., Zhou, R., Zhang, Y. (eds.) WISE 2016. LNCS, vol. 10041, pp. 252–260. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-48740-3_18
International Standard Organization: “ISO 9241-11” Ergonomic requirements for office work with visual display terminals (VDT) – Part 11 Guidance on Usability (1996)
Lazar, J., Feng, J.H., Hochheiser, H.: Research Methods in Human-Computer Interaction. Morgan Kaufmann, Burlington (2017)
MacLean, A., Young, R.M., Bellotti, V.M.E., Moran, T.P.: Questions, Options, and Criteria: Elements of Design Space Analysis. Human-Computer Interaction. 6, 201–250 (1991). https://doi.org/10.1080/07370024.1991.9667168
Martinie, C., Palanque, P., Winckler, M., Conversy, S.: DREAMER: a design rationale environment for argumentation, modeling and engineering requirements. In: Proceedings of the 28th ACM International Conference on Design of Communication. pp. 73–80. ACM, New York (2010). https://doi.org/10.1145/1878450.1878463
Navarre, D., Palanque, P., Hamon, A., Della Pasqua, S.: Similarity as a design driver for user interfaces of dependable critical systems. In: Clemmensen, T., Rajamanickam, V., Dannenmann, P., Petrie, H., Winckler, M. (eds.) INTERACT 2017. LNCS, vol. 10774, pp. 114–122. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92081-8_11
Nielsen, J.: Usability Engineering. Elsevier, Amsterdam (1994)
Oxford Dictionary. https://en.oxforddictionaries.com/definition/property
Petrie, H., Kheir, O.: The relationship between accessibility and usability of websites. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. pp. 397–406. ACM, New York (2007).
Pirker, M.M., Bernhaupt, R.: Measuring user experience in the living room: results from an ethnographically oriented field study indicating major evaluation factors. In: Proceedings of the 9th European Conference on Interactive TV and Video, pp. 79–82. ACM, New York (2011)
Wickens, C.D., Carswell, C.M.: The proximity compatibility principle: its psychological foundation and relevance to display design. Hum. Factors: J. Hum. Factors Ergon. Soc. 37, 473–494 (1995)
DO-333 Formal Methods Supplement to DO-178C and DO-278A, published by RTCA and EUROCAE, 13 December 2011
Manna, Z., Pnueli, A.: A hierarchy of temporal properties. ACM Symp. Principles Distrib. Comput. 1990, 377–410 (1990)
Sistla, A.P.: On characterization of safety and liveness properties in temporal logic. In: Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, pp. 39–48. ACM (1985)
Pnueli, A.: Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Current Trends in Concurrency. LNCS, vol. 224, pp. 510–584. Springer, Heidelberg (1986). https://doi.org/10.1007/BFb0027047
Clarke, E., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Logic of Programs: Workshop, Yorktown Heights, NY, May 1981, vol. 131 (1981)
DO-178C/ED-12C, Software Considerations in Airborne Systems and Equipment Certification, published by RTCA and EUROCAE (2012)
Zhao, X., Littlewood, B., Povyakalo, A.A., Strigini, L., Wright, D.: Conservative claims for the probability of perfection of a software-based system using operational experience of previous similar systems. Reliab. Eng. Syst. Saf. 175, 265–282 (2018)
Gashi, I., Povyakalo, A., Strigini, L.: Diversity, Safety and Security in Embedded Systems: Modelling Adversary Effort and Supply Chain Risks. EDCC 2016, pp. 13–24 (2016)
Best, E.: Semantics of Sequential and Parallel Programs. Prentice Hall International series in computer science, Prentice Hall, pp. I-XI, pp. 1–351 (1996), ISBN 978-0-13-460643-9
Avizienis, A.: The Methodology of N-version Programming. In: Lyu, M. (ed.) Software Fault Tolerance. Wiley, Hoboken (1995)
Hollan, J., Hutchins, E., Kirsh, D.: Distributed cognition: toward a new foundation for human-computer interaction research. ACM Trans. Comput. Hum. Interact. 7(2), 174–196 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bouzekri, E., Canny, A., Martinie, C., Palanque, P. (2020). Characterizing Sets of Systems: Representation and Analysis of Across-Systems Properties. In: Abdelnour Nocera, J., et al. Beyond Interactions. INTERACT 2019. Lecture Notes in Computer Science(), vol 11930. Springer, Cham. https://doi.org/10.1007/978-3-030-46540-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-46540-7_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-46539-1
Online ISBN: 978-3-030-46540-7
eBook Packages: Computer ScienceComputer Science (R0)
