Please use this identifier to cite or link to this item:
|Title:||Formal verification of safety-critical user interfaces: A space system case study|
José Creissac Campos
Michael Douglas Harrison
|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. Copyright|
|Appears in Collections:||HASLab - Articles in International Conferences|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.