Detail výsledku

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 (FIT)
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ů.

Abstrakt anglicky

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 anglicky

real time, operating system, timed automaton, specification, verification, task, task delay, task create, communication, message box, schedule

URL
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/"
}
Projekty
Bezpečné, spolehlivé a adaptivní počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-10-1, zahájení: 2010-03-01, ukončení: 2010-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru