A new programming model for dependable adaptive real-time applications

Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo

Research output: Contribution to journalArticlepeer-review

3 Scopus citations


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 languageEnglish (US)
JournalIEEE Distributed Systems Online
Issue number5
StatePublished - Jan 1 2005
Externally publishedYes

Bibliographical note

Generated from Scopus record by KAUST IRTS on 2021-03-16

ASJC Scopus subject areas

  • General Engineering
  • Computer Networks and Communications


Dive into the research topics of 'A new programming model for dependable adaptive real-time applications'. Together they form a unique fingerprint.

Cite this