522 search results - page 3 / 105 » Real-time Logics: Complexity and Expressiveness |
REX
1991
13 years 12 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
ISOLA
2007
Springer
14 years 2 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
ICSE
1997
IEEE-ACM
14 years 17 days ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
ICTAC
2004
Springer
14 years 1 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
ADAEUROPE
2006
Springer
14 years 2 months ago
2006
Springer
When a middleware layer is designed for providing semi-transparent distribution facilities to real-time applications, a trade-off must be made between the expressiveness and contro...