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
Strnadel Josef, Ing., Ph.D. (UPSY FIT VUT)
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