Companies

AdaCore

AdaCore Articles

Displaying 21 - 40 of 59
Design
12th June 2013
Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station

AdaCore announced that Astrium, a wholly owned subsidiary of EADS, has selected AdaCore’s GNAT Pro development environment and PolyORB middleware toolset for use in the Core Ground System - CGS forms the basis to operate the Columbus laboratory, the European contribution to the International Space Station. The CGS ensures efficient communication across a network of User Support and Operation Centres distributed throughout Europe.

Design
11th June 2013
How Safe Are Our Roads?

Robert Dewar, President of AdaCore, explains why, in his opinion, the rising level of — and dependence on — software in cars is becoming something we should all be worrying about.

Design
30th May 2013
AdaCore Announces Successful Completion of Project Hi-Lite

AdaCore and its research partners today announced the successful completion of Project Hi-Lite, a three-year, €3.9 million effort aimed at popularising formal methods in the development of high integrity software by combining formal verification and testing.

Design
9th May 2013
Are High Reliability Applications Safe?

We increasingly rely on systems where an error could cause financial disaster, organisational chaos, or in the worst case, death. Could the mandatory use of open source software improve safety and security in High Reliability applications? Robert Dewar, Co-founder and President of AdaCore, explores this question in detail in this insightful article from ES Design magazine.

Analysis
23rd April 2013
TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project

AdaCore and Altran today announced TOYOTA InfoTechnology Center (ITC) Japan’s selection of the SPARK language and SPARK Pro toolset for a high-reliability software research project. The goal of the project is to show that software requirements can be transformed into an implementation that can be proven to be free of run-time errors. This will have the key advantage of providing ultra-low-defect software for higher reliability in a vehicle comp...

Design
23rd April 2013
AdaCore Releases Major New Version of CodePeer Static Analysis Tool

AdaCore today announced the release of CodePeer 2.2, the advanced static analysis tool that helps developers detect potential run-time and logic errors in Ada programs. CodePeer is able to find non-trivial problems by systematically analyzing every possible input and path through the program, and can be employed very early in the development cycle to identify defects when they are the least costly to repair.

Design
23rd April 2013
AdaCore Releases GNAT Pro 7.1

AdaCore today announced the availability of GNAT Pro 7.1, a major new version of the company’s flagship development environment. This release incorporates a number of enhancements, many based on user suggestions, including several Ada language related features, run-time improvements, and new and enhanced tools.

Design
20th March 2013
AdaCore Releases GNAT Pro Safety-Critical For ARM Processors

AdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada development environment, oriented towards systems that are safety-critical or have stringent memory constraints. Developers of such systems can now exploit the software engineering benefits of the Ada language, including reliability, maintainability, and portabil...

Analysis
17th December 2012
GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project

AdaCore today announced that Terma A/S has selected the GNAT Pro Safety-Critical development environment to develop onboard software for the Atmosphere-Space Interactions Monitor that will be mounted on the Columbus module of the International Space Station. Terma will use GNAT Pro Safety-Critical combined with the GNATemulator and GNATcoverage dynamic testing tools to develop and test the application prior to deployment on the actual LEON 3 embe...

Design
29th November 2012
AdaCore and Altran Praxis Release SPARK Pro 11

AdaCore and Altran Praxis today announced the release of the SPARK Pro 11 software development and verification environment, providing a major step forward for the developers of high-assurance systems. SPARK Pro 11 offers many enhancements particularly in the area of program proof.

Design
20th September 2012
Rockwell Collins Develops SecureOne with SPARK Pro and GNAT Pro High-Security

AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOne Guard, a high assurance cross domain guard for military tactical systems. The SecureOne Guard has strict requirements for reliability and security. In order to meet these needs, Rockwell Collins selected SPARK Pro and GNAT Pro High-Security as key development tools for the project.

Design
2nd July 2012
SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform

AdaCore today announced that SmartSide has adopted the Ada programming language and AdaCore’s GNAT Pro development environment for the implementation of their Smart Devices platform. SmartSide offers multi-energy meter data management systems. Distribution Network Operators use SmartSide technology to optimize their Smart Grid networks through the secure, reliable, highly-interoperable and business-oriented Smart Energy Core platform.

Design
28th February 2012
AdaCore Releases GNAT Pro 7.0

AdaCore today announced the availability of GNAT Pro 7.0, a major new version of the company’s flagship development environment product. This latest annual release completely implements the upcoming Ada 2012 language revision, offers a range of improvements (many based on user suggestions), supports several new platforms, includes an important new testing tool (GNATtest), and enhances several existing tools. As with all AdaCore products, GNAT P...

Analysis
1st February 2012
“Project P” and “Hi-MoCo” Research Projects Launched

AdaCore today announced its participation in “Project “P” and “Hi-MoCo” (High-Integrity Model Compiler), two open-source research efforts supported and partly funded by the French and Estonian national governments and the European EUREKA agency. The combined projects, which started in October 2011, aim to provide an open-source, tunable and qualifiable code generation framework for domain-specific modeling languages.

Analysis
11th January 2012
AdaCore and SofCheck Merge

AdaCore today announced a merger with SofCheck, Inc., a Lexington, Massachusetts-based automated software quality (ASQ) company. SofCheck’s staff has joined the AdaCore technical team, and SofCheck Founder Tucker Taft has been named as AdaCore’s Director of Language Research. AdaCore has acquired SofCheck’s products, including static error detection tools, the AdaMagic compiler front end technology, and also ParaSail, a new Parallel Specifi...

Design
4th November 2011
AdaCore Releases Major New Version of GNAT Programming Studio

AdaCore has announced the upcoming release of GNAT Programming Studio (GPS) 5.1. This new major version of AdaCore’s graphical Integrated Development Environment (IDE), to be available in October, offers extended feature support for C and C++, improved integration with CodePeer (automated code reviewer and validator), more powerful source editing, and enhanced GUI performance. GPS is provided with GNAT Pro on most platforms, for both native and...

Design
14th July 2011
AdaCore and Altran Praxis Release SPARK Pro 10

AdaCore and Altran Praxis today announced the release of the SPARK Pro 10 software development and verification environment, providing a major step forward for the developers of high-assurance systems. SPARK Pro now offers increased flexibility to developers of systems with mixed integrity levels or with the need to integrate SPARK with other languages or legacy code.

Analysis
14th July 2011
Siemens Switzerland Selects AdaCore Toolset for Railway Project

AdaCore, a leading supplier of Ada development tools and support services, today announced that the Mobility Division of Siemens Switzerland Ltd., has selected GNAT Pro, along with the CodePeer static analysis tool, to develop the next generation of its railway control and information system. The contract with AdaCore provides Siemens software developers with state-of-the-art Ada tools and direct access to the world’s largest team of Ada expert...

Analysis
14th July 2011
AdaCore’s GNATcoverage Product Awarded Electron d’Or Prize

AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that the GNATcoverage tool has received an Electron d’Or prize in the Software Tools category. The prestigious award program, sponsored by France’s leading electronics trade publication, Electroniques magazine, identifies the most innovative products of the year in several different categories, hi...

Automotice Microsite
14th April 2011
AdaCore publie une nouvelle version majeure de l’outil CodePeer

AdaCore, fournisseur leader d’outils de développement sur Ada et de services de support, publie aujourd’hui la version 2.0 de CodePeer un outil d’analyse de code source capable de détecter statiquement des erreurs de logique et des erreurs d’exécution dans un programmes Ada.

First Previous Page 2 of 3 Next Last

Featured products

Product Spotlight

Upcoming Events

No events found.
Newsletter
Latest global electronics news
© Copyright 2024 Electronic Specifier