Fakulta informačních technologií VUT v Brně

Detail publikace

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

STRNADEL Josef. Návrh časově kritických systémů I: specifikace a verifikace. Automa, roč. 2010, č. 10, s. 42-44. ISSN 1210-9592.
Název anglicky
Design of Time-Critical Systems I: Specification and Verification
Typ
článek v časopise
Jazyk
čeština
Autoři
URL
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.
Rok
2010
Strany
42-44
Časopis
Automa, roč. 2010, č. 10, ISSN 1210-9592
BibTeX
@ARTICLE{FITPUB9366,
   author = "Josef Strnadel",
   title = "N\'{a}vrh \v{c}asov\v{e} kritick\'{y}ch syst\'{e}m\r{u} I: specifikace a verifikace",
   pages = "42--44",
   journal = "Automa",
   volume = 2010,
   number = 10,
   year = 2010,
   ISSN = "1210-9592",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/9366"
}
Nahoru