A presentation by Yannick Moy, Senior Engineer, AdaCore, at a recent talk at IRILL Days 2010. Video courtesy of IRILL (http://www.irill.org)
More on Hi-Lite…
Categories
Open-DO Projects
Want to get involved?
Contact
Author Archives: Jamie Ayre
Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof
Posted in Open-DO News, Videos 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.
Posted in Events, Open-DO News, Videos Leave a comment
Couverture end of project event
17:30 CET January 27th, 2011 – AdaCore Paris offices, 46 rue d’Amsterdam, 75009 Paris.
Project Couverture has officially come to an end. It’s objectives were to produce a Free Software coverage analysis toolset together with artifacts that allow the tools to be used by developers of safety-critical and mission-critical projects, including systems that need to be [...]
Posted in Open-DO News Leave a comment
DO-178C: the OOT supplement
Below are a couple of presentations from the recent Certification Together conference. Both concern the OOT supplement of the upcoming DO-178C avionics standard.
DO-178C: the OOT supplementView more presentations from AdaCore.
DO-178C OOT supplement: A user's perspectiveView more presentations from AdaCore.
Posted in Certification Leave a comment
OpenUP and DO-178B development processes
In a paper first published in 2008, Christophe Bertrand and Christopher P. Fuhrman from the Department of Software and IT Engineering, ÉTS, Montreal, Canada, discuss how OpenUP (”a minimally sufficient software development process – meaning that only fundamental content is included”), could be adopted for use in the context of building high-integrity (DO-178B) software.
Abstract:
“Civil avionics [...]