Publication Details

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

STRNADEL Josef. Návrh časově kritických systémů I: specifikace a verifikace. Automa, vol. 2010, no. 10, pp. 42-44. ISSN 1210-9592.
English title
Design of Time-Critical Systems I: Specification and Verification
Type
journal article
Language
czech
Authors
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{FITPUB9366,
   author = "Josef Strnadel",
   title = "N\'{a}vrh \v{c}asov\v{e} kritick\'{y}ch syst\'{e}m\r{u} I: specifikace a verifikace",
   pages = "42--44",
   journal = "Automa",
   volume = 2010,
   number = 10,
   year = 2010,
   ISSN = "1210-9592",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/9366"
}
Back to top