Publication Details

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.

English title

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

Type

journal article

Language

Czech

Authors

Strnadel Josef, Ing., Ph.D. (DCSY)

URL

Keywords

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

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.

Published

2011

Pages

58–60

Journal

Automa, vol. 2011, no. 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/"
}