Publication Details

An Approach to Safety Critical Systems Design

ŠVÉDA, M. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, 1997, vol. 1998, no. 133, p. 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

Švéda Miroslav, prof. Ing., CSc. (UTKO)

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

BibTeX

@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"
}