Detail publikace

An Approach to Safety Critical Systems Design

ŠVÉDA, M.

Originální název

An Approach to Safety Critical Systems Design

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

ŠVÉDA, M.

Vydáno

1. 1. 1997

Nakladatel

Springer Verlag

Místo

Berlin; Heidelberg; New York

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Ročník

1998

Číslo

133

Stát

Spolková republika Německo

Strany od

34

Strany do

49

Strany počet

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