Journal article

STRNADEL Josef. Návrh časově kritických systémů IV: realizace prostředky RTOS. Automa. 2011, vol. 2011, no. 4, pp. 58-60. ISSN 1210-9592.
Publication language:czech
Original title:Návrh časově kritických systémů IV: realizace prostředky RTOS
Title (en):Design of Time-Critical Systems IV: realization by the means of an RTOS
Pages:58-60
Place:CZ
Year:2011
Journal:Automa, Vol. 2011, No. 4, CZ
ISSN:1210-9592
URL:http://www.odbornecasopisy.cz/index.php?id_document=43433 [HTML]
URL:http://www.odbornecasopisy.cz/res/pdf/43433.pdf [PDF]
Keywords
real time, operating system, timed automaton, specification, verification, task, task delay, task create, communication, message box, schedule
Annotation
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.
BibTeX:
@ARTICLE{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9569}
}

Your IPv4 address: 54.159.145.68
Switch to IPv6 connection

DNSSEC [dnssec]