Publication Details

An Approach to Safety Critical Systems Design

ŠVÉDA Miroslav. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, vol. 1998, no. 133, 1997, pp. 34-49. ISSN 0302-9743.
Czech title
Jeden přístup k návrhu bezpečnostně kritických systémů
Type
journal article
Language
english
Authors
Keywords

Safety-critical system, fail-stop concept, embedded distributed application

Abstract

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.

Published
1997
Pages
34-49
Journal
Lecture Notes in Computer Science, vol. 1998, no. 133, ISSN 0302-9743
Book
Computer Aided Systems Theory - EUROCAST´97
Publisher
Springer Verlag
Place
Berlin; Heidelberg; New York, DE
BibTeX
@ARTICLE{FITPUB6476,
   author = "Miroslav \v{S}v\'{e}da",
   title = "An Approach to Safety Critical Systems Design",
   pages = "34--49",
   booktitle = "Computer Aided Systems Theory - EUROCAST97",
   journal = "Lecture Notes in Computer Science",
   volume = 1998,
   number = 133,
   year = 1997,
   location = "Berlin; Heidelberg; New York, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6476"
}
Back to top