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

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

ASJC Scopus subject areas

  • Engineering(all)
  • Computer Networks and Communications

Fingerprint

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

Cite this