Using the ravenscar profile for space applications: The OBOSS case

Proceedings of the 10th International Real-Time Ada Workshop, IRTAW 2000

Volumn , Issue , 2001, Pages 96-104

  Vardanega, Tullio ^a   Caspersen, Gert ^b  

^a EUROPEAN SPACE AGENCY   (Netherlands)

^b TERMA Elektronik   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; SPACE APPLICATIONS;

EMBEDDED REAL TIME SYSTEMS; EXPRESSIVE POWER; INTEGRITY REQUIREMENTS; OBJECT ORIENTATION; POSITIVE EVIDENCE; RAVENSCAR;

REAL TIME SYSTEMS;

EID: 85012929636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/374370.374389     Document Type: Conference Paper

References (12)

1. A. Bums. The Ravenscar Profile. Ada Letters, XIX(4):49-52, 1999.
2. A. Bums and A. Wellings. Concurrency in Ada. Cambridge University Press, 1988. Second edition.
3. A. Bums and A. Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Tune Systems. Elsevier Science, Amsterdam, NL, 1995. ISBN 0-444-82164-3.
4. R. Chapman, A. Bums, and A. Wellings. Worst-case timing analysis of exception handling in Ada. In L. Collingboume, editor, Proceedings of the Ada UK Conference, pages 148- 164. IOS Press, The Netherlands, 1993.
5. ESTEC- 32-bit Microprocessor and Computer System Development. Study Contract No. 984S/92/NL/FM, European Space Agency, Noordwijk, NL, 1996-1999. (http://www.estec.esa.nl/wsmwww/erc32/erc32.html)
6. European Space Agency, Noordwijk, NL. Packet Utilisation Standardly 1994. PSS-07-101 Issue 1.
7. D. Holmes, J. Noble, and J. Potter. Effective Synchronisation of Concurrent Objects: Laying the Inheritance Anomaly at Rest. Technical report, Department of Computing, Macquarie University, Sydney, AU, 1998. (http J/www.mri.mq.edu.au/~dholrnes/research/oopsla-paper-submission.html).
8. ISO. Ada Reference Manual. International Standardisation Organisation, Geneva, CH, 1987. ISO/IEC 8652:1987.
9. ISO. Ada Reference Manual. International Standardisation Organisation, Geneva, CH, 1995. ISO/IEC 8652:1995.
10. TERMA Elektronik. Software System Development for Spacecraft Data Handling Control. November 1999. Product of ESTEC Contract 12797/98/NL/PA. (http://spd-webienria.coni/Projects/OBOSS/Home-Page).
11. T. Vardanega and J. van Katwijk. A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. Software - Practice and Experience, 29(3):235-266, 1999. John Wiley & Sons.
12. Wichmann, B. Programming Languages - Guide for the Use of the Ada Programming Language in High Integrity Systems. Technical Report ISO/IEC TO 15942 (originated as ISO/IEC JTC1/SC22 WG9 N359), International Standardisation Organisation, Geneva, CH, March 2000. (http://www.dkuug.dk/jtcl/sc22/wg9/documents.hDn).