Detail publikace

An Approach to Safety Critical Systems Design

ŠVÉDA Miroslav. An Approach to Safety Critical Systems Design. Lecture Notes in Computer Science, roč. 1998, č. 133, 1997, s. 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
angličtina
Autoři
Švéda Miroslav, Doc. Ing., CSc. (UIVT FEI VUT)
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, DE
BibTeX 
@ARTICLE{FITPUB6476,
   author = "Miroslav \v{S}v\'{e}da",
   title = "An Approach to Safety Critical Systems Design",
   pages = "34--49",
   booktitle = "Computer Aided Systems Theory - EUROCAST97",
   journal = "Lecture Notes in Computer Science",
   volume = 1998,
   number = 133,
   year = 1997,
   location = "Berlin; Heidelberg; New York, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6476"
}
Nahoru