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|
|State||Published - Jan 1 2005|
Bibliographical noteGenerated from Scopus record by KAUST IRTS on 2021-03-16
ASJC Scopus subject areas
- Computer Networks and Communications