Open-DO Update
Mar. 30, 2010•0 likes•3,280 views
Download to read offline
Report
Technology
A review of the latest news and developments with the Open-DO effort.
AdaCoreFollow
Recommended
GNATcoverage/GNATemulator launchAdaCore
From Programming to Modeling And Back AgainMarkus Voelter
Guidance, Please! Towards a Framework for RDF-based Constraint Languages.Kai Eckert
Comparing IDL to C++ with IDL to C++11Remedy IT
Python - code quality and production monitoringDavid Melamed
Code Analysis-run time error predictionNIKHIL NAWATHE
More Related Content
What's hot
Qtp (basics to advanced)G.C Reddy
Lecture 11Abbas Ajmal
Object oriented slidesahad nadeem
Hi-Lite erts2012AdaCore
santhosh popshetwarSanthosh Kumar Popshetwar
No liftoff, touchdown, or heartbeat shall miss because of a software failureRogue Wave Software
Viewers also liked
An approach on pharmaceuticals qualificationDewan Sumsuzzman
Vms 4Maxpromotion
Challenges of Agile QualificationAdaCore
Lean Software Production and Qualification InfrastructuresAdaCore
Eqiupment validationshivamthakore
validation of blister packaging machineNilesh Utpure
Similar to Open-DO Update
DO 178C Upcoming Guidance for OOSAdaCore
Open-DO: Towards a Lean Approach for Certification (Cyrille Comar)AdaCore
Open-Do - Initial concepts and ideaAdaCore
Code Coverage in Theory and in practice form the DO178B perspective Engineering Software Lab
Code coverage in theory and in practice form the do178 b perspectiveEngineering Software Lab
Model-based Testing: Taking BDD/ATDD to the Next LevelBob Binder
More from AdaCore
RCA OCORA: Safe Computing Platform using open standardsAdaCore
Have we a Human Ecosystem?AdaCore
Rust and the coming age of high integrity languagesAdaCore
SPARKNaCl: A verified, fast cryptographic libraryAdaCore
Developing Future High Integrity Processing SolutionsAdaCore
Taming event-driven software via formal verificationAdaCore
Recently uploaded
Google cloud Study Jam 2023.pptxGDSCNiT
Knowledge Graphs and Generative AI_GraphSummit Minneapolis Sept 20.pptxNeo4j
Unleashing Innovation: IoT Project with MicroPythonVubon Roy
Meetup_adessoCamunda_2023-09-13_Part1&2_en.pdfMariaAlcantara50
Product Research Presentation-Maidy Veloso.pptxMaidyVeloso
The Flutter Job Market At The MomentAhmed Abu Eldahab
Open-DO Update
- 1. Open DO update Open DO & Formality Cyrille Comar [email_address] www.open-do.org
- 3. Reminder on Open-DO Concepts
- 5. FLOSS Freely Licensed Open Source Software High-Integrity Certification Agile Lean The meeting of 3 worlds
- 6. FLOSS Freely Licensed Open Source Software High-Integrity Certification Agile Lean Longevity Visibility Resilience Cost-sharing Reuse Iterative requirements Continuous integration Test driven development Executable specifications Reducing waste Qualified tools Life cycle traceability Req based testing The meeting of 3 worlds
- 7. FLOSS Freely Licensed Open Source Software High-Integrity Certification Security Agile Lean Longevity Visibility Resilience Cost-sharing Reuse Iterative requirements Continuous integration Test driven development Executable specifications Reducing waste Qualified tools Life cycle traceability Requirement based testing The meeting of 3 worlds Formal methods verification verification 4 ?
- 8. Open-DO Document Templates Qualifiable Tools Education Materials Certifiable Components Open DO Components Life Cycle Management
- 31. Overlap of existing techniques Hi-Lite: Verifying Program Properties (1) SPARK: decades of experience in proof of: - absence of RT errors - functional properties Programming by contract in Ada CodePeer: - detection of RT errors - implicit contracts Testing Static Analysis Formal methods
Editor's Notes
- 01/03/10
- 01/03/10
- 01/03/10
- 01/03/10
- 01/03/10