Detail publikace

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.
Název anglicky
Design of Time-Critical Systems I: Specification and Verification
Typ
článek v časopise
Jazyk
česky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
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{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/"
}
Nahoru