Portable code for complex critical systems

Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999

Volumn , Issue , 1999, Pages 111-118

  Audsley, N C ^a   Bate, I J ^a   Grigg, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER HARDWARE; COST BENEFIT ANALYSIS; COSTS; FIGHTER AIRCRAFT; HARDWARE; SAFETY ENGINEERING; SECURITY SYSTEMS;

BRITISH AEROSPACES; COMPUTER COMPONENTS; HARDWARE INTERCHANGEABILITY; HARDWARE PLATFORM; REDUCING SYSTEMS; SAFETY CRITICAL SYSTEMS; TECHNOLOGY UPGRADE; VERIFICATION-AND-VALIDATION;

REAL TIME SYSTEMS;

EID: 33646858222     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.1999.811200     Document Type: Conference Paper

References (23)

1. A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
2. Annex H (Safety and Security) Rapporteur Group. Guidance for the use of the Ada Programming Language in High Integrity Systems, version 3.7 edition, 1998.
3. N. Audsley, I. Bate, and A. Grigg. Portable Code: Reducing the Cost of Obsolesence in Embedded Systems. IEE Computing and Control, 10(3):98-104, June 1999.
4. N. Audsley and M. Burke. Distributed Fault-Tolerant Avionic Systems-A Real-Time Perspective. In Proceedings IEEE Aerospace Conference, Aspen, USA, 1998.
5. N. C. Audsley, I. J. Bate, and A. Grigg. Portable Code for Avionic Systems: Phase 3. Technical Report COE/SPO-S-0196010/Phase3, BAe. Centre of Excellence, Dept. of Computer Science, University of York, York, UK., 19th March 1999.
6. T. Baker and T. Vardanega. Session summary: Tasking profiles. In A. Wellings, editor, Proceedings of the 8th International Real-Time Ada Workshop, pages 5-7. ACM Ada Letters, 1997.
7. J. Barnes. High Integrity Ada: The SPARK Approach. Addison-Wesley, 1997.
8. J. Borky, R. Lachenmaier, J. Messing, and A. Fink. Architectures for Next Generation Military Avionics Systems. In Proceedings IEEE Aerospace Conference, Aspen, USA, 1998.
9. A. Burns, B. Dobbing, and G. Romanski. The Ravenscar tasking profile for high integrity real-Time programs. In Reliable Software Technologies, Proceedings of the Ada Europe Conference, Uppsala, pages 263-27.5. Springer Verlag, 1998.
10. A. Burns and J. A. McDermid. Real-Time safety-critical systems: Analysis and synthesis. Software Engineering Journal, pages 267-281, November 1994.
11. R. Chapman. Static Timing Analysis and Program Proof. Technical Report YCST-95-05, Dept. of Computer Science, University of York, York, UK., March 1995.
12. G. Clark and A. Powell. Experiences with Sharing a Common Measurement Philosophy. In Proceedings International Conference on Systems Engineering (INCOSE99), Brighton, UK, 1999.
13. R. A. Edwards. ASAAC Phase I Harmonized Concept Summary. In Proceedings ERA Avionics Conference and Exhibition, London, UK, 1994.
14. European Organisation for Civil Aviation Electronics. DOI78B: Software Considerations in Airborne Systems and Equipment Certijcation, December 1992.
15. D. Field and A. Grigg. The Impact of Interchangeability Requirements on Operating Systems for Modular Avionics. In Proceedings ERA Avionics Conference and Exhibition, 1994.
16. C. H. Forsyth. More Adaptable Code Generation. DPhil. Thesis YCST/91/01, 1991.
17. J. Gosling, B. Joy, and G. Steel. The Java Language Specification. Addison-Wesley, 1996.
18. T. Lindholm and E Yellin. The Java Virtual Machine Specijication. Addison-Wesley, 1997.
19. Ministry of Defence. Defence Standard 00-55: Requirements for Safety-Related Software in Defence Equipment (Part I : Requirements, Part 2: Guidance), August 1997.
20. C. Multedo, D. Jibb, and G. Angel. ASAAC Phase I1 Programme Progress on the Definition of Standards for the Core Processing Architecture of Future Military Aircraft. In Proceedings ERA Avionics Conference and Exhibition, London, UK, 1998.
21. R. Torbet. Future Offensive Air System-Avionic Requirements. In Proceedings ERA Avionics Conference and Exhibition, London, UK, 1997.
22. WOpen Company Ltd. WOpen Guide: Architecture Neutral Distribution Format. WOpen Company Ltd., UK, 1996.
23. WOpen Company Ltd. WOpen Preliminary Specification: Architecture Neutral Distribution Format. WOpen Company Ltd., UK, 1996.