Detail výsledku

Návrh časově kritických systémů I: specifikace a verifikace

STRNADEL, J. Návrh časově kritických systémů I: specifikace a verifikace. Automa, 2010, roč. 2010, č. 10, s. 42-44. ISSN: 1210-9592.
Typ
článek v časopise
Jazyk
česky
Autoři
Strnadel Josef, Ing., Ph.D., UPSY (FIT)
Abstrakt

Při návrhu systému může být požadováno, aby na vstupní podněty reagoval nejen správnou odezvou, ale aby navíc tuto odezvu poskytl včas, tj. v předem vymezeném časovém intervalu měřeném od vzniku podnětu. Při vývoji takovýchto systémů jsou velmi důležité zejména fáze jejich specifikace, verifikace a realizace v souladu s verifikovanou specifikací. V článku, prvním z připravené volné série čtyř příspěvků autora věnovaných problematice návrhu časově kritických systémů (systémů reálného času, systémů RT), jsou přehledově představeny první dvě z uvedených fází s ilustrací souvisejících pojmů na příkladech.

Klíčová slova anglicky

specification, verification, real time, timeliness, event, stimulus, response, deadline, time constraint, timed automaton, computational tree logic

URL
Rok
2010
Strany
42–44
Časopis
Automa, roč. 2010, č. 10, ISSN 1210-9592
BibTeX 
@article{BUT50545,
  author="Josef {Strnadel}",
  title="Návrh časově kritických systémů I: specifikace a verifikace",
  journal="Automa",
  year="2010",
  volume="2010",
  number="10",
  pages="42--44",
  issn="1210-9592",
  url="https://www.fit.vut.cz/research/publication/9366/"
}
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í
Zvyšování spolehlivost a provozuschopnosti v obvodech SoC, GAČR, Standardní projekty, GA102/09/1668, zahájení: 2009-01-01, ukončení: 2011-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů (UPSY)
Nahoru