Journal article

STRNADEL Josef. Návrh časově kritických systémů I: specifikace a verifikace. Automa. 2010, vol. 2010, no. 10, pp. 42-44. ISSN 1210-9592.
Publication language:czech
Original title:Návrh časově kritických systémů I: specifikace a verifikace
Title (en):Design of Time-Critical Systems I: Specification and Verification
Journal:Automa, Vol. 2010, No. 10, CZ
specification, verification, real time, timeliness, event, stimulus, response, deadline, time constraint, timed automaton, computational tree logic
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.
   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 = {}

Your IPv4 address:
Switch to https