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

Anglický název

Design of Time-Critical Systems I: Specification and Verification

Typ

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

Jazyk

čeština

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.

Anglický abstrakt

During a system design phase, it can be required the system must generate responses both in a correct form and on-time, i.e., in pre-defined time interval measured from the time a corresponding stimulus has arosen. Especially, following phases are important and must be done in order to design such systems in a correct way: specification, verification and realization reflecting previously verified specification. In the contribution, which is the first from series of four contributions dedicated to problems related with design of time-critical systems (real-time systems, RT systems), specification and verification phases are introduced and illustrated by means of simple examples.

Klíčová slova v angličtině

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

Autoři

STRNADEL, J.

Rok RIV

2010

Vydáno

7. 10. 2010

ISSN

1210-9592

Periodikum

Automa

Ročník

2010

Číslo

10

Stát

Česká republika

Strany od

42

Strany do

44

Strany počet

3

URL

https://www.fit.vut.cz/research/publication/9366/

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/"
}