Formal Modeling and analysis of Timed Systems By Krishnendu Chatterjee Thomas A Henzinger
The modeling and analysis of timing aspects of systems is a key problem that
has been treated independently in several different communities in computer
science and related areas. Researchers interested in semantics, verification, realtime
scheduling, and performance analysis study models such as timed automata
and timed Petri nets, the digital design community focuses on propagation and
switching delays, and designers of embedded controllers need to take into account
the time required by controllers to compute their responses after sampling
the environment. Although the timing-related questions in these separate communities
have their own specific nature, there is a growing awareness that there
are basic problems that are common to all of them. In particular, all of these
disciplines model and analyze systems whose behavior depends on combinations
of logical and timing constraints between occurrences of events.
Link Download: free download
Subscribe to:
Post Comments
(
Atom
)
No comments :
Post a Comment