Formal Verification of Safety-Critical User Interfaces: a space system case study

Citation:
Sousa M, Campos JC, Alves M, Harrison M.  2014.  Formal Verification of Safety-Critical User Interfaces: a space system case study. Formal Verification and Modeling in Human Machine Systems: Papers from the AAAI Spring Symposium. :62-67. copy at www.tinyurl.com/q7tgewm

Date Presented:

March

Abstract:

Safe operation of safety critical systems depends on appropriate interactions between the human operator and the computer system. Specification of such safety-critical systems is fundamental to enable exhaustive and automated analysis 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.

Citation Key:

SousaCAH:2014
PreviewAttachmentSize
7722-34384-1-pb.pdf559.86 KB