Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems
IRTAW '00 Proceedings of the 10th international workshop on Real-time Ada workshop
Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems
RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
MAST: Modeling and Analysis Suite for Real Time Applications
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07 Proceedings of the 13th international workshop on Real-time Ada
From the prototype to the final embedded system using the Ocarina AADL tool suite
ACM Transactions on Embedded Computing Systems (TECS)
Real-Time Distribution Middleware from the Ada Perspective
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada
Proceedings of the ACM SIGAda annual international conference on Ada and related technologies
Correctness by construction for high-integrity real-time systems: a metamodel-driven approach
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Support for a real-time transactional model in distributed Ada
ACM SIGAda Ada Letters
Providing additional real-time capability and flexibility for Ada 2005
ACM SIGAda Ada Letters
Session summary: language and distribution issues
ACM SIGAda Ada Letters
Ada 2005 reference manual: language and standard libraries
Ada 2005 reference manual: language and standard libraries
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Interchangeable scheduling policies in real-time middleware for distribution
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A survey on standards for real-time distribution middleware
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
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.