1980 search results - page 171 / 396 » Compositional Model Checking of Real Time Systems |
124
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Preferences in constraint problems are common but significant in many real world applications. In this paper, we extend our conditional and composite CSP (CCCSP) framework, managi...
105
click to vote
SSIRI
2010
15 years 8 days ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
100
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
102
click to vote
RTS
2008
15 years 1 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...