Abstract
The Ravenscar profile was a qualitative leap in the development of single-processor hard real-time systems with certification requirements. But nowadays more and more safety-critical systems are distributed, so a new Ada profile is needed for multi-node applications. This work discusses the restrictions and additions to the language needed to certify and obtain the required predictability and timeliness in a high-integrity hard real-time Ada distributed application.
- Ada Rapporteur Group. Ada Issue 249 --- Ravenscar profile for high-integrity systems. Ada Letters, XXV(3), September 2005.Google Scholar
- Ada Issue 208 --- What is the meaning of "same representation" in all partitions?, August 1999.Google Scholar
- L. Asplund, B. Johnson, and K. Lundqvist. Session summary: The Ravenscar profile and implementation issues. Ada Letters, XIX(25):12--14, 1999. Proceedings of the 9th International Real-Time Ada Workshop. Google Scholar
Digital Library
- N. Audsley and A. Wellings. Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. In IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshop, pages 33--39, New York, NY, USA, 2001. ACM Press. Google Scholar
Digital Library
- J. Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison Wesley, 2003. Google Scholar
Digital Library
- A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, 3 edition, 2001. Google Scholar
Digital Library
- J. J. Gutiérrez and M. González Harbour. Towards a realtime Distributed System Annex in Ada. Ada Letters, XXI(1), 2001. Google Scholar
Digital Library
- J. J. Gutiérrez, J. C. Palencia, and M. González Harbour. Schedulability analysis of distributed hard real-time systems with multiple- event synchronization. In Proc. 12th Euromicro Conference on Real-Time Systems, pages 15--24. IEEE CS Press, June 2000. Google Scholar
Digital Library
- ISO SC22/WG9. Ada 2005 Annotated Reference Manual. ISO/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1, 2006. Available on http://www.adaic.com/standards/ada05.html.Google Scholar
- M. Joseph and P. Pandya. Finding response times in realtime systems. BCS Computer Journal, 29(5):390--395, 1986.Google Scholar
Cross Ref
- Y. Kermarrec. CORBA vs. Ada 95 DSA: a programmer's view. In SIGAda '99: Proceedings of the 1999 annual ACM SIGAda international conference on Ada, pages 39--46, New York, NY, USA, October 1999. ACM Press. Google Scholar
Digital Library
- P. Ledru and S. G. Shiva. Interpartition communication with shared active packages. In TRI-Ada '96: Proceedings of the conference on TRI-Ada '96, pages 57--62, New York, NY, USA, 1996. ACM Press. Google Scholar
Digital Library
- J. López Campos, J. J. Gutiérrez, and M. González Harbour. The chance for Ada to support distribution and real-time in embedded systems. In A. Llamosí and A. Strohmeier, editors, 9th International Conference on Reliable Software Technologies --- Ada-Europe 2004, number 3063 in LNCS, pages 91--105, Palma de Mallorca (Spain), 2004. Springer-Verlag.Google Scholar
- S. A. Moody. Session summary: Distributed Ada and realtime. In IRTAW '99: Proceedings of the ninth international workshop on Real-time Ada, pages 15--18, New York, NY, USA, March 1999. ACM Press. Chairman: Michael González Harbour. Rapporteur: Scott Arthur Moody. Google Scholar
Digital Library
- J. C. Palencia Gutiérrez. Análisis de planificabilidad de Sistemas Distribuidos de Tiempo Real basados en prioridades fijas. PhD thesis, Universidad de Cantabria, 1999. Supervisor: Michael González Harbour.Google Scholar
- J. C. Palencia Gutiérrez and M. González Harbour. Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In RTSS 1999: Proceedings of the 20th IEEE Real-Time Systems Symposium, pages 328--339, December 1999. Google Scholar
Digital Library
- L. Pautet and S. Tardieu. What future for the distributed systems annex? In SIGAda '99: Proceedings of the 1999 annual ACM SIGAda international conference on Ada, pages 77--82, New York, NY, USA, 1999. ACM Press. Google Scholar
Digital Library
- L. M. Pinho and F. Vasques. Using Ravenscar to support fault tolerant real-time applications. Ada Letters, XXII(4):47--52, 2002. Google Scholar
Digital Library
- C. Plummer and P. Plancke. The spacecraft onboard interfaces, SOIS, standardisation activity. In DASIA 2002 --- Data Systems in Aerospace, 2002.Google Scholar
- R. Rajkumar, M. Gagliardi, and L. Sha. The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. In Proceedings of the First IEEE Real-Time Technology and Applications Symposium (RTAS'95), 1995., pages 66--75, Los Alamitos, CA, USA, May 1995. IEEE Computer Society. Google Scholar
Digital Library
- C. Sánchez, H. B. Sipma, Z. Manna, V. Subramonian, and C. Gill. On efficient distributed deadlock avoidance for realtime and embedded systems. In Proceedings of the 20th International Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. IEEE Computer Society, April 2006.Google Scholar
- D. Tejera, A. Alonso, and M. Á. de Miguel. Predictable serialization in Java. In IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'07), May 2007. Google Scholar
Digital Library
- K. Thomas. Parallel programming in Ada 95 and MPI. Ada User Journal, 21(2):143--152, July 2000.Google Scholar
- K. Tindell and J. Clark. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming, 40(2--3):117--134, April 1994. Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems). Google Scholar
Digital Library
- T. Vergnaud, J. Hugues, L. Pautet, and F. Kordon. PolyORB: a schizophrenic middleware to build versatile reliable distributed applications. In Proceedings of the 9th International Conference on Reliable Software Techologies Ada-Europe 2004 (RST'04), volume LNCS 3063, pages 106--119, Palma de Mallorca, Spain, June 2004. Springer Verlag.Google Scholar
Cross Ref
Index Terms
Building high-integrity distributed systems with Ravenscar restrictions
Recommendations
Building high-integrity distributed systems with Ravenscar restrictions
IRTAW '07: Proceedings of the 13th international workshop on Real-time AdaThe Ravenscar profile was a qualitative leap in the development of single-processor hard real-time systems with certification requirements. But nowadays more and more safety-critical systems are distributed, so a new Ada profile is needed for multi-node ...
The Ravenscar profile for high-integrity Java programs?
The Ravenscar Profile was a major output of the 8th International Real-Time Ada Workshop. The profile defines a subset of the Ada95 tasking constructs that matches the requirements of Safety Critical, High Integrity and Hard Real-Time systems by ...
The Ravenscar profile for high-integrity Java programs?
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopThe Ravenscar Profile was a major output of the 8th International Real-Time Ada Workshop. The profile defines a subset of the Ada95 tasking constructs that matches the requirements of Safety Critical, High Integrity and Hard Real-Time systems by ...







Comments