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.
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
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
35.
36.
37.
38.
39.
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