Open-DO: Towards a Lean Approach for Certification (Cyrille Comar)
•Descargar como PPT, PDF•
2 recomendaciones•498 vistas
In this series of talks, our panel of experts present real world examples that illustrate how Lean Production concepts are being successfully applied to software development. In particular to applications that have to meet the highest levels of safety and security.
![Toward a lean approach to certification Cyrille Comar [email_address] www.open-do.org](https://image.slidesharecdn.com/leaneventcyrillecomar-090418111902-phpapp01/85/Open-DO-Towards-a-Lean-Approach-for-Certification-Cyrille-Comar-1-320.jpg)
![Summary ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Recomendados
Recomendados
Más contenido relacionado
La actualidad más candente
La actualidad más candente (8)
Similar a Open-DO: Towards a Lean Approach for Certification (Cyrille Comar)
Similar a Open-DO: Towards a Lean Approach for Certification (Cyrille Comar) (20)
Más de AdaCore
Más de AdaCore (20)
Último
Último (20)
Open-DO: Towards a Lean Approach for Certification (Cyrille Comar)
- 1. Toward a lean approach to certification Cyrille Comar [email_address] www.open-do.org
- 5. The meeting of 3 worlds Introduction to Open–DO (3) Libre Open Source High Assurance Certification Agile Lean
- 9. Open Source Free to use… for ever Free to look at sources Free to change Free to redistribute FLOSS License
- 13. Open Source Communities (4) Sharing instead of Off-shoring COTS or not COTS?
- 17. Some DO-178B workflows (1) 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
- 18. 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
- 19. Some DO-178B workflows (3) Software Life Cycle Process Integral Processes Qualification of Verification Tools Workflow Requirement Coverage Traceability 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
- 22. Some Relevant Open Projects & Technologies OSEE Couverture SPARK
- 23. Some Relevant Open Projects & Technologies OSEE Couverture SPARK
- 24. Open DO Components Open-Do Life Cycle Management Document Templates Qualifiable Tools Education Materials Certifiable Components
- 30. Why Open-DO ?