Abstract
An innovative programming model for dependable real-time applications is discussed. The objective of the model is to reconcile uncertainty with an application's required predictability. The model is based on fulfilling two predicates, coverage stability and no-contamination, by programs or protocols subjects to varying conditions of system components. These components can sense their environments and interact with it and each other by accepting and producing events.
Original language | English (US) |
---|---|
Journal | IEEE Distributed Systems Online |
Volume | 6 |
Issue number | 5 |
DOIs | |
State | Published - Jan 1 2005 |
Externally published | Yes |
ASJC Scopus subject areas
- General Engineering
- Computer Networks and Communications