Journal article

 
Strnadel, J.: Návrh časově kritických systémů I: specifikace a verifikace, In: Automa, Vol. 2010, No. 10, CZ, p. 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
Pages:42-44
Place:CZ
Year:2010
Journal:Automa, Vol. 2010, No. 10, CZ
ISSN:1210-9592
URL:http://www.odbornecasopisy.cz/index.php?id_document=42105 [HTML]
URL:http://www.odbornecasopisy.cz/res/pdf/42105.pdf [PDF]
Keywords
specification, verification, real time, timeliness, event, stimulus, response, deadline, time constraint, timed automaton, computational tree logic
Annotation
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.
BibTeX:
@ARTICLE{
   author = {Josef Strnadel},
   title = {Návrh časově kritických systémů I: specifikace a verifikace},
   pages = {42--44},
   journal = {Automa},
   volume = {2010},
   number = {10},
   year = {2010},
   ISSN = {1210-9592},
   language = {czech},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9366}
}