Result Details
An Approach to Safety Critical Systems Design
By means of a multiple lift control system case study, this paper describes an approach to safety critical computer-based applications design. The concept used stems both from a design method based on the modelling paradigm of local time, which is aimed at embedded distributed applications, and from the employment of a simple behavioral paradigm, so called fail-stop model. The case study deals with the multiple lift control system as a real-world application. After reviewing the method and the fail-stop concept, main attention is focused on the design of architecture, software, and communication services fitting the application requirements.
Safety-critical system, fail-stop concept, embedded distributed application
@article{BUT191554,
author="Miroslav {Švéda}",
title="An Approach to Safety Critical Systems Design",
journal="Lecture Notes in Computer Science",
year="1997",
volume="1998",
number="133",
pages="34--49",
issn="0302-9743"
}