Publication Details

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.

English title

Design of Time-Critical Systems I: Specification and Verification

Type

journal article

Language

Czech

Authors

Strnadel Josef, Ing., Ph.D. (DCSY)

URL

Keywords

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

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.

Published

2010

Pages

42–44

Journal

Automa, vol. 2010, no. 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/"
}