http://www.adacore.com AdaCore technology and news Mon, 06 Feb 2012 18:59:19 -0500 http://wordpress.org/?v=2.9 hourly 1 http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/do-178b/comment-page-1/#comment-7813 AdaCore - The GNAT Pro Company Tue, 26 Jan 2010 07:55:20 +0000 #comment-7813 [...] AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). [...] [...] AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/do-178b/comment-page-1/#comment-4894 Open source and certified systems Mon, 15 Jun 2009 13:52:12 +0000 #comment-4894 [...] (where the product is used for the stability computations for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems. The UK [...] [...] (where the product is used for the stability computations for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems. The UK [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/do-178b/comment-page-1/#comment-4641 AdaCore - The GNAT Pro Company Mon, 01 Jun 2009 07:47:23 +0000 #comment-4641 [...] will use the GNAT Pro High-Integrity Edition for DO-178B and the Ada 2005 language to build the Air Data Inertial Reference Unit (ADIRU) for the A350 XWB [...] [...] will use the GNAT Pro High-Integrity Edition for DO-178B and the Ada 2005 language to build the Air Data Inertial Reference Unit (ADIRU) for the A350 XWB [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/do-178b/comment-page-1/#comment-3568 Open source and certified systems | carlodaffara.conecta.it Thu, 16 Apr 2009 07:59:19 +0000 #comment-3568 [...] (where the product is used for the stability computations for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems (we explored [...] [...] (where the product is used for the stability computations for EDF nuclear plants designs), avionics and ground-based high-integrity systems, like air traffic control and railrway systems (we explored [...]

]]>