Comments for open-DO

Comment on Project P by » ‘Project P’ and ‘Hi-MoCo’ Research Projects Launched

» ‘Project P’ and ‘Hi-MoCo’ Research Projects Launched — Thu, 02 Feb 2012 01:24:43 +0000

[...] Project P is a three-year research project financially supported within the French FUI 2011 funding framework. Headed by Continental Automotive France, it involves the collaboration of 19 partners, including major industrial users from the avionics, automotive and space domains (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space and Thales Avionics), technology providers (AdaCore, Altair, STInformatique, Scilab Enterprise), service companies (ACG Solutions, Aboard Engineering, Atos Origins) and research centers (ENPC, IRIT-INPT/CNRS, INRIA, ONERA, Lab-STICC/Université de Bretagne Sud). Additional information can be found at http://www.open-do.org/projects/p [...]

Comment on Project P by ”Projekt P”- och ”Hi-MoCo”-forskningsprojekt har inletts | Medicin & läkemedelsnyheter

Wed, 01 Feb 2012 10:59:29 +0000

[...] Om Project PProjekt P är ett treårigt forskningsprojekt med ekonomiskt stöd inom den franska FUI 2011 finansierings ram. Leds av Continental Automotive Frankrike, handlar det i samarbete med 19 partners såsom större industriella användare från flyg-, fordons- och rymdindustrin (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space och Thales Avionics), teknikleverantörer (AdaCore, Altair, STInformatique, Scilab Enterprise), tjänsteföretag (ACG Solutions, Aboard Engineering, Atos Origins) och forskningscentra (ENPC, IRIT-INPT/CNRS, INRIA, ONERA, Lab-STICC/Université de Bretagne Sud). Ytterligare information finns på http://www.open-do.org/projects/p. [...]

Comment on Project P by Libre - Home > 'Project P' and 'Hi-MoCo' Research Projects Launched

Libre - Home > 'Project P' and 'Hi-MoCo' Research Projects Launched — Wed, 01 Feb 2012 10:38:08 +0000

[...] About Project P Project P is a three-year research project financially supported within the French FUI 2011 funding framework. Headed by Continental Automotive France, it involves the collaboration of 19 partners, including major industrial users from the avionics, automotive and space domains (Airbus, Astrium, Continental Automotive, Rockwell Collins, Safran, Thales Alenia Space and Thales Avionics), technology providers (AdaCore, Altair, STInformatique, Scilab Enterprise), service companies (ACG Solutions, Aboard Engineering, Atos Origins) and research centers (ENPC, IRIT-INPT/CNRS, INRIA, ONERA, Lab-STICC/Université de Bretagne Sud). Additional information can be found at http://www.open-do.org/projects/p. [...]

Comment on About Open-DO by L'Hirondelle L’initiative Open-DO : vers une norme avionique Open Source pour les logiciels embarqués critiques . Participons !

Tue, 17 Jan 2012 22:15:13 +0000

[...] par un comité international ouvert qui laisse court à une initiative Open-Source nommée Open-DO. Cette initiative a entre autres comme buts l’assurance sur le long terme de la disponibilité [...]

Comment on Safety and security concerns in medical device software by TMS

TMS — Sat, 19 Nov 2011 03:30:21 +0000

Nice post.It’s very good that implement medical device software in different field’s with perfectly.Software must can reduce error of manual system.Thanks for sharing.

Comment on Non-intrusive Code Coverage by Non-intrusive Code Coverage | DO178 Software Testing | Scoop.it

Non-intrusive Code Coverage | DO178 Software Testing | Scoop.it — Thu, 17 Nov 2011 21:06:30 +0000

[...] Non-intrusive Code Coverage In his recent Embedded Computing Design article, Ben Brosgol discusses “Non-intrusive code coverage for safety-critical software” and more specifically how a “tool that derives precise source-level coverage metrics from execution trace data for a… Source: http://www.open-do.org [...]

Comment on White Paper: High-Integrity OO Programming in Ada by White Paper: High-Integrity OO Programming in Ada | DO178 Software Testing | Scoop.it

Sat, 27 Aug 2011 05:49:43 +0000

[...] White Paper: High-Integrity OO Programming in Ada We have posted a new paper to the Open-DO website “High-Integrity Object-Oriented Programming in Ada“. This paper’s goal is to provide guidance on how to use Ada’s Object Oriented (OO) features for High-Integrity applications; i.e. Source: http://www.open-do.org [...]

Comment on Couverture product rewarded with an Electron d’Or! by Couverture product rewarded with an Electron d’Or! | DO178 Software Testing | Scoop.it

Sat, 27 Aug 2011 05:48:54 +0000

[...] Couverture product rewarded with an Electron d’Or! The open source coverage analysis tool GNATcoverage issued from the Couverture Project was awarded with an Electrons d’Or from the Electroniques magazine. GNATcoverage won the prize for the Software Tool category in a prize-giving ceremony in Paris. Source: http://www.open-do.org [...]

Comment on Best Paper Award for Results of Verification Competition by Best Paper Award for Results of Verification Competition | DO178 Software Testing | Scoop.it

Sat, 27 Aug 2011 05:47:21 +0000

[...] Best Paper Award for Results of Verification Competition Last year, the conference VSTTE 2010 organized a competition of software verification systems (language + tools), to improve understanding of each system’s pros and cons. Source: http://www.open-do.org [...]

Comment on Cookbook for Applying Formal Methods in Industry by Cookbook for Applying Formal Methods in Industry | DO178 Software Testing | Scoop.it

Fri, 26 Aug 2011 18:48:36 +0000

[...] Cookbook for Applying Formal Methods in Industry If you read a bit of French, you’ll be happy to know that Hermes Publishing has just issued the first of a three-volume series on Utilisations industrielles des techniques formelles (use of formal methods in industry). Source: http://www.open-do.org [...]