Publication detail

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

STRNADEL, J.

Original Title

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

English Title

Design of Time-Critical Systems IV: realization by the means of an RTOS

Type

journal article - other

Language

Czech

Original Abstract

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ů.

English abstract

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.

Key words in English

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

Authors

STRNADEL, J.

RIV year

2011

Released

20. 4. 2011

ISBN

1210-9592

Periodical

Automa

Year of study

2011

Number

4

State

Czech Republic

Pages from

58

Pages to

60

Pages count

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