2811 search results - page 106 / 563 » Real-Time Component-Based Systems |
115
click to vote
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
182
Voted
DATE
2003
IEEE
15 years 7 months ago
2003
IEEE
We present an integrated approach that provides fault tolerance and dynamic power management for a real-time task executing in an embedded system. Fault tolerance is achieved thro...
110
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
110
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
Dynamic storage allocation and automatic garbage collection are among the most popular features that high-level languages can offer. However, timecritical applications cannot be wr...
126
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we propose an approach to estimate the Worst Case Response Time (WCRT) of tasks in a preemptive multi-tasking single-processor real-time system with a set associati...