Sciweavers

564 search results - page 31 / 113
» An analysis-based approach to composition of distributed emb...
Sort
View
FDL
2006
IEEE
14 years 2 months ago
Reusing Real-Time Systems Design Experience
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk...
SEW
2007
IEEE
14 years 3 months ago
A Generative Approach to Building a Framework for Hard Real-Time Applications
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
Irfan Hamid, Elie Najm, Jérôme Hugues
ESEC
1997
Springer
14 years 1 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
DATE
2005
IEEE
125views Hardware» more  DATE 2005»
14 years 2 months ago
Thermal-Aware Task Allocation and Scheduling for Embedded Systems
Temperature affects not only the reliability but also the performance, power, and cost of the embedded system. This paper proposes a thermal-aware task allocation and scheduling a...
Wei-Lun Hung, Yuan Xie, Narayanan Vijaykrishnan, M...
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
14 years 3 months ago
Incorporating graceful degradation into embedded system design
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...
Michael Glaß, Martin Lukasiewycz, Christian ...