Sciweavers

2811 search results - page 104 / 563
» Real-Time Component-Based Systems
Sort
View
ICCAD
2003
IEEE
159views Hardware» more  ICCAD 2003»
14 years 5 months ago
Energy-Aware Fault Tolerance in Fixed-Priority Real-Time Embedded Systems
We investigate an integrated approach to fault tolerance and dynamic power management in real-time embedded systems. Fault tolerance is achieved via checkpointing and power manage...
Ying Zhang, Krishnendu Chakrabarty, Vishnu Swamina...
ICC
2008
IEEE
125views Communications» more  ICC 2008»
14 years 3 months ago
Real-Time, Byzantine-Tolerant Information Dissemination in Unreliable and Untrustworthy Distributed Systems
—In unreliable and untrustworthy systems, information dissemination may suffer network failures and attacks from Byzantine nodes which are controlled by traitors or adversaries, ...
Kai Han, Guanhong Pei, Binoy Ravindran, E. Douglas...
ISORC
2008
IEEE
14 years 3 months ago
On Collaborative Scheduling of Distributable Real-Time Threads in Dynamic, Networked Embedded Systems
Some emerging networked embedded real-time applications have relatively long reaction time magnitudes—e.g., milliseconds to minutes. These longer execution time magnitudes allow...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
ASWEC
2007
IEEE
14 years 3 months ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
ADAEUROPE
2007
Springer
14 years 3 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega