Detail publikace
Návrh časově kritických systémů IV: realizace prostředky RTOS
STRNADEL, J. Návrh časově kritických systémů IV: realizace prostředky RTOS. Automa, 2011, 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
česky
Autoři
Strnadel Josef, Ing., Ph.D.
(UPSY)
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{BUT76325,
author="Josef {Strnadel}",
title="Návrh časově kritických systémů IV: realizace prostředky RTOS",
journal="Automa",
year="2011",
volume="2011",
number="4",
pages="58--60",
issn="1210-9592",
url="https://www.fit.vut.cz/research/publication/9569/"
}