Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
STRNADEL, J.
Originální název
Návrh časově kritických systémů IV: realizace prostředky RTOS
Anglický název
Design of Time-Critical Systems IV: realization by the means of an RTOS
Typ
článek v časopise - ostatní, Jost
Jazyk
čeština
Originální 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ů.
Anglický abstrakt
In the article, relation among formal specification of an RT system, its model represented by a set of RT tasks and its realization by the means of an RTOS is illustrated. The article closes the 4-part serial dealing with the principles of designing time-critical systems.
Klíčová slova v angličtině
real time, operating system, timed automaton, specification, verification, task, task delay, task create, communication, message box, schedule
Autoři
Rok RIV
2011
Vydáno
20. 4. 2011
ISSN
1210-9592
Periodikum
Automa
Ročník
Číslo
4
Stát
Česká republika
Strany od
58
Strany do
60
Strany počet
3
URL
https://www.fit.vut.cz/research/publication/9569/
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/" }