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.
- ISO/IEC TR 15942, "Guide for the Use of the Ada Programming Language in high integrity Systems", Technical Report, Mars 2000.Google Scholar
- SPARK LRM, "SPARK -- The Spade Ada Kernel", November 2010.Google Scholar
- Taft, S. T., Duff, R. A., Brukardt, R., Ploedereder, E. and Leroy, P. (Eds.). "Ada 2005 Reference Manual. Language and Standard Libraries. International Standard ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1". LNCS 4348, Springer, (2006). Google Scholar
Digital Library
- Tindell K.: Adding Time-Offsets To Schedulability Analysis. Technical Report YCS_221 (1994).Google Scholar
- Palencia J.C., and González Harbour, M, "Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems". 20th IEEE Real-Time Systems Symposium, pp. 328--339 (1999). Google Scholar
Digital Library
- Object Management Group. "A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems". MARTE specification version 1.0 (formal/2009-11-02).Google Scholar
- Pérez Tijero, H., Gutiérez, J.J., González Harbour, M.: "Support for a Real-Time Transactional Model in Distributed Ada". Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada-Letters XXX(1), pp. 91--103 (2010). Google Scholar
Digital Library
- López, J., Gutiérrez, J.J., González Harbour, M. "Interchangeable Scheduling Policies in Real-Time Middleware for Distribution". 11th International Conference on Reliable Software Technologies, Porto (Portugal), LNCS, Vol. 4006, Springer, pp. 227--240 (2006). Google Scholar
Digital Library
- Pérez Tijero, H., Gutiérrez, J.J., Sangorrín, D. and González Harbour, M. "Real-Time Distribution Middleware from the Ada Perspective". 13th International Conference on Reliable Software Technologies, Ada-Europe, Venice (Italy), LNCS 5026, pp. 268--281 (2008). Google Scholar
Digital Library
- White, R.: Providing Additional Real-Time Capability and Flexibility for Ada 2005. Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada-Letters XXX(1), pp. 135--146 (2010). Google Scholar
Digital Library
- Bordin, M., Vardanega, T.: Correctness by construction for high-integrity real-time systems: A metamodeldriven approach. Proc. of the 12th International Conference on Reliable Software Technologies -- Ada- Europe 2007, number 4498 in LNCS, pp. 114--127. Springer-Verlag (2007). Google Scholar
Digital Library
- Hugues, J., Zalila, B., Pautet, L., Kordon, F.: From the prototype to the final embedded system using the Ocarina AADL tool suite. ACM Tr. Embedded Computer Systems, 7(4), pp. 1--25 (2008). Google Scholar
Digital Library
- IEEE Std 802.1Q: Virtual Bridged Local Area Networks. Annex G. IEEE Document (2006).Google Scholar
- Pérez Tijero, H. and Gutiérrez, J.J. "Experience in integrating interchangeable scheduling policies into a distribution middleware for Ada". Proc. of the ACM SIGAda Annual International Conference on Ada and Related Technologies, SIGAda 2009, Saint Petersburg, Florida, USA, ACM Ada-Letters XXIX(3), pp. 73--78 (2009). Google Scholar
Digital Library
- Audsley, N. and Wellings, A. "Issues with using Ravenscar and the Ada distributed systems annex for highintegrity systems". Proc. of the 10th International Real-Time Ada Workshop (IRTAW 10), Las Navas del Marqués (Ávila), Spain, ACM Ada-Letters XXI(1), pp. 33--39 (2001). Google Scholar
Digital Library
- Urueña, S., Zamorano, J. "Building High-Integrity Distributed Systems with Ravenscar Restrictions". Proc. of the 13th International Real-Time Ada Workshop (IRTAW 13), Woodstock, VT, USA, ACM Ada-Letters XXVII(2): 29--36 (2007). Google Scholar
Digital Library
- Pérez Tijero, H., Gutiérrez, J.J., Asensio, E., Zamorano, J. and de la Puente, J.A. "Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model". Proc. of the 37th Euromicro Conference on Software Engineering and Advanced Applications, Oulu, Finland, pp. 209--216 (2011). Google Scholar
Digital Library
- González Harbour, M., Gutiérrez, J.J., Palencia, J.C. and Drake, J.M. "MAST: Modeling and Analysis Suite for Real Time Applications," Proc. of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, IEEE Computer Society Press, pp. 125--134, (2001). Google Scholar
Digital Library
- Vardanega, T., Harbour, M. G. and Pinho, L. M. "Session summary: language and distribution issues", Proc. of the 14th International Real-Time Ada Workshop (IRTAW 14), Portovenere (Italy), ACM Ada Letters, XXX(1): pp. 152--161 (2010). Google Scholar
Digital Library
- ARINC. "Avionics Application Software Standard Interface". ARINC Specification 653--1 (2006)Google Scholar
- Airlines Electronic Engineering Committee, Aeronautical Radio INC., "ARINC Specification 664P7: Aircraft Data Network, Part 7 -- Avionics Full Duplex Switched Ethernet (AFDX) Network," (2005).Google Scholar
- European Corporation for Space Standardization (ECSS), "SpaceWire - links, nodes, routers and networks", pp. 1--129 (2008).Google Scholar
Index Terms
Adapting the end-to-end flow model for distributed Ada to the ravenscar profile
Recommendations
A Real-Time Framework for Ada 2005 and the Ravenscar Profile
SEAA '09: Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced ApplicationsThis paper describes an object-oriented real-time framework for Ada 2005 and the Ravenscar profile. The framework uses the Ada 2005 real-time features implemented on the AVR32 UC3 microcontroller series to control the execution-time of tasks and ...
IP Network Stack in Ada 2012 and the Ravenscar Profile
This article presents Ada Embedded Network, a small network stack intended to be used by small embedded Ada applications running on ARM. It implements the standard ARP, IPv4, UDP, DNS and DHCP protocols on top of an Ethernet driver. Its memory efficient ...
Toward Extensions to the Ravenscar Profile
We describe an on-going effort to identify a set of enhancements to the Ravenscar profile, intended primarily for applications in the real-time systems domain, but perhaps also applicable to the other domains supported by Ravenscar as currently defined. ...






Comments