From the Ada Connection 2011 talks, Dewi Daniels from Verocel gives an overview of DO-178C/ED-12C
Categories
Open-DO Projects
Contact
info @ open-do.org
Category Archives: Videos
Ada Connection 2011 – Real Time Longevity
From the Ada Connection 2011 talks, Frederic Pinot from Ansaldo STS talks about his experiences developing real-time systems for high-speed rail.
Also posted in Agile/Lean Programming, Events Leave a comment
Ada Connection 2011 – Ada Based Automatic Code Generation Tools in the DO178B context »
From the Ada Connection 2011 talks, Jean-Charles Dalbin from Airbus talks about Ada based Automatic Code Generation Tools in DO178B context.
Also posted in Agile/Lean Programming Leave a comment
PSP and TSP: Culture and Discipline for High-Assurance Software
From a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Rod Chapman from Altan Praxis talks about the guiding principles behind PSP (Personal Software Process) and TSP (Team Software Process).
View more videos from the SPARK User Group
2010 High Assurance Software Symposium »
Also posted in Agile/Lean Programming, Events Leave a comment
Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof
A presentation by Yannick Moy, Senior Engineer, AdaCore, at a recent talk at IRILL Days 2010. Video courtesy of IRILL (http://www.irill.org)
Also posted in Open-DO News Leave a comment
SPARK Ada in High SIL Active Life Support (Alex Deas – Deep Life Ltd.)
From a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Deas from Deep Life talks about developing software for deep water rebreathers which must meet the rigorous European safety standard SIL3.
Autocoding – Do we still need software design? (Rod White – MBDA)
From a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Rod White from MBDA talks about Autocoding and raises the question: Do we still need software design?
Designing and Implementing a Verifiable High Assurance Workstation (Alex Senier – secunet)
From a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Senier from secunet talks about their experiences building High Assurance workstations.
Also posted in Events, Open-DO News Leave a comment
Must-see Videos on Code Verification
Rustan Leino, a researcher at Microsoft Research, has started creating a set of videos where he both teaches and demoes how to do code verification with the tools developed at Microsoft Research. This shows how to overcome the difficulties than someone may encounter with every code verification tool, except the GUI is amazingly intuitive (verification in the background while typing, very precise error messages).
No only that, but Rustan also sings and dances… really enjoyable!
Formal Method for Avionics Software Verification (Hervé Delseny)
The next talk in our series from the recent Open-DO Conference is from Hervé Delseny, an expert in Avionics Software Aspects of Certification at Airbus. In his talk he gives examples of Airbus’ use of Formal Methods to verify avionics software, and summarises the integration of Formal Methods in the upcoming ED-12/DO-178 issue C.
You can also view the presentation slides if you want to follow along.
Formal Method for Avionics Software Verification
View more presentations from AdaCore.
Also posted in Events, Open-DO News, Papers and Slides Leave a comment