Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Verification of Safety-Critical User Interfaces: A Space System Case Study

Lookup NU author(s): Professor Michael HarrisonORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Safe operation of safety critical systems depends on appro- priate interactions between the human operator and the com- puter system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analy- sis of operator system interaction. In this paper we present a structured, comprehensive and computer-aided approach to formally specify and verify user interfaces based on model checking techniques.

Publication metadata

Author(s): Sousa M, Campos JC, Alves M, Harrison MD

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: AAAI Spring Symposium - Technical Report

Year of Conference: 2014

Pages: 62-67

Online publication date: 26/03/2014

Acceptance date: 01/01/1900

Publisher: AAAI Press


Series Title: Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium