Asynchronous transfer mode (3rd ed.): solution for broadband ISDN
Asynchronous transfer mode (3rd ed.): solution for broadband ISDN
Time bounded medium access control for ad hoc networks
Proceedings of the second ACM international workshop on Principles of mobile computing
The Timely Computing Base Model and Architecture
IEEE Transactions on Computers
Generic Timing Fault Tolerance using a Timely Computing Base
DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Impact of PCI-Bus Load on Applications in a PC Architecture
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
| Hi-index | 0.00 |
The CORTEX (Cooperating Real-time Sentient Objects: Architecture and Experimental Evaluation) project focuses on developing dependable real-time applications in environments of uncertain synchrony. Developed in the context of the CORTEX project, this innovative programming model is based on fulfilling the coverage stability and no-contamination predicates. You can apply it to construct applications that have several degrees of dependability, using the time-elastic, time-safe, and fail-safe programming styles or combinations thereof. However, this requires understanding the effects of timing failures and of course being able to detect and recover from them. To do that, the CORTEX architecture relies on the existence of a timeliness wormhole, called Timely Computing Base. This article demonstrates the practical value of the programming model, in which the wormhole concept plays the role of an architectural enabler. A video demo presents two complementary facets: an emulation framework illustrates the effectiveness of the several concepts from a practical, yet rigorous, perspective; and, a simulation demonstrates the programming modelýs relevance and usefulness in a potentially real scenario.