Detail publikace

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.
Název česky
Jeden přístup k návrhu bezpečnostně kritických systémů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

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

Abstrakt

Příspěvek popisuje jeden přístup k návrhu bezpečnostně kitických, na počítačích založených aplikací užitím případové studie řízení vícevýtahového systému. Koncepce vychází z modelu chování fail-stop a modelovacího paradigma local time.

Rok
1997
Strany
34–49
Časopis
Lecture Notes in Computer Science, roč. 1998, č. 133, ISSN 0302-9743
Kniha
Computer Aided Systems Theory - EUROCAST´97
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru