252 search results - page 7 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
ISORC
2003
IEEE
14 years 22 days ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
DSRT
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
ECRTS
2003
IEEE
14 years 22 days ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...