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