502 search results - page 73 / 101 » Model Checking Timed Systems with Priorities |
FSEN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
IFIP13
2004
13 years 9 months ago
2004
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
DSN
2000
IEEE
14 years 9 days ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Decision-support requires the gathering and presentation of information, but is subject to many kinds of resource restrictions (e.g. cost, length, time). Individual users differ n...
SDL
2003
13 years 9 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...