Item Details

Specification of User Interface for Safety-Critical Systems

Elder, Matthew
Format
Report
Author
Elder, Matthew
Abstract
Safe operation of a safety-critical computer system depends on appropriate humancomputer interaction, effected through the user interface. Thus, specification of the user interface is a key task in the development of such a system. This thesis presents a comprehensive, structured approach to formally specifying user interfaces for safetycritical systems. Based on a view of an interface as comprising three levels, the approach decomposes the user interface into multiple components: semantic, syntactic, and lexical, respectively addressing application function, dialogue control, and presentation. Each component utilizes a formal notation appropriate to its level, then these component specifications are integrated systematically. This approach promotes a modularization that enables prototyping and change at each level and validation of user input, as well as enabling a correspondence between specification and implementation architectures that facilitates software development and verification of the implementation. Feasibility of this specification method was demonstrated using two case studies involving safety - critica1 systems: phe Magnetic Stereotaxis System (MSS) and the University of Virginia Reactor (UVAR). Note: Abstract extracted from PDF file via OCR
Language
English
Date Received
20121029
Published
University of Virginia, Department of Computer Science, 1995
Published Date
1995
Collection
Libra Open Repository
Logo for In CopyrightIn Copyright

Availability

Access Online