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

Type

journal article

Language

Czech

Authors

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

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 keywords

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

URL

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

Projects

Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, start: 2010-03-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running

Research groups

Dependable Digital Systems Research Group (RG DEPSYS)

Departments

Department of Computer Systems (DCSY)