Successfully reported this slideshow.

DO-178B/ED-12B Presentation


Published on

Published in: Technology, Business

DO-178B/ED-12B Presentation

  1. 1. RTCA DO-178B (EUROCAE ED-12B) Ankit Singh (Bachelor of Engineering, Computer Science)University of Applied Sciences - Frankfurt am Main, Germany Email:
  2. 2. Contents• Introduction of DO-178B/ED-12B • History of DO-178 Document• DO-178B • Certification Features • Certification Problems• Future Revision DO-178C• Integration of SW-CMM and DO-178B• Conclusion• Bibliography Ankit Singh DO-178B/ED-12B
  3. 3. Introduction of DO-178B/ED-12B Ankit Singh DO-178B/ED-12B
  4. 4. Introduction of DO-178B/ED-12B • DO-178B/ED-12B: • Software Considerations in Airborne Systems and Equipment Certification • International Standard for Safety of Avionics Software. • Two Revisions in 20 Years: DO-178 and DO-178A. • The DO-178/ED-12 document and all its revisions were sponsored by RTCA and EUROCAE (Non-Government Organization). • DO-178B/ED-12B is a Software assurance standard. Not Software Development standard. • DO-178C: New Revision Expected to come out at early 2011. Ankit Singh DO-178B/ED-12B
  5. 5. History of DO-178 Document Ankit Singh DO-178B/ED-12B
  6. 6. History of DO-178 Document • Cost of Computers went down in early 80’s due to introduction of Personal Computers • Aviation industry manufacturers started REPLACING or ENHANCING existing AIRBORNE SYSTEM with SOFTWARE FUNCTIONALITY. • Increased use of Software and Computer Systems for Safety Critical application MOTIVATED to develop First Version DO-178 standard Ankit Singh DO-178B/ED-12B
  7. 7. History of DO-178 Document • DO-178 Certification: • Written at a conceptual level • Rules developed by trial and error over time. • Concept of Software VERIFICATION first introduced • The software applications were divided into three categories: critical, essential, and nonessential. Ankit Singh DO-178B/ED-12B
  8. 8. History of DO-178 Document • DO-178A Certification: • Published in 1985 • The features Introduced: • Systematic and Structured detail, Software Development and Verification processes • Concept of software applications Levels 1, 2 and 3 corresponding to Criticality Safety levels. • There was total Lack of Understanding of the purpose • Misinterpretation led to disqualification Software Development cycle Ankit Singh DO-178B/ED-12B
  9. 9. DO-178B/ED-12B Ankit Singh DO-178B/ED-12B
  10. 10. DO-178B/ED-12B • Evolved from DO-178A, circa1985 • DO-178B is a guidance document only and focuses on software processes and objectives to comply with these processes • Recommended Certification for obtain approval of Airborne Softwares • DO-178B is not Prescriptive • Vendors are allowed how objectives are satisfied • DO-178B Objectives vary, how to software failures can effect system safety Ankit Singh DO-178B/ED-12B
  11. 11. DO-178B/ED-12B • Consider two aircraft examples – • Software controlling the coffee makers in the aft galley fails • Outcome: Likely some grumpy customers, but passenger safety not compromised (air rage issues due to lack of coffee aside) • Software controlling the aircraft during an automatic landing in zero visibility conditions fails • Outcome: Possibly catastrophic and lives lost • It is BUT OBVIOUS that these two softwares will NOT be developed with SAME STRICTNESS Ankit Singh DO-178B/ED-12B
  12. 12. DO-178B/ED-12B • For these Reasons, DO-178B defines Five Software Levels • Level A: Catastrophic: • Failure results in preventing the flight from continuing Safely and/or Landing. An example of such system is an engine controller software. • Level B: Hazardous: • Failure results to serious or fatal injuries to the aircraft occupants. Examples are Primary Flight Displays (PFDs) and failures of pressurization system software Ankit Singh DO-178B/ED-12B
  13. 13. DO-178B/ED-12B • Level C: Major: • Failure results in causing discomfort or injuries to the occupants. Examples are Flight Management System (FMS), autopilot and auto landing systems. • Level D: Minor: • Failure results in causing some inconvenience to the occupants. Examples are such systems include transponders and communication equipment. • Level E: No Effect: • Examples are in-flight entertainment functions and satellite phone and internet access. Ankit Singh DO-178B/ED-12B
  14. 14. DO-178B/ED-12B • Level A has 66 objectives, Level B 65 objectives, Level C 57 objectives, Level D 28 objectives • Does DO-178B assures full safety? • No, DO-178B objectives do not directly deal with Safety. • How do we know when software is safe??? Ankit Singh DO-178B/ED-12B
  15. 15. DO-178B/ED-12B • WE DON’T KNOW!!! • What is our best guess about software Safety? • When applicable process has been followed • When the code has been verified “from within” • When this has been checked....... • and checked....... • and checked............... Ankit Singh DO-178B/ED-12B
  16. 16. DO-178B/ • DO-178B consists of 12 sections, 2 annexes, and 3 appendices as shown in Figure Ankit Singh DO-178B/ED-12B
  17. 17. - describe verification as most important - DO 178C - SW-CMM & DO-178B -Conclusion -Biblography DO-178B/ED-12B • Software VERIFICATION is the strongest point of DO-178B document. • It is defined as combination of • REVIEW: Provide a qualitative assessment of correctness • ANALYSIS: Provide repeatable evidence of correctness • TESTING: • Demonstrate that the software satisfies its high and low level requirements • Gives Confidence • DO-178B acknowledges that test preparation can be as effective as test execution Ankit Singh DO-178B/ED-12B
  18. 18. DO-178B/ED-12B Ankit Singh DO-178B/ED-12B
  19. 19. Future Version DO-178C/ED-12C Ankit Singh DO-178B/ED-12B
  20. 20. Future Version DO-178C/ED-12C • DO-178C/ED-12C includes features: • Formal Methods: Mathematical based techniques used for specification, development and verification of a software/avionics software. • Object Oriented Programming: Languages like C++ and Ada are popular because they are at a higher level of abstraction than other languages which lead to promote re-use and promise more efficient development. They facilitate a high degree of automation of the verification and test techniques. • Model-Based development: Models systems at very high-level, domain-specific languages, are often used to automatically generate source code directly from the model. Ankit Singh DO-178B/ED-12B
  21. 21. Integration of SW-CMM and DO-178B Ankit Singh DO-178B/ED-12B
  22. 22. Integration of SW-CMMand DO-178B• Both are Assurance standards but focus is slightly different.• The maturity levels 1 to 5 indicated the overall effectiveness of the company’s software engineering practices.• Software Capability Maturity Model (SW- CMM) looks at Development processes along with their management and refinement. Ankit Singh DO-178B/ED-12B
  23. 23. Integration of SW-CMM and DO-178B • DO-178B solely focuses on Design Assurance. • FAA’s standard FAA-iCMM to meet the software, systems, and acquisition needs of the FAA for acquiring software intensive systems. • Management cost and schedule is out of the scope DO-178B document. • Companies with SW-CMM Level 2 and above are eligible to apply for DO-178B. • Successful Integration of SW-CMM and DO-178B together benefits with cost savings and schedule control Ankit Singh DO-178B/ED-12B
  24. 24. Conclusion Ankit Singh DO-178B/ED-12B
  25. 25. Conclusion • DO-178B is a guidance document only and focuses on soft- ware processes and objectives to comply with these processes. • The DO-178B solely focuses on design assurance where the required assurance is defined on the basis of the criticality levels A to E. • The standard should be applied from the start or beginning of the development process. • Like every thing is having its own advantages and disadvantages, DO-178B also has its own. But with careful consideration of its content with solid engineering judgement and successful integration of other good standards like SW- CMM/FAA-iCMM simultaneously should result in better and safer airborne software. • DO-178C will be the Bible for Aviation industry Ankit Singh DO-178B/ED-12B
  26. 26. Bibliography Ankit Singh DO-178B/ED-12B
  27. 27. Bibliography[1] RTCA DO-178B/EUROCAE ED-12B, Thomas K. Ferrel and Uma D. Ferrel, Ferrell and Associates Consulting[2] The Certification of Systems containing Software Developed using RTCA-178B, Carolyn Salmon and Clive Lee, Ref: ASSC/12/0013, June 2006.[3] USING THE SOFTWARE CAPABILITY MATURITY MODEL FOR CERTIFICATION PROJECTS (1998), Leanna K. Rierson, Federal AviationAdministration, Washington, D.C.[4] Capability Maturity ModelSM for Software,Version 1.1, February 1993, Mark C. Paulk, Bill Curtis, Mary Beth Chrissis, Charles V. Weber[5] IPL Testing Tools and RTCA/DO-178B, IPL Information Processing Ltd.[6] Software Development under DO-178B, John Joseph Chilenski, Associate Technical Fellow Airborne Software Engineering Boeing CommercialAirplanes, January 2002[7] DO-178B and Safety-Critical Software, Technical Overview, Joseph Wlad Product Marketing Manager Wind River Alameda, CA.[8] DO 178C Nears Finish Available: http://www.militaryaerospace. com/index/display/avi- article- display/7404622510/articles/ avionics-intelligence/features- and- analysis/2010/9/do- 178c- nears_ finish.html. Last access on:12/5/2010[9] DO-178B and DO-178C Available: php?title=DO-178B_and_DO-178C/. Last access on:12/5/2010[10] Birds Project, Introduction to DO-178B (or DO-254) Available: http:// Last access on:12/5/2010 Ankit Singh DO-178B/ED-12B
  28. 28. Bibliography[11] DO-178B and Safety-Critical Software, Technical Overview, Joseph Wlad Product Marketing Manager Wind River Alameda,CA[12] SQS company, Avionics Available: Last access on:12/6/2010[13] Certification Authorities Software Team (CAST) Position Paper CAST-27 CLARIFICATIONS ON THE USE OF RTCA DOCUMENT DO-254 AND EUROCAE DOCUMENT ED-80, DESIGNASSURANCE GUIDANCE FOR AIRBORNE ELECTRONIC HARDWARE COMPLETED June 2006(Rev 0)[14] Airborne Software Concerns in Civil Aviation Certification, Benedito Sakugawa, Edson Cury and Edgar Toshiro Yano, Brazil[15] Safety and Reliability Considerations in DO-178B, Dima Zemskyy MSE 575, Dr. Kornecki, Fall 2006 Ankit Singh DO-178B/ED-12B
  29. 29. THANK YOU Any Questions? Ankit Singh DO-178B/ED-12B