Detail publikačního výsledku

An Approach to Safety Critical Systems Design

ŠVÉDA, M.

Originální název

An Approach to Safety Critical Systems Design

Anglický název

An Approach to Safety Critical Systems Design

Druh

Článek recenzovaný mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

ŠVÉDA, M.

Vydáno

01.01.1997

Nakladatel

Springer Verlag

Místo

Berlin; Heidelberg; New York

Kniha

Computer Aided Systems Theory - EUROCAST´97

ISSN

0302-9743

Periodikum

Lecture Notes in Computer Science

Svazek

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