Publication detail

An Approach to Safety Critical Systems Design

ŠVÉDA, M.

Original Title

An Approach to Safety Critical Systems Design

Type

journal article - other

Language

English

Original 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.

Keywords

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

Authors

ŠVÉDA, M.

Released

1. 1. 1997

Publisher

Springer Verlag

Location

Berlin; Heidelberg; New York

ISBN

0302-9743

Periodical

Lecture Notes in Computer Science

Year of study

1998

Number

133

State

Federal Republic of Germany

Pages from

34

Pages to

49

Pages count

16

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