Transcription of The MIT Press Principles of Model Checking - UP
{{id}} {{{paragraph}}}
Chapter 9 Timed AutomataThe logics we have encountered so far are interpreted over transition systems that describehow a reactive system may evolve from one state to another. Timing aspects are, however,not covered. That is, indications are given neither about the residence time of a state norabout the possibility of taking a transition within a particular time interval. However,reactive systems such as device drivers, coffee machines, communication protocols, andautomatic teller machines, to mention a few, must react in time they behavior of time-critical systems is typically subject to rather stringent timing con-straints. For a train crossing it is essential that on detecting the approach of a train, thegate is closed within a certain time bound in order to halt car and pedestrian trafficbeforethe train reaches the crossing.
Chapter 9 Timed Automata The logics we have encountered so far are interpreted over transition systems that describe how a reactive system may evolve from one state to another.
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}
Principles of Model Checking, Model checking, Chapter 4: Regular Properties Principles of Model Checking, Model, Checking, Model Checking: Principles and Applications, Model Checking: Principles and Applications to, Model Checking: A Tutorial Overview, Of model checking, Principles, Model check-ing, Statistical Methods Principles, Statistical Methods Principles Model Checking, Of model, Answers to Selected Exercises