High-integrity systems development for integrated modular avionics using VxWorks and GNAT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2361, Issue , 2002, Pages 163-178

  Parkinson, Paul ^a   Gasperoni, Franco ^b  

^a Wind River   (United Kingdom)

^b ACT Europe   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AVIONICS SYSTEMS; HIGH-INTEGRITY SYSTEMS; INTEGRATED MODULAR AVIONICS; RECENT TRENDS; VXWORKS;

AVIONICS;

EID: 84957021801     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48046-3_13     Document Type: Conference Paper

References (20)

1. RTCA, “DO-178B-Software Considerations in Airborne Systems and Equipment Certification”, URL http://www.rtca.org
2. UK Ministry of Defence, “Requirements for Safety Related Software in Defence Equipment”, Def Stan 00-55.
3. Dr. C. H. Pygott, “A Comparison of Avionics Standards”, DERA/CIS3/TR990319/1.0, British Crown Copyright 2000.
4. Guidance for Use of Ada in High Integrity Systems., ISO/IEC TR 15942.
5. Ted Baker and Tullio Vardanega,.Session Summary: Tasking Profiles., Ada Letters September-October 1997, Vol. XVII, Number 5, pages 5-7.
6. A. Burns and B. Dobbing, “The Ravenscar Tasking Profile for High Integrity Real-Time Programs”, pp. 1-6 in Proceedings of ACM SigAda Annual Conference, ACM Press, Washington DC, U.S.A. 8-12 November 1998.
7. Alan Burns,.Guide for the use of the Ada Ravenscar Profile in high integrity systems. the work of the HRG., Ada User Journal, Vol. 22, Number 3, September 2001, pp182-187.
8. Wind River Datasheet,.Honeywell customer success story., http://www.windriver.com.
9. FAA Draft Notice N8110.RSC.
10. S. Tucker Taft et al.: Ada 95 Reference Manual-Language and Standard Libraries. International Standard ISO/IEC 8652:1995(E), Springer, LNCS 1246, ISBN 3-540-63144-5
11. J. Kemp, A. Wake, W. Williams, “The Development of the ASAAC Software Architecture”, ERA Avionics Show 2000.
12. RTCA SC-255.Requirements Specification for Avionics Computer Resource (ACR)., http://www.rtca.org.
13. ARINC-653 Specification, http://www.arinc.org.
14. VxWorks/Cert Subset Definition and Rationale v1.2a”., Wind River Systems.
15. Paul Parkinson, “ Hochverfügbar. Komplexe langlebige System mit Ada und VxWorks Entwickeln”. (Developing High-Integrity Systems with VxWorks and Ada), pp 36-39, Electronik Praxis, 2 Oktober 2001.
16. High Availability for Embedded Systems. white paper, Wind River Systems. http://www.windriver.com.
17. GENESYS-An Application of OO Technology to Aircraft Display Systems., Neil Davidson, BAE Avionics Ltd. Symposium on Reliable Object Oriented Programming, IEE, 24th October 2001
18. Roderick Chapman and Robert Dewar,.Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT., Reliable Software Technologies, Ada-Europe.99, LNCS 1622, pp 40-51.
19. GNAT Reference Manual., http://www.gnat.com.
20. John Barnes,.High Integrity Ada: The SPARK Approach., Addison Wesley, 1997