Transparent environment for replicated Ravenscar applications

• Type: Article in International Scientific Journal
• Date: 2002

Authors

pinho, lm (Author) Other; vasques, f (Author) FEUP

Journal

The Journal is awaiting validation by the Administrative Services.

Title: INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION

Vol. 49

Pages: 297-308

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 0 Citations

Other information

Authenticus ID: P-000-RYT

DOI: 10.1007/3-540-48046-3_23

Abstract (EN): This paper proposes an environment intended for the development of fault-tolerant real-time Ada 95 applications conforming to the Ravenscar profile. This environment is based on the transparent replication of application components, and it provides a set of generic task interaction objects, which are used as the basic building blocks of the supported applications. These objects provide the usual task interaction mechanisms used in hard real-time applications, and allow applications to be developed without considering replication and distribution issues.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 12