open-DO » Videos http://www.open-do.org Toward a cooperative and open framework for the development of certifiable software Fri, 03 Feb 2012 16:13:41 +0000 en hourly 1 Ada Connection 2011 – An Overview of DO-178C/ED-12C http://www.open-do.org/2011/10/26/do-178c-overview/ http://www.open-do.org/2011/10/26/do-178c-overview/#comments Wed, 26 Oct 2011 20:18:38 +0000 Jamie Ayre http://www.open-do.org/?p=1860 From the Ada Connection 2011 talks, Dewi Daniels from Verocel gives an overview of DO-178C/ED-12C

]]> http://www.open-do.org/2011/10/26/do-178c-overview/feed/ 0 Ada Connection 2011 – Real Time Longevity http://www.open-do.org/2011/10/25/real-time-longevit/ http://www.open-do.org/2011/10/25/real-time-longevit/#comments Tue, 25 Oct 2011 22:23:47 +0000 Jamie Ayre http://www.open-do.org/?p=1850 From the Ada Connection 2011 talks, Frederic Pinot from Ansaldo STS talks about his experiences developing real-time systems for high-speed rail.

]]> http://www.open-do.org/2011/10/25/real-time-longevit/feed/ 0 Ada Connection 2011 – Ada Based Automatic Code Generation Tools in the DO178B context » http://www.open-do.org/2011/10/25/realtime-longevity/ http://www.open-do.org/2011/10/25/realtime-longevity/#comments Tue, 25 Oct 2011 22:10:26 +0000 Jamie Ayre http://www.open-do.org/?p=1847 From the Ada Connection 2011 talks, Jean-Charles Dalbin from Airbus talks about Ada based Automatic Code Generation Tools in DO178B context.

]]> http://www.open-do.org/2011/10/25/realtime-longevity/feed/ 0 PSP and TSP: Culture and Discipline for High-Assurance Software http://www.open-do.org/2011/03/15/psp-and-tsp/ http://www.open-do.org/2011/03/15/psp-and-tsp/#comments Tue, 15 Mar 2011 15:29:14 +0000 Jamie Ayre http://www.open-do.org/?p=1650 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 »

]]> http://www.open-do.org/2011/03/15/psp-and-tsp/feed/ 0 Hi-Lite: a Verification Toolkit for Unit Test & Unit Proof http://www.open-do.org/2011/02/02/hi-lite_irilldays/ http://www.open-do.org/2011/02/02/hi-lite_irilldays/#comments Wed, 02 Feb 2011 01:30:33 +0000 Jamie Ayre http://www.open-do.org/?p=1606 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…

]]> http://www.open-do.org/2011/02/02/hi-lite_irilldays/feed/ 0 SPARK Ada in High SIL Active Life Support (Alex Deas – Deep Life Ltd.) http://www.open-do.org/2011/01/21/spark-ada-in-high-sil-active-life-support-alex-deas-deep-life-ltd/ http://www.open-do.org/2011/01/21/spark-ada-in-high-sil-active-life-support-alex-deas-deep-life-ltd/#comments Fri, 21 Jan 2011 15:25:44 +0000 Jamie Ayre http://www.open-do.org/?p=1542 ]]> http://www.open-do.org/2011/01/21/spark-ada-in-high-sil-active-life-support-alex-deas-deep-life-ltd/feed/ 1 Autocoding – Do we still need software design? (Rod White – MBDA) http://www.open-do.org/2011/01/21/1540/ http://www.open-do.org/2011/01/21/1540/#comments Fri, 21 Jan 2011 15:06:04 +0000 Jamie Ayre http://www.open-do.org/?p=1540 ]]> http://www.open-do.org/2011/01/21/1540/feed/ 1 Designing and Implementing a Verifiable High Assurance Workstation (Alex Senier – secunet) http://www.open-do.org/2011/01/10/implementing-high-assurance-workstation-alex-senier-%e2%80%93-secunet/ http://www.open-do.org/2011/01/10/implementing-high-assurance-workstation-alex-senier-%e2%80%93-secunet/#comments Mon, 10 Jan 2011 13:09:08 +0000 Jamie Ayre http://www.open-do.org/?p=1520 ]]> http://www.open-do.org/2011/01/10/implementing-high-assurance-workstation-alex-senier-%e2%80%93-secunet/feed/ 0 Must-see Videos on Code Verification http://www.open-do.org/2010/08/24/must-see-videos-on-code-verification/ http://www.open-do.org/2010/08/24/must-see-videos-on-code-verification/#comments Tue, 24 Aug 2010 21:57:50 +0000 Yannick Moy http://www.open-do.org/?p=1446 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!

]]> http://www.open-do.org/2010/08/24/must-see-videos-on-code-verification/feed/ 0 Formal Method for Avionics Software Verification (Hervé Delseny) http://www.open-do.org/2010/04/28/formal-versus-agile-survival-of-the-fittest-herve-delseny/ http://www.open-do.org/2010/04/28/formal-versus-agile-survival-of-the-fittest-herve-delseny/#comments Wed, 28 Apr 2010 17:26:19 +0000 Jamie Ayre http://www.open-do.org/?p=1250 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.
]]> http://www.open-do.org/2010/04/28/formal-versus-agile-survival-of-the-fittest-herve-delseny/feed/ 0