Detail publikace

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

STRNADEL, J.

Originální název

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

Český název

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

Typ

článek v časopise - ostatní, Jost

Jazyk

cs

Originální 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.

Český 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 RIV

2010

Vydáno

07.10.2010

Nakladatel

NEUVEDEN

Místo

NEUVEDEN

Strany od

42

Strany do

44

Strany počet

3

URL

BibTex


@article{BUT50545,
  author="Josef {Strnadel}",
  title="Návrh časově kritických systémů I: specifikace a verifikace",
  annote="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.",
  address="NEUVEDEN",
  chapter="50545",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  journal="Automa",
  number="10",
  volume="2010",
  year="2010",
  month="october",
  pages="42--44",
  publisher="NEUVEDEN",
  type="journal article - other"
}