A new programming model for dependable adaptive real-time applications

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

doi:10.1109/MDSO.2005.26

A new programming model for dependable adaptive real-time applications

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

Research output: Contribution to journal › Article › peer-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 language	English (US)
Journal	IEEE Distributed Systems Online
Volume	6
Issue number	5
DOIs	https://doi.org/10.1109/MDSO.2005.26
State	Published - Jan 1 2005
Externally published	Yes

Bibliographical note

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

ASJC Scopus subject areas

General Engineering
Computer Networks and Communications

Access to Document

10.1109/MDSO.2005.26

Cite this

@article{4e5b553711a24b5d925945d1209703f0,

title = "A new programming model for dependable adaptive real-time applications",

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.",

author = "Pedro Martins and Paulo Sousa and Ant{\'o}nio Casimiro and Paulo Ver{\'i}ssimo",

note = "Generated from Scopus record by KAUST IRTS on 2021-03-16",

year = "2005",

month = jan,

day = "1",

doi = "10.1109/MDSO.2005.26",

language = "English (US)",

volume = "6",

journal = "IEEE Distributed Systems Online",

issn = "1541-4922",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "5",

}

TY - JOUR

T1 - A new programming model for dependable adaptive real-time applications

AU - Martins, Pedro

AU - Sousa, Paulo

AU - Casimiro, António

AU - Veríssimo, Paulo

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

PY - 2005/1/1

Y1 - 2005/1/1

N2 - 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.

AB - 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.

UR - https://ieeexplore.ieee.org/document/1453470/

UR - http://www.scopus.com/inward/record.url?scp=22744452498&partnerID=8YFLogxK

U2 - 10.1109/MDSO.2005.26

DO - 10.1109/MDSO.2005.26

M3 - Article

SN - 1541-4922

VL - 6

JO - IEEE Distributed Systems Online

JF - IEEE Distributed Systems Online

IS - 5

ER -

A new programming model for dependable adaptive real-time applications

Abstract

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this