In:
ACM SIGAda Ada Letters, Association for Computing Machinery (ACM), Vol. 33, No. 1 ( 2013-06-11), p. 53-63
Abstract:
This paper presents a proposal to develop High-integrity Distributed Real-Time (HDRT) systems by integrating the real-time end-to-end flow model with the Ravenscar profile. Although this profile is being widely used in the development of single-processor critical hard real-time systems, further research is required to apply this profile in a distributed environment. This work is built upon the endpoints pattern, a technique that we have used to integrate the end-to-end flow model into Ada's Distributed Systems Annex (DSA). We adapt our previous work to the requirements of the Ravenscar profile. Therefore, this paper gives a step forward and discusses the modifications needed to make a specific instance of the endpoints pattern compatible with Ravenscar.
Type of Medium:
Online Resource
ISSN:
1094-3641
DOI:
10.1145/2492312.2492319
Language:
English
Publisher:
Association for Computing Machinery (ACM)
Publication Date:
2013
detail.hit.zdb_id:
625687-9
detail.hit.zdb_id:
1180076-8
detail.hit.zdb_id:
2088612-3
Permalink