http://www.adacore.com AdaCore technology and news Mon, 06 Feb 2012 18:59:19 +0100 http://wordpress.org/?v=2.9 hourly 1 http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/do-278/comment-page-1/#comment-4895 Open source and certified systems Mon, 15 Jun 2009 13:55:30 +0000 #comment-4895 [...] for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems. The UK Health and Safety Executive, in a study from 2002 found that Linux was robust enough and [...] [...] for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems. The UK Health and Safety Executive, in a study from 2002 found that Linux was robust enough and [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/do-278/comment-page-1/#comment-3567 Open source and certified systems | carlodaffara.conecta.it Thu, 16 Apr 2009 07:58:59 +0000 #comment-3567 [...] for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems (we explored the procedures for achieving certified status for pre-existing open source code in the [...] [...] for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems (we explored the procedures for achieving certified status for pre-existing open source code in the [...]

]]>