ePrints

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

Lookup NU author(s): Professor Michael HarrisonORCiD

Downloads

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

Abstract

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

URL: https://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7722

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

Share