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