Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems

11/16/2016

By Saulo Silva, HASLab, INESC TEC & University of Minho.

Abstract. Cyber-Physical Systems (CPS) integrate computational and physical capabilities, and have, in many cases, high-assurance needs. Interactive CPS such as cockpits and medical devices provide user interfaces that allow users to monitor and control the system. To ensure safe and effective operation of these interactive CPS, it is important to ensure the absence of latent design anomalies in their user interfaces. In this presentation, we present a research strand on the convergence between models of device interaction logic and models of user goals and activities. The main objective is to improve the quality of modelling and analysis of high-assurance interactive system’s interfaces by exploring the integration of the two types of models.

Keywords. Software Engineering, Interactive Human- Machine Systems, Task Analysis, Formal Verification.

About the speaker. Saulo Silva is currently a PhD stu- dent at the Department of Informatics at Minho University, supervised by Prof. Jose Creissac Campos, and a researcher at HASLab, INESC TEC. He holds a masters degree on Sustain- able Technologies from the Federal Institute of Goias, Brazil. Saulo’s research interests are in the area of modelling and analysis of Human-Machine Interfaces in Cyber-Physical Sys- tems (CPS) with high-assurance needs, that spans several use- cases like safe-critical systems (as medical devices), nuclear control panels, airplane cockpits, railway automated controls, aerospace control panels, just to cite a few. Saulo is currently developing methods and tools for automatic analysis of cock- pit interfaces and programmable medical devices, and he has already published some of his work..