Detail publikace

Návrh časově kritických systémů IV: realizace prostředky RTOS

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

STRNADEL, J.

Rok RIV

2011

Vydáno

20. 4. 2011

ISSN

1210-9592

Periodikum

Automa

Ročník

2011

Číslo

4

Stát

Česká republika

Strany od

58

Strany do

60

Strany počet

3

URL

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