76 search results - page 3 / 16 » Verifying Real-Time Systems against Scenario-Based Requireme... |
ENTCS
2006
13 years 5 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
HASE
1999
IEEE
13 years 10 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
FORMATS
2004
Springer
13 years 11 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
ISORC
2000
IEEE
13 years 10 months ago
2000
IEEE
This paper describes experiences in using an O.O. language (Java) in designing, prototyping and evaluating a CPU manager. QoS Animator facilitates the execution of object oriented...
RTAS
2006
IEEE
13 years 11 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...