Sciweavers

564 search results - page 31 / 113
» An analysis-based approach to composition of distributed emb...
Sort
View
FDL
2006
IEEE
15 years 11 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
15 years 12 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
15 years 10 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»
15 years 11 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»
16 years 14 days 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 ...