Detail publikace
Návrh časově kritických systémů IV: realizace prostředky RTOS
STRNADEL Josef. Návrh časově kritických systémů IV: realizace prostředky RTOS. Automa, roč. 2011, č. 4, s. 58-60. ISSN 1210-9592.
Název anglicky
Design of Time-Critical Systems IV: realization by the means of an RTOS
Typ
článek v časopise
Jazyk
čeština
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT)
URL
Abstrakt
V článku je demonstrován vztah mezi formální specifikací RT systému, jeho modelem pomocí množiny RT úloh a jeho realizací prostředky RTOS. Článek uzavírá čtyřdílný seriál zabývající se principy návrhu časově kritických systémů.
Rok
2011
Strany
58-60
Časopis
Automa, roč. 2011, č. 4, ISSN 1210-9592
BibTeX
@ARTICLE{FITPUB9569, author = "Josef Strnadel", title = "N\'{a}vrh \v{c}asov\v{e} kritick\'{y}ch syst\'{e}m\r{u} IV: realizace prost\v{r}edky RTOS", pages = "58--60", journal = "Automa", volume = 2011, number = 4, year = 2011, ISSN = "1210-9592", language = "czech", url = "https://www.fit.vut.cz/research/publication/9569" }