Skip to main content
SpringerLink
Log in
Book cover

International Conference on Reliable Software Technologies

Ada-Europe 2002: Reliable Software Technologies — Ada-Europe 2002 pp 163–178Cite as

High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2361))

Abstract

This paper presents recent trends in avionics systems development from bespoke systems through to COTS and emerging Integrated Modular Avionics architectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. RTC A, “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.

    Google Scholar 

  3. Dr. C. H. Pygott, “A Comparison of Avionics Standards”, DERA/CIS3/TR990319/1.0, British Crown Copyright 2000.

    Google Scholar 

  4. “Guidance for Use of Ada in High Integrity Systems”, ISO/IEC TR 15942.

    Google Scholar 

  5. Ted Baker and Tullio Vardanega, “Session Summary: Tasking Profiles”, Ada Letters September-October 1997, Vol. XVII, Number 5, pages 5–7.

    Article  Google Scholar 

  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).

    Google Scholar 

  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, pp 182–187.

    MathSciNet  Google Scholar 

  8. Wind River Datasheet, “Honeywell customer success story”, http://www.windriver.com.

  9. FAA Draft Notice N8110.RSC.

    Google Scholar 

  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

    Google Scholar 

  11. J. Kemp, A. Wake, W. Williams, “The Development of the ASAAC Software Architecture”, ERA Avionics Show 2000.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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

    Google Scholar 

  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.

    Google Scholar 

  19. “GNAT Reference Manual”, http://www.gnat.com.

  20. John Barnes, “High Integrity Ada: The SPARK Approach”, Addison Wesley, 1997

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wind River, Unit 5 & 6 Ashted Lock Way, Birmingham, B7 4AZ, UK

    Paul Parkinson

  2. ACT Europe, 8 Rue de Milan, 75009, Paris, France

    Franco Gasperoni

Authors
  1. Paul Parkinson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Franco Gasperoni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer-Aided Automation, Technical University Vienna, Treitlstraße 1-3, 1040, Vienna, Austria

    Johann Blieberger

  2. Swiss Federal Institute of Technology Lausanne (EPFL), 1015, Lausanne, Switzerland

    Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parkinson, P., Gasperoni, F. (2002). High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT. In: Blieberger, J., Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe 2002. Ada-Europe 2002. Lecture Notes in Computer Science, vol 2361. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48046-3_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-48046-3_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43784-0

  • Online ISBN: 978-3-540-48046-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation