The Ravenscar tasking profile for high integrity real-time programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The Ravenscar tasking profile for high integrity real-time programs

Full text

Pdf (597 KB)

Source

Annual International Conference on Ada archive
Proceedings of the 1998 annual ACM SIGAda international conference on Ada table of contents

Washington, D.C., United States

Pages: 1 - 6

Year of Publication: 1998

ISBN:1-58113-033-3

Also published in ...

Authors

Brian Dobbing	Aonix-Europe Ltd, Partridge House, Newtown Road, Henley-on-Thames RG9 1 EN UK
Alan Burns	University of York, Heslington, York, UK

Sponsors

Ada Europe : Ada Europe
SIGADA: ACM Special Interest Group on Ada Programming Language
SIGSOFT: ACM Special Interest Group on Software Engineering
SIGAPP: ACM Special Interest Group on Applied Computing
SIGPLAN: ACM Special Interest Group on Programming Languages
DC Ada : DC Ada Chapter
SIGBIO: ACM Special Interest Group on Biomedical Computing
SIGCSE: ACM Special Interest Group on Computer Science Education
Baltimore SIGAda Chapter : Baltimore SIGAda Chapter
SIGCAS: ACM Special Interest Group on Computers and Society

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 20, Citation Count: 10

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/289524.289525 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Barnes, J. High Integrity Ada- The SPARK Examiner Approach, Addison Wesley Longman Ltd (1997).
	2	Mark H. Klein , Thomas Ralya , Bill Pollak , Ray Obenza , Michael González Harbour, A practitioner's handbook for real-time analysis, Kluwer Academic Publishers, Norwell, MA, 1993
	3	Alan Burns , Andy Wellings, Concurrency in Ada, Cambridge University Press, New York, NY, 1995
	4	ACM Ada Letters, Proceedings of the 8~ International Real-Time Ada Workshop: Tasking Profiles (September 1997).
	5	Object Management Group, UML Specification ad/97-08-02 thru ad/97-08-11 http ://www. om~. org/librarv/schedule/Technologv Ad options.htmgtbl UML Specification (November 1997).
	6	Aonix Inc, ObjectAda Real-Time Windows NT x PowerPC/Raven (1998)
	7	RTCA Inc, Software Considerations in Airborne Systems and Equipment Certification, RTCA/DO- 178B/ED-12B. (December 1992)
	8	D. I. Katcher , H. Arakawa , J. K. Strosnider, Engineering and Analysis of Fixed Priority Schedulers, IEEE Transactions on Software Engineering, v.19 n.9, p.920-934, September 1993 [doi>10.1109/32.241774]
	9	Roderick Chapman , Alan Burns , Andy Wellings, Combining static worst-case timing analysis and program proof, Real-Time Systems, v.11 n.2, p.145-171, Sept. 1996 [doi>10.1007/BF00365316]
	10	and {RM} Intermetrics Inc. Ada95 Reference Manual, ANSFISO/IEC-8652:1995, (January 1995)

CITED BY 10

	Kristina Lundqvist , Lars Asplund, A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*, Real-Time Systems, v.24 n.1, p.29-54, January 2003
	Kristina Lundqvist , Lars Asplund, A formal model of the Ada Ravenscar tasking profile; delay until, ACM SIGAda Ada Letters, v.XIX n.3, p.15-21, Sept. 1999
	M. Ward , N. C. Audsley, Hardware compilation of sequential ada, Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems, November 16-17, 2001, Atlanta, Georgia, USA
	Thomas Quinot , Fabrice Kordon , Laurent Pautet, DROOPI: towards a generic middleware, ACM SIGAda Ada Letters, v.XXI n.2, p.26-52, June 2001
	R. Maia , F. Moreira , R. Barbosa , D. Costa , Kjeld Hjortaes , Patricia Rodriguez , Luis Miguel Pinho, Verifying, validating and monitoring the open Ravenscar real time kernel, ACM SIGAda Ada Letters, v.XXIII n.4, p.74-81, December 2003
	Lars Asplund , Kristina Lundqvist, Safety critical systems based on formal models, ACM SIGAda Ada Letters, v.XX n.4, p.32-39, Dec., 2000
	Khaled Barbaria , Laurent Pautet , Isabelle Perseil, Schizophrenic middleware support for fault tolerance, ACM SIGAda Ada Letters, v.XXVI n.3, p.51-60, December 2006
	Christof Pitter , Martin Schoeberl, Towards a Java multiprocessor, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria
	Daniel Tejera , Alejandro Alonso , Miguel A. de Miguel, RMI-HRT: remote method invocation - hard real time, Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems, September 26-28, 2007, Vienna, Austria
	Thomas Bøgholm , Henrik Kragh-Hansen , Petur Olsen , Bent Thomsen , Kim G. Larsen, Model-based schedulability analysis of safety critical hard real-time Java programs, Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems, September 24-26, 2008, Santa Clara, California