Skip to main content
SpringerLink
Log in

Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems

  • Conference paper
Reliable Software Technologies - Ada-Europe 2011 (Ada-Europe 2011)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6652))

Included in the following conference series:

  • 693 Accesses

Abstract

DO-178C/ED-12C, six years in preparation, is expected to be published in 2011. This updated document will provide guidance for the development and verification of safety-related software for avionic systems. As this position paper will describe, DO-178C/ED-12C is good news for Ada.

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

Access this chapter

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

Institutional subscriptions

References

  1. RTCA, Inc.: DO-178B: Software Considerations in Airborne Systems and Equipment Certification, Washington (1992)

    Google Scholar 

  2. EUROCAE: ED-12B: Software Considerations in Airborne Systems and Equipment Certification, Paris (1992)

    Google Scholar 

  3. Boeing Commercial Airplanes: Statistical Summary Of Commercial Jet Airplane Accidents, Worldwide Operations 1959-2009, Seattle (2010)

    Google Scholar 

  4. Federal Aviation Administration, http://www.faa.gov/aircraft/air_cert/design_approvals/air_software/oot/

  5. Dijkstra, E.W.: A Discipline of Programming, Englewood Cliffs (1976)

    Google Scholar 

  6. Redwine, S.T., Davis, N. (eds.): Processes to Produce Secure Software. Improving Security across the Software Development Lifecycle (National Cybersecurity Partnership Taskforce Report), Appendix B, pp. 17–47 (2004), http://www.cyberpartnership.org/init-soft.html

  7. Souyris, J., Wiels, V., Delmas, D., Delseny, H.: Formal Verification of Avionics Software Products. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 532–546. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  8. German, A.: Software Static Analysis Lessons Learned, CrossTalk (2003)

    Google Scholar 

  9. Ladkin, P.B.: http://www.rvs.uni-bielefeld.de/publications/Incidents/DOCS/ComAndRep/Warsaw/warsaw-report.html

Download references

Authors
  1. Dewi Daniels
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing Science, Newcastle University, NE1 7RU, Newcastle upon Tyne, UK

    Alexander Romanovsky

  2. Department of Pure and Applied Mathematics, University of Padua, Via Trieste 63, 35121, Padua, Italy

    Tullio Vardanega

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Daniels, D. (2011). Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems. In: Romanovsky, A., Vardanega, T. (eds) Reliable Software Technologies - Ada-Europe 2011. Ada-Europe 2011. Lecture Notes in Computer Science, vol 6652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21338-0_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21338-0_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21337-3

  • Online ISBN: 978-3-642-21338-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation