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/comment-page-1/#comment-16066 AdaCore - Home > Thales Selects AdaCore Toolset for Argos Satellite Project Fri, 22 Jul 2011 14:41:04 +0000 #comment-16066 [...] security-critical »), annonce aujourd’hui que THALES Systèmes Aéroportés a sélectionné GNAT Pro High Integrity Edition pour développer le logiciel de la nouvelle génération d’instruments des satellites du projet [...] [...] security-critical »), annonce aujourd’hui que THALES Systèmes Aéroportés a sélectionné GNAT Pro High Integrity Edition pour développer le logiciel de la nouvelle génération d’instruments des satellites du projet [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/comment-page-1/#comment-13895 AdaCore - Home > EADS CASA Selects AdaCore Toolset for nEUROn Unmanned Aircraft Mon, 28 Mar 2011 14:49:46 +0000 #comment-13895 [...] data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator. The GNAT Pro High-Integrity Edition, which encompasses AdaCore’s development environment and accompanying support services, helps [...] [...] data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator. The GNAT Pro High-Integrity Edition, which encompasses AdaCore’s development environment and accompanying support services, helps [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/comment-page-1/#comment-10234 AdaCore - The GNAT Pro Company Fri, 30 Apr 2010 10:57:30 +0000 #comment-10234 [...] of Ada development tools and support services, today announced the first major release of its GNAT Pro High-Integrity Edition for MILS. The High-Integrity Edition for MILS (Multiple Independent Levels of Security) product is a [...] [...] of Ada development tools and support services, today announced the first major release of its GNAT Pro High-Integrity Edition for MILS. The High-Integrity Edition for MILS (Multiple Independent Levels of Security) product is a [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/comment-page-1/#comment-8504 AdaCore - The GNAT Pro Company Wed, 24 Mar 2010 08:06:57 +0000 #comment-8504 [...] avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the [...] [...] avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the [...]

]]> http://www.adacore.com/home/products/gnatpro/development_solutions/safety-critical/comment-page-1/#comment-4643 AdaCore - The GNAT Pro Company Mon, 01 Jun 2009 07:57:46 +0000 #comment-4643 [...] Manager and Radio Control software on the C-130J Super Hercules aircraft. The specific product is GNAT Pro High-Integrity Edition for a PowerPC target running VxWorks 653, the time- and memory-partitioned real-time operating [...] [...] Manager and Radio Control software on the C-130J Super Hercules aircraft. The specific product is GNAT Pro High-Integrity Edition for a PowerPC target running VxWorks 653, the time- and memory-partitioned real-time operating [...]

]]>