The document introduces the Open-DO initiative, which aims to promote openness and cooperation in the DO-178 certification community for avionics software. It discusses the benefits of open source communities and applying agile principles. Open-DO would provide shared certification workflows, templates, tools and educational materials to help lower costs and foster innovation. Success will depend on engaging certification authorities, industry leaders, tool providers and academics around open governance and certification of example projects.

1. A call for action Cyrille Comar [email_address] Matteo Bordin [email_address] www.open-do.org

4. FLOSS License Free to use… for ever Free to look at sources Free to change Free to redistribute

9. Some Relevant Open Projects & Technologies OSEE Couverture SPARK

10. Some Relevant Open Projects & Technologies OSEE Couverture SPARK

11. Libre Open Source High Assurance Certification Agile Lean The meeting of 3 worlds Open - DO Concepts

12. Libre Open Source High Assurance Certification Agile Lean Visibility Resiliance Sharing Reuse Iterative requirements Continuous Integration Test Driven Development … Qualified tools Life cycle traceability Req based testing Open - DO Concepts

13. Relevant Agile/Lean Concepts Test Driven Development Requirement Based testing Executable Specifications Continuous Integration IP 217 Iterative requirements

14. Open - DO Challenges Opening & sharing more than “source code” - requirements, designs, testcases … Life-Cycle Traceability Agile Workflows for the DO-178

15. Some DO-178B workflows Software Life Cycle Process Integral Processes Top level workflow Transition criteria between activities Workflow support Workflow verification System aspects related to Software Development Section 2 Overview of aircraft and engine certification Section 10 Software Life Cycle - section 3 Software Planning Process – Section 4 Software Development Processes – Section 5 Software Verification - section 3 Software Config Management – section 7 Software Quality Assurance - Section 8 Certification Liaison - section 9 Software Life Cycle Data – Section 11 Additional Considerations – Section 12

16. Some DO-178B workflows (2) Software Life Cycle Process Integral Processes Requirement coverage Code coverage Traceability Component certification workflow System aspects related to Software Development Section 2 Overview of aircraft and engine certification Section 10 Software Life Cycle - section 3 Software Planning Process – Section 4 Software Development Processes – Section 5 Software Verification - section 3 Software Config Management – section 7 Software Quality Assurance - Section 8 Certification Liaison - section 9 Software Life Cycle Data – Section 11 Additional Considerations – Section 12 Requirements Design Coding Reviews Testing Completeness Analysis

17. Some DO-178B workflows (3) Software Life Cycle Process Integral Processes Qualification of Verification Tools Workflow Requirement Coverage Traceability OSEE System aspects related to Software Development Section 2 Overview of aircraft and engine certification Section 10 Software Life Cycle - section 3 Software Planning Process – Section 4 Software Development Processes – Section 5 Software Verification - section 3 Software Config Management – section 7 Software Quality Assurance - Section 8 Certification Liaison - section 9 Software Life Cycle Data – Section 11 Additional Considerations – Section 12 Tool Operational Requirements Reviews Testing Completeness Analysis

18. Open DO Components Open-Do Workflows Document Templates Qualifiable Tools Education Materials Certifiable Components

19. Open-Do Workflows Document Templates Qualifiable Tools Education Materials Certifiable Components Specialized for given certification standards Open DO Components

20. Open-Do Workflows Document Templates Qualifiable Tools Education Materials Certifiable Components OSEE Couverture … Gene-auto Topcased Open DO Components

21. Open-Do Workflows Document Templates Qualifiable Tools Education Materials Certifiable Components Toy certifiable projects Specialized Examples (e.g. for do-178c annexes) Open DO Components

22. Open-Do Workflows Document Templates Qualifiable Tools Education Materials Certifiable Components OS runtimes IP stack middleware … Open DO Components

23. Open-Do Workflows Document Templates Qualifiable Tools Education Materials Certifiable Components PSAC SDP, SVP, SCMP… Standards SAS … Open DO Components

24. Why an open initiative for the DO-178 world?

30. Annex – Information on Mentioned Projects OSEE Couverture SPARK

32. Development Artifacts Tracking Requirements Test cases Test procedures Models Code Tests Tests Actual Output Tests Expected Output OSEE Development Artifacts (import artifacts from external tools) Traceability Model OSEE

33. Slide: Requirements Test cases Test procedures Design Code Tests Test Actual Output Test Expected Output OSEE & Traceability End-to-End Traceability Model

34. Slide: Define Development Teams Assign Members to Teams Joe John Ryan Don Qualification Verification Analysis Joe Don Workflow Instantiation (example: verification of a REQ_1_2b) assign assign OSEE & Workflow Modeling/Tracking

40. Slide: Couverture (II) if Pression (M) >= P_Limit then Alarme (M, « PRE ») elsif Temperature (M) >= T_Limit then Alarme (M, « TEMP ») end if ; 0x12460 0X12464+ ... Source Code Cross Compiler Instrumented, Virtualized Execution Environment Execution Traces Object Coverage Report (instruction, branch) Source Coverage Report (statement, DC, MC/DC)

41. Upcoming Events The Lean, Agile Approach to High-Integrity Software Paris - March 26 th , 2009 Jim Sutton, Lockheed Martin Alexandre Boutin, Yahoo Emmanuel Chenu, Thales David Jackson, Praxis High-Integrity Systems Cyrille Comar, AdaCore Open-Do Masterclass @ Avionics EU Amsterdam - March 11 th -12 th , 2009 Franco Gasperoni, AdaCore Open-Do Masterclass @ Avionics US San Diego – June, 1 st – 2 nd , 2009 Ryan Brooks , Boeing Robert B.K. Dewar, AdaCore [email_address] Next Informal Open-DO Meeting @ EclipseCon 2009 Santa Clara, March 21 st -25 th , 2009 Airbus, Boeing, AdaCore