Publication detail

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

STRNADEL, J.

Original Title

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

English Title

Design of Time-Critical Systems I: Specification and Verification

Type

journal article - other

Language

Czech

Original Abstract

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.

English abstract

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.

Key words in English

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

Authors

STRNADEL, J.

RIV year

2010

Released

7. 10. 2010

ISBN

1210-9592

Periodical

Automa

Year of study

2010

Number

10

State

Czech Republic

Pages from

42

Pages to

44

Pages count

3

URL

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