AdaCore - The GNAT Pro Company » Press Releases

‘Project P’ and ‘Hi-MoCo’ Research Projects Launched

AdaCore — Wed, 01 Feb 2012 10:35:24 +0000

Open-source research projects combine model-based integration and qualified code generation for safety-critical systems

TOULOUSE, France, PARIS and NEW YORK, February 1, 2012 – ERTS Congress - 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. The key idea is to allow control engineers (using Simulink, Stateflow and Scicos/XCos), system engineers (using SysML/MARTE and AADL), and software engineers (using UML) to easily collaborate for system-level model integration, verification, and final optimized code generation targeting the Ada 2012, C/C++ and VHDL languages.

AdaCore, the technical coordinator of the projects, is working closely with the IB Krates team led by Tõnu Näks and members from IRIT (Institut de Recherche en Informatique de Toulouse) led by Marc Pantel, the principal architects of the ITEA GeneAuto project and technology on which Project P and Hi-MoCo are based. AdaCore, IB Krates, and IRIT will be the principal contributors to the code generation technology at the heart of the toolset being developed. Together with Frédéric Pothon of ACG Solutions and chair of the Tool Qualification subgroup of the DO-178C committee, the three companies will play a major role in the cross-domain qualification effort spanning the avionics, space, and automotive domains. AdaCore’s expertise in developing and supporting the certification/qualification of tunable, open-source commercial-of-the-shelf (COTS) components and tools that meet safety and reliability certification standards such as DO-178 (avionics) and ECSS-E-ST-40 (space) will be especially relevant.

“The ultimate goal of these projects is to end the segregation between the control, system and software engineers,” said Franco Gasperoni, Managing Director of AdaCore. “A major bottleneck in the model-driven development of software for avionics, space, and automotive systems is the integration of heterogeneous models and the lack of comprehensive verification and code generation technologies. Project P and Hi-MoCo aim to solve this problem by developing an open-source, tunable and qualifiable code generation framework for heterogeneous models, while making cross-domain qualification material available.”

“The current state-of-the-art is to perform integration on generated sources,” concluded Matteo Bordin, project manager of the Project P and Hi-MoCo efforts at AdaCore. “We are proposing to do this at the model level to verify integration issues well before models are mature enough for code generation.”

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.

About Hi-MoCo
Hi-MoCo is a two-year research project financially supported within the Eurostar 2011 funding framework. It supports the collaboration of IB Krates (Estonia), IRIT, and AdaCore.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts

press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

AdaCore Launches GNATtest

AdaCore — Wed, 01 Feb 2012 10:30:50 +0000

Unit test harness generator reduces test development effort for large software projects

TOULOUSE, France, PARIS and NEW YORK, February 1, 2012 – ERTS Congress - AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced the immediate availability of the GNATtest unit test harness generator for Ada. The GNATtest tool helps automate the essential, but tedious and error-prone, processes for developing and managing the large number of test cases that accompany the verification of large software systems.

The task of writing and managing unit tests and their invocation framework is critical to the development of high-reliability software, but it is repetitive and cumbersome for large projects, and error-prone when done manually. Changes to the application software during development and maintenance, such as adding a subprogram to a package (module) or changing a subprogram’s specification (interface), require corresponding modifications to the test suite and its invocation harness. GNATtest addresses this issue by automatically creating and maintaining the harnessing code, as well as the unit test skeletons for each subprogram to be tested, taking into account all Ada semantics (subprogram overloading, visibility, etc.). The developer can thus focus on the high-value task of writing the actual test cases.

“At AdaCore, we emphasize the principle that developing critical software can be done more efficiently by combining rigor with the use of agile methods,” said Cyrille Comar, Managing Director of AdaCore. “This requires continuous testing, and a tool like GNATtest is essential for keeping quickly evolving software in sync with its unit tests.”

GNATtest is a valuable tool for developing all kinds of software, whether host-based or embedded, across the entire spectrum of application domains, and fits in smoothly with modern development approaches such as agile methods. It is especially valuable in systems requiring high levels of reliability, safety, and/or security, as it simplifies the effort required to implement test procedures and produce test cases that meet the objectives of certification standards such as DO-178B and DO-178C. These standards emphasize requirements-based testing as a critical part of the software verification process. Since individual subprograms often directly implement low-level requirements, the test harness and skeletons generated by GNATtest can become an immediate part of the application’s certification evidence. When combined with a coverage technology such as GNATcoverage, GNATtest offers a unique solution for verifying embedded Ada software.

For developers who are using the more advanced features of the Ada language, GNATtest handles object-oriented programs and can help verify type substitutability (known as the Liskov Substitution Principle) as required by DO-178C’s supplement on Object-Oriented Technology and Related Techniques (DO-332). GNATtest also takes advantage of Ada 2012 programming-by-contract capabilities, such as preconditions, postconditions and invariants.

GNATtest is included in GNAT Pro and supports all versions of Ada and all target configurations. It is based on, and replaces, the earlier AUnit technology.

Webinar
A webinar presenting unit-testing strategies using GNATtest and GNATcoverage will be held on Tuesday, March 20. For more information and/or to register, please visit: http://www.adacore.com/home/products/gnatpro/webinars/

Press Contacts

press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

AdaCore and SofCheck Merge

AdaCore — Tue, 10 Jan 2012 07:41:25 +0000

Ada expert Tucker Taft joining AdaCore as Director of Language Research

NEW YORK, PARIS, and LEXINGTON, Mass., January 10, 2012 – AdaCore, a leading supplier of Ada development tools and support services, 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 Specification and Implementation Language intended for high-reliability applications on multicore target platforms.

AdaCore and SofCheck personnel share a long and direct involvement in the design of the Ada programming language, and the two companies have specialized in software development tools that nicely complement each other. AdaCore’s major product is GNAT Pro, a development environment especially suited for long-lived systems with requirements for reliability, safety, and/or security. SofCheck’s advanced static analysis technology fits in smoothly with GNAT Pro, and prior to the merger the two companies jointly developed AdaCore’s CodePeer product, an efficient and accurate code reviewer that incorporates the SofCheck static analysis engine.

“AdaCore and SofCheck have worked towards common goals for a very long time,” said Tucker Taft, SofCheck’s Chairman and Founder. “This merger is a natural next-step for both our companies: the whole SofCheck team is very excited to be joining up with AdaCore where together we can continue adding capabilities to the industry-leading CodePeer static analysis technology, while creating new offerings for customers building and certifying high-integrity software as they move into the multicore era.”

“Our complementary skills, shared history, and dedication to the software engineering principles supported by the Ada programming language have made this merger a positive, seamless experience for both companies,” said Robert Dewar, AdaCore President and CEO. “We particularly welcome Tucker’s addition to AdaCore’s existing team of experts, which will help us move forward with our joint goal of improving software engineering capabilities for developers of safe, secure, and highly-reliable software applications.”

About SofCheck
Founded by a team of internationally recognized leaders in the development of programming languages and compiler technology, SofCheck has focused principally on the automated software quality (ASQ) domain for its products and services. The company’s tools have enabled software development organizations to build critical systems efficiently, through automated, advanced static error detection without unit testing or style checking. SofCheck has also developed a reusable Ada compiler front end technology that can be easily integrated into software tools. SofCheck Founder Tucker Taft was the lead designer of Ada 95 and a major contributor to the Ada 2005 and Ada 2012 language revisions. Recently, he has been working on the design of the ParaSail language.

Press Contacts

press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

Eurocopter Selects GNAT Pro for Military Helicopter ARINC 653 Project

AdaCore — Tue, 29 Nov 2011 15:30:57 +0000

NEW YORK, PARIS and TOULOUSE, France, November 29, 2011 – Certification Together Conference – AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Eurocopter has chosen the GNAT Pro High-Integrity Edition for development of an ARINC-653 demonstrator for military helicopters. The demonstrator will provide military interfaces and operational functions within a time- and memory-partitioned ARINC-653 architecture.

The GNAT Pro High-Integrity Edition for DO-178B will be used to port military avionics operational functions and Ada software drivers onto an ARINC-653 platform. The objectives of the project are twofold: to demonstrate Integrated Modular Avionics (IMA) capabilities at the test rig level in the military domain, and to provide an ARINC-653 platform to capture technical and process requirements for following IMA military projects.

The GNAT Pro High-Integrity Edition for DO-178B is an enhanced version of the GNAT Pro Ada development environment, designed for building safe and secure software. In addition to some of its toolchain features, specifically developed for the highest levels of safety, it includes qualifiable tools (coding standard checker, static stack size analyzer) that help reduce the cost of developing and certifying systems that have to meet safety standards such as DO-178B. Key to achieving this goal is the product’s fully configurable and customizable run-time library. Units can be selected in an a la carte fashion, thus limiting the run-time library to just those units that are required for the Ada features used in the application, while also making it possible to adapt their implementation, if desired.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information. Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

About Eurocopter
Established in 1992, the Franco-German-Spanish Eurocopter Group is a division of EADS, a world leader in aerospace, defense and related services. The Eurocopter Group employs approximately 17,500 people. In 2010, Eurocopter confirmed its position as the world’s number one helicopter manufacturer in the civil and parapublic market with a turnover of 4.8 billion Euros, orders for 346 new helicopters and a 49 percent market share in the civil and parapublic sectors. Overall, the Group’s helicopters account for 33 percent of the total worldwide civil and parapublic fleet. Eurocopter’s strong worldwide presence is ensured by its 30 subsidiaries and participations on five continents, along with a dense network of distributors, certified agents and maintenance centers. There are currently 11,200 Eurocopter helicopters in service and some 2,900 customers in 147 countries. Eurocopter offers the largest civil and military helicopter range in the world.

Press Contacts

Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

Qualification Material Available for GNATcheck and GNATcoverage

AdaCore — Tue, 29 Nov 2011 15:20:40 +0000

AdaCore releases components allowing more agile software certification

NEW YORK, PARIS and TOULOUSE, France, November 29, 2011 – Certification Together Conference – AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced the availability of qualification material for two tools: GNATcheck, an Ada coding standard and rule checker; and GNATcoverage, a non-intrusive structural code coverage analyzer. These qualification documents extend existing AdaCore certification material that includes the Traceability Analysis Package, a source-to-object code traceability study for the GNAT Pro High-Integrity Edition. These new products will help the development of certified applications compliant with the DO-178B avionics software safety standard, up to level A, and will apply equally to DO-178C, the upcoming revision to DO-178B.

The qualification packages allow developers to take credit for the use of the GNATcheck and GNATcoverage tools in the certification of applications in accordance with the DO-178B standard, at level A and below (Table A5 objective 4, and Table A7 objectives 5, 6, and 7, respectively).

The Traceability Analysis Package answers the need for the additional verification work required by DO-178B, level A, as part of the structural code coverage activity. It enables the use of the GNAT Pro compiler to meet Table A7 objective 7, in accordance with the guidelines described in the Certification Authority Software Team’s Position Paper CAST-12. The traceability analysis material establishes traceability between source code and object code and provides additional verification for untraceable code, as described in section 6.4.4.2.b of the DO-178B standard. The analysis is performed on a set of code patterns that is representative of the customer’s application.

With this release, AdaCore has taken the first steps in developing a certification artifacts management system. Named the “Qualifying Machine,” it is an agile framework that supports the development, maintenance and modification of software tools and their associated qualification material. It facilitates providing multiple versions of a tool, each supported by its accurate and up-to-date qualification material. Modifying the tool to integrate new features, or fixing reported issues, is now possible, and requalification can be done incrementally and in a cost-effective manner. The ultimate goal is to fully support an agile, incremental, and continuous certification process that automates the most time-consuming certification activities, such as the management and verification of traceability data. This strategy was described in a recent EE Times article ‘The “Big Thaw” – An Agile Process for Software Certification.’

“Offering off-the-shelf qualifiable tools that evolve and improve along with the rest of the technology is the challenge we are in the process of solving. This will bring the latest and most innovative features to those who need them, without compromising the absolute requirement for safety,” said Cyrille Comar, President, AdaCore Europe.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems, and medical devices, and in security-sensitive domains such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts

Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

AdaCore Takes On Agile Certification: the OPENCOSS and pSafecer Projects

AdaCore — Tue, 29 Nov 2011 15:15:00 +0000

AdaCore brings its high-integrity expertise to key collaborative projects

NEW YORK, PARIS and TOULOUSE, France, November 29, 2011 – Certification Together Conference– AdaCore is pleased to announce its participation in two European-funded research projects, OPENCOSS and pSafecer. Both projects aim at supporting component-based development in safety-critical systems, in particular by using compositional production of safety evidence. They also aim at maximizing the reuse of such components. This strategy was described in a recent EE Times article ‘The “Big Thaw” – An Agile Process for Software Certification.’

AdaCore’s contributions to both projects will be the development of a certification artifacts management system that will provide support for certification activities. Named the “Qualifying Machine,” its ultimate goal is full support of an agile, incremental, and continuous certification process that automates the most time-consuming certification activities, such as the management and verification of traceability data.

“Our participation in these two important European-funded projects will allow us to validate the ideas that have been maturing in the Open-DO initiative with our many partners from different industries. It is very exciting, as well as very challenging, to benefit from such a rich environment to develop an Open Source, multi-industry, certification-oriented framework,” said Cyrille Comar, President, AdaCore Europe.

About OPENCOSS
OPENCOSS aims at constructing an Open Source certification framework, which spans the railway, avionics, and automotive industries. The project focuses on promoting compositional certification through the reuse of safety arguments and evidence. OPENCOSS started in October 2011 and will last for 3.5 years. OPENCOSS includes 17 partners and is funded within the EU’s Seventh Framework Programme for Research and Technological Development. More information on the OPENCOSS project can be found at http://www.opencoss-project.eu/.

About pSafecer
pSafecer aims to support Component-Based Development through a cross-domain component model populated with safety and certification contracts. The pSafecer interoperable and open tool framework will rely on this specification to automate several certification-oriented activities. pSafecer started in April 2011 and will last for 2 years. More than 30 partners are involved in the project, funded by the EU’s ARTEMIS Embedded Computing Systems Initiative. More information on the pSafecer project can be found at http://www.safecer.eu/.

To find out more about AdaCore research efforts and about the company’s contributions to collaborative research projects please visit http://www.open-do.org/projects.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts

Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner

AdaCore Releases Major New Version of GNAT Programming Studio

AdaCore — Tue, 27 Sep 2011 13:55:33 +0000

English Version
Version française
Svensk Version
Deutsche Version

GPS 5.1 Integrated Development Environment brings new C/C++ features, improved support for CodePeer, and more powerful source editing

BOSTON, Mass., NEW YORK and PARIS, September 27, 2011 – Embedded Systems Conference – AdaCore, a leading supplier of Ada language tools and support services, today 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 embedded software development.

“This new version of GPS strengthens support for tools and processes that are important for full life cycle application development,” said Arnaud Charlet, GPS Project Manager at AdaCore. “Large applications are almost always developed using multiple languages, so we have extended GPS’s facilities in this area. Large or long-lived applications need analysis tools and configuration management system integration, so we have also improved GPS’s support here. This new version is simply more powerful in areas that our customers have asked for.”

Enhancements in GPS 5.1 include:

Improved support for C and C++:
- Smart completion for C and C++ using -fdump-xref info
- Ada-to-C source navigation
Improved CodePeer support :
- Availability of score card feature
- Improved filtering
- Locations view now synched with CodePeer report
- Ability to specify alternate database/output directories
- Availability of race condition report
New facility for handling VCS menus:
- All VCS menus are now handled in a centralized place allowing customization of the layout of all VCS menus
Availability of additional automatic code fixes
Enhanced documentation generation:
- Ability to export browser contents to PDF
Improved GUI integration and performance:
- Enhancement of multiple document interface (MDI), search support, and code browsers.

GPS 5.1 is compatible with GNAT Pro versions 3.16a1 up to 6.4. As with all GNAT Pro components, GPS is distributed with full source code and is backed by AdaCore’s rapid and expert online support.

About GNAT Programming Studio (GPS)
GPS is a powerful Integrated Development Environment (IDE) written in Ada using the GtkAda toolkit. GPS’s extensive source-code navigation and analysis tools can generate a broad range of useful information, including call graphs, source dependencies, project organization, and complexity metrics. It also supports configuration management through an interface to third-party Version Control Systems, and is available on a variety of platforms. GPS is highly extensible; a simple scripting approach enables additional tool integration. It is also customizable, allowing programmers to specialize various aspects of the program’s appearance in the editor for a user-specified look and feel.

Pricing and Availability
GPS 5.1 is included with the GNAT Pro Ada Development Environment as well as the SPARK Pro and CodePeer Pro toolsets, and customers can download it via the GNAT Tracker tool.

Webinar
A webinar focusing on the new features of the GPS 5.1 release will be presented later this year. For schedule and other information, or to register, please visit GNAT Pro Webinars

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a modern programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore’s flagship product is the GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive worldwide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro continue to see growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

AdaCore dévoile une nouvelle version majeure de GNAT Programming Studio.

L’environnement de développement GPS 5.1 apporte de nouvelles fonctions pour C/C++, améliore la prise en charge de CodePeer et l’édition du code source.

BOSTON, Mass., NEW YORK et PARIS– 27 septembre 2011 — Embedded SystemsConference — – AdaCore, fournisseur d’outils et d’expertise pour le développement de logiciels critiques (« mission-critical, safety-critical, security-critical »), annonce la nouvelle version de GNAT Programming Studio (GPS) 5.1. Cette version majeure de l’environnement de développement (IDE) d’AdaCore, disponible dès octobre 2011, offre une prise en charge poussée de la navigation et de l’édition C/C++, ainsi que l’amélioration de l’intégration avec CodePeer (assistant à la révision et à la validation de code), de l’éditeur de code source et des performances de l’interface utilisateur. GPS est accompagné de GNAT Pro sur la plupart des plates-formes, pour le développement logiciel natif ou embarqué.

“Cette nouvelle version de GPS améliore la prise en charge d’outils utilisés durant tout le cycle de développement logiciel”, a déclaré Arnaud Charlet, Responsable du projet GPS chez AdaCore. “Nos clients développent des applications de taille toujours plus conséquente, avec des durées de vie s’étalant souvent sur plusieurs décennies. Ces applications intègrent souvent des composants écrits dans différents langages, que nous supportons de manière beaucoup plus efficace avec la dernière version de GPS. L’intégration des outils d’analyse de code et de gestion de configuration, fondamentaux pour la réalisation de logiciels critiques, est également l’un des principaux axes de développement de l’environnement.”.

Les améliorations apportées à GPS 5.1 :

Prise en charge C/C++ :
- complétion automatique pour C et C++
- navigation des liens entre Ada et C
Prise en charge de CodePeer :
- disponibilité de la fonction “score card”
- amélioration du filtrage
- « Location View » désormais synchronisée avec le rapport CodePeer
- capacité à spécifier des répertoires alternatifs pour la base de données et la sortie texte
- disponibilité d’un rapport sur les accès concurrents non protégés
Nouveau moyen de gérer les menus Version Control System (VCS) :
- tous les menus VCS sont désormais gérés de manière centralisée, permettant la personnalisation de leur organisation
Ajout de nouvelles corrections de code automatique
Génération de documentation :
- Capacité à exporter un graphe de références ou d’appels en PDF
Interface utilisateur et de ses performances
- Amélioration de l’interface documents multiples (MDI), du menu de recherche, et des navigateurs de code.

GPS 5.1 est compatible avec les versions 3.16a1 à 6.4 de GNAT Pro. Comme pour tous les outils GNAT Pro, GPS est distribué avec le code source complet et est inclus dans le support en-ligne d’AdaCore.

À propos de GNAT Programming Studio (GPS)
GPS est un environnement de développement intégré (IDE) écrit en Ada grâce à la bibliothèque graphique GtkAda. Les outils de navigation de code source et d’analyse peuvent générer un large spectre d’informations utiles comme des graphes d’appels, des dépendances de paquetages, de projets ainsi que des métriques complexes. Il prend également en charge la gestion de la configuration de version grâce à une interface tierce « Version Control Systems » et est disponible sur une variété de plates-formes. GPS est hautement évolutif ; une approche de script permet d’intégrer simplement des outils supplémentaires. Il peut aussi être personnalisé par les développeurs pour en adapter l’apparence et les fonctionnalités en adéquation avec leur besoins spécifiques.

Prix et Disponibilité
GPS 5.1 est intégré dans l’environnement de développement GNAT Pro Ada ainsi que dans les outils SPARK Pro et CodePeer. Il peut être téléchargé via l’outil GNAT Tracker.

Webinaire
Organisation d’un webinaire sur les nouvelles fonctions du GPS 5.1 d’ici à la fin de l’année. Vous pouvez vous enregistrer sur www.adacore.com/home/gnatpro/webinars/

À propos d’AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d’AdaCore est l’environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plates-formes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.

L’utilisation d’Ada et de GNAT Pro connaît une croissance continue dans les applications de haute intégrité ou certifiées pour la sûreté, comme les éléments d’avionique pour les appareils commerciaux, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux, et dans des domaines sensibles pour la sécurité comme les services financiers.

Le siège social d’AdaCore est situé à Paris pour la zone Europe, et à New York pour la zone Amérique du Nord. www.adacore.com

Press Contacts
press@adacore.com

AdaCore lanserar en omfattande ny version av GNAT Programming Studio

GPS 5.1 Integrated Development Environment ger nya C/C++-funktioner, förbättrat stöd för CodePeer och mer kraftfull källredigering

BOSTON, Massachusetts, New York och Paris den 29 september, 2011 – Embedded Systems Conference – AdaCore, en ledande leverantör av Ada språkverktyg och supporttjänster, tillkännagav idag den kommande lanseringen av GNAT Programming Studio (GPS) 5.1. Denna nya större version av AdaCores grafiska Integrated Development Environment (IDE) kommer att finnas tillgänglig från och med oktober och ger utökad funktion för C och C++, förbättrad integration med CodePeer (automatiserad kodgranskare och validator), mer kraftfull källredigering och förbättrad GUI-prestanda. GPS är försedd med GNAT Pro på de flesta plattformar.

– Den här nya versionen av GPS stärker stödet för verktyg och processer som är viktiga för hela livscykelns applikationsutveckling. Stora användningsområden är nästan alltid utvecklade med hjälp av flera språk, så vi har utökat GPS inom detta område. Stora eller långlivade program behöver analysverktyg, konfigurationshantering och systemintegration, så vi har också förbättrad GPS-stöd här. Den nya versionen är helt enkelt mer kraftfull i områden som våra kunder har frågat efter, säger Arnaud Charlet, GPS-projektledare på AdaCore.

Förbättringar i GPS 5.1 inkluderar:

Förbättrat stöd för C och C++:
- Smart completion för C och C++-använande av fdump-xref info
- Ada-to-C source navigation
Förbättrad CodePeer support:
- Tillgänglighet av score card-funktion
- Förbättrad filtrering
- Locations view är nu synkad med CodePeer report
- Möjlighet till att ange alternativ databas/output directories
- Tillgänglighet för race condition report
Nytt system för handläggning av VCS-menyer:
- Alla VCS-menyer är nu hanterade genom central placering för tillåtelse av valfri layout av alla VCS-menyer
Tillgång till utökande automatiserande code fixes
Utökat documentations-genererande:
- Möjlighet till att exportera browser-innehåll till PDF
Förbättrad GUI-integration och prestanda:
- Förbättringar av multipla document-gränssnitt (MDI), sök-stöd och code browsers.

GPS 5.1 är kompatibel med GNAT Pro versioner 3.16a1 upp till 6.4. Som med alla GNAT Pro-komponenter, distribueras GPS med full källkod och stöd av AdaCores snabba och expertsupport online.

Om GNAT Programming Studio (GPS)
GPS är en kraftfull integrerad utvecklingsmiljö (IDE) skriven i Ada med GtkAda-verktygslådan. GPS:s omfattande navigering av källkod och analysverktyg kan generera ett brett utbud av nyttig information, bland annat grafer, källberoenden, projektorganisation och mått-komplexitet. Det stöder också konfigurationshantering via ett gränssnitt till tredjeparts Systems Version Control och finns på en mängd olika plattformar. GPS är mycket utbyggbara, ett enkelt skriptspråk ger möjligheter till ytterligare integration. Det är också anpassningsbart, vilket gör att programmerare kan specialisera olika aspekter av programmets utseende i editorn för ett användardefinierat utseende och känsla.

Pris och tillgänglighet
GPS 5.1 medföljer GNAT Pro Ada utvecklingsmiljö samt SPARK Pro och CodePeer Pro-verktygslådor och kunderna kan ladda ner den via GNAT Tracker-verktyget.

Webinar
Ett webinar med fokus på de nya funktionerna för GPS 5.1 kommer att presenteras senare i år. För schema och annan information, eller för att registrera, besök www.adacore.com/home/gnatpro/webinars/

Om AdaCore
AdaCore grundades 1994 och är den ledande leverantören av kommersiella mjukvarulösningar för Ada, ett toppmodernt programmeringsspråk utformat för stora, långlivade tillämpningar där säkerhet, skydd och pålitlighet är kritiska faktorer. AdaCores flaggskeppsprodukt är utvecklingsmiljön GNAT Pro, som säljs med expert-support online och finns tillgänglig på fler plattformar än någon annan Ada-teknologi. AdaCore har en omfattande global användarbas; se http://www.adacore.com/home/company/customers/ för mer information.

Ada och GNAT Pro ser nu en stor ökning inom tillämpningar med hög integritet och säkerhetscertifiering, till exempel kommersiell flygteknik, militärsystem, flygtrafikledning/-kontroll, järnvägssystem, medicinsk utrustning, samt inom säkerhetskänsliga områden såsom finanstjänster. Verktygsuppsättningen SPARK Pro, som tillhandahålls av AdaCore, är särskilt användbar i sådana sammanhang.

AdaCore har ett nordamerikanskt huvudkontor i New York och ett europeiskt huvudkontor i Paris. www.adacore.com

Presskontakt
press@adacore.com

AdaCore stellt eine neue Version des GNAT Programming Studio vor

Die integrierte Entwicklungsumgebung GPS 5.1 bringt neue C/C++ Features, verbesserte Unterstützung für CodePeer und leistungsstärkeres Editieren von Quellcode

Paris, 5. Oktober 2011, Embedded Systems Conference – AdaCore, ein führender Anbieter von Ada-Entwicklungswerkzeugen und Supportdiensten, hat die neue Version 5.1 der grafischen integrierten Entwicklungsumgebung GNAT Programming Studio (GPS) angekündigt. Sie wird im Laufe des Oktobers verfügbar sein. GPS 5.1 bietet erweiterte Features zur Unterstützung von C und C++, eine bessere Integration von CodePeer (automatischer Code Reviewer und Validator), leistungsstärkeres Editieren von Quellcode sowie eine bessere Performance der grafischen Oberfläche. GPS wird mit GNAT Pro für die meisten Plattformen angeboten, sowohl für die native als auch die Embedded-Softwareentwicklung.

“Diese neue Version von GPS verbessert die Unterstützung für Tools und Prozesse in der gesamten Applikationsentwicklung”, betont Arnaud Charlet, GPS Project Manager bei AdaCore. “Umfangreiche Anwendungen werden fast immer mit mehreren Sprachen entwickelt, also haben wir die Möglichkeiten von GPS in diesem Bereich erweitert. Große oder langlebige Anwendungen brauchen Analysewerkzeuge und die Integration von Konfigurationsmanagement-Systemen, also haben wir auch in diesem Bereich GPS optimiert. Diese neue Version ist leistungsstärker in Bereichen, die unseren Kunden wichtig sind.”

Die Optimierungen in GPS 5.1 im Überblick:

Verbesserte Unterstützung für C und C++:
- intelligente Vervollständigung für C und C++, mithilfe von -fdump-xref-Informationen
- Quellcode-Navigation Ada-to-C
Verbesserte Unterstützung für CodePeer:
- das Score Card Feature ist nun verfügbar
- verbesserte Filter
- der CodePeer-Bericht ist nun mit dem Locations View synchronisiert
- man kann nun alternative Datenbanken oder Output Directories angeben
- der Race-Condition-Bericht ist nun verfügbar
Neue Möglichkeiten zur Gestaltung von VCS-Menüs:
- alle VCS-Menüs werden nun an einer gemeinsamen Stelle konfiguriert; dies erlaubt die Anpassung des Layouts aller VCS-Menüs
Zusätzliche automatische Code Fixes sind verfügbar
Verbesserte Dokumentationserstellung:
- Browserinhalte können nun zu PDF konvertiert werden
Verbesserte Integration der GUI sowie höhere Performance:
- Verbesserung des Multiple Document Interface (MDI), der Suche und des Code Browser.

GPS 5.1 ist mit den GNAT-Pro-Versionen 3.16a1 bis 6.4 kompatibel. Wie alle GNAT-Pro-Komponenten wird GPS mit dem Quellcode veröffentlicht. Für die Entwicklungsumgebung steht auch AdaCores schneller Online-Support zur Verfügung.

Über GNAT Programming Studio (GPS)
GPS ist eine leistungsstarke integrierte Entwicklungsumgebung (IDE), die in Ada mit dem GtkAda Toolkit geschrieben ist. Die Quellcode-Navigation und die integrierten Analysewerkzeuge können eine Reihe von nützlichen Informationen generieren, so zum Beispiel Call-Graphs, Quellcode-Abhängigkeiten, die Projektorganisation sowie Komplexitätsmetriken. GPS unterstützt auch das Konfigurationsmanagement mithilfe einer Schnittstelle zu Versionsverwaltungssystemen und ist auf einer großen Anzahl von Plattformen verfügbar. GPS ist erweiterbar: Mithilfe von einfachen Skripten können zusätzliche Tools integriert werden. GPS ist kundenspezifisch anpassbar und erlaubt es Programmierern, die Entwicklungsumgebung in verschiedenen Bereichen im Look and Feel des Users zu gestalten.

Preise und Verfügbarkeit
GPS 5.1 ist sowohl im GNAT Pro Ada Development Environment als auch den SPARK Pro und CodePeer Pro Toolsets enthalten, und Kunden können es mit dem GNAT Tracker Tool herunterladen.

Webinar
Ein Webinar mit dem Fokus auf neue Features dieser GPS-Version wird später in diesem Jahr stattfinden. Weitere Informationen hierzu und Registrierung unter: www.adacore.com/home/gnatpro/webinars/

Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für große, langlebige Anwendungen, bei denen Sicherheit und Verlässlichkeit kritisch sind. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. AdaCore hat eine große, weltweite Kundenbasis; bitte finden Sie weitere Informationen auf der folgenden Seite: /home/company/customers/

Sowohl Ada als auch GNAT PRO werden immer häufiger im High-integrity Bereich und für sicherheitszertifizierte Anwendungen eingesetzt, so vor allem in sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor.

AdaCore hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter. www.adacore.com

Pressekontakte:
press@adacore.com

Digicomp Shows Continuing Success with Ada and GNAT Pro

AdaCore — Tue, 27 Sep 2011 13:43:00 +0000

Company reaffirms long-standing relationship with AdaCore

BOSTON, Mass., NEW YORK and PARIS, September 27, 2011 – Embedded Systems Conference – AdaCore, provider of tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that Digicomp Research has reaffirmed their commitment to Ada based on their continuing success with the language, by renewing their long-standing subscription for the GNAT Pro Ada development environment. Digicomp, a system engineering and software development company specializing in military and defense applications, has been an AdaCore customer for more than a decade, using GNAT Pro to successfully implement and deploy a variety of mission-critical systems on Sparc Solaris, x86 Solaris, and Linux platforms.

“The greatest advantage to working with AdaCore is the fast, comprehensive, and authoritative technical support,” said Dan DeJohn, Sr. Systems Analyst of Digicomp. “I often tell a story of my isolating a tools problem related to Ada generic packages while I was traveling in South Africa. I emailed the problem report to AdaCore early on New Year’s Day and got a reply with a workaround the same day. It is wonderful to get answers so quickly from the real Ada experts.”

Digicomp started using Ada in 1990 when the company was awarded a contract to build a new radar tracking, data fusion, and command and control system for use at Tyndall AFB (Florida). They were free to choose the programming language for the project, and they selected Ada for its expressiveness, its error detection, and its support for building software components and subsystems that can be combined without unstated coupling of modules.

Since that time, the company has successfully used the Ada language for multiple programs based on its proven ability to support development of reliable software in a cost effective manner. Core characteristics of the language allow for coding errors to be detected early in the software life cycle, when they can be corrected with the least cost.

Current Digicomp projects using Ada and GNAT Pro include: the Mode 4 Interrogation Support rack-mount computer system; the Air Surveillance and Control System, which is used for weapons control, bombing range safety, and surveillance; and the Operational Flight Program (OFP) for the Symbol Generator Unit (SGU) on the MH53-J helicopter.

“The Ada run-time software for the MH53-J includes multiple tasks to perform input and output from several sensors, to communicate with other aircraft systems over the MIL-STD-1553B data bus, and to update the symbology display at a 10 Hz frame rate,” Dan DeJohn continued. “Ada’s good information hiding facilitated writing an emulator for the final display hardware so that we could design, implement, and demonstrate the symbol generation prior to availability of the final system hardware. This inherent capability was invaluable as it allowed us to deliver on time despite delays in obtaining the final hardware.”

”We pride ourselves on the quality of our development tools and high level of expertise in supporting our customers. Thus Digicomp’s continued commitment to Ada and GNAT Pro means a lot to us,” said Robert Dewar, AdaCore President and CEO. “The longevity of our relationship with Digicomp and the continued successful performance of Ada and GNAT Pro within their various applications proves the stamina and reliability of the Ada programming language and underscores the importance of choosing the right development language based on the type of system to be developed.”

About Digicomp Research
Digicomp was founded in 1975, in Ithaca, New York, and has over 30 years of continuous experience providing software engineering services and products to large defense contractors, and US and Canadian governments. The company is experienced in all phases of product development, from customer requirements to operational test and deployment, with a proven track record of meeting cost and schedule requirements.
www.digicomp.com

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

AdaCore’s GNATcoverage Product Awarded Electron d’Or Prize

AdaCore — Tue, 05 Jul 2011 15:02:33 +0000

Open Source coverage analysis tool wins prize in 14th annual award program

NEW YORK and PARIS, July 5, 2011 –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, highlighting technologies that will have a significant impact on the market. The jury for the Software Tools category consisted of industry experts who recognize the importance of having Open Source tools dedicated to software certification.

Originally developed as part of the Couverture research project, GNATcoverage performs coverage analysis on both object code (instruction and branch coverage) and Ada and C language source code (statement, decision and Modified Condition/Decision Coverage (MC/DC)). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool also developed in the context of the Couverture Project. GNATcoverage helps software developers assess the breadth of a testing campaign and provides precise answers to the needs of safety-certification processes, such as the DO-178 avionics standard.

“Open Source has revolutionized the world of operating systems, IDEs and Web tools,” said Dr. Cyrille Comar, Managing Director of AdaCore EU. “We are pleased to bring this revolution to the safety-critical world. Sharing and building on top of others’ achievements in a community with common interests is extremely effective. In the case of project Couverture, we could not have accomplished such a difficult project in such a short time without being able to build on top of other Open Source projects, such as QEMU, GCC, Binutils, etc. We hope that other projects will be built on top of Couverture in the same way.”

Project Couverture was partially funded by the regional authorities of Paris and the Ile-de-France district and the French Ministry of Industry, under the auspices of the Free & Open Source Software group headed by Roberto Di Cosmo in System@tic, the R&D competitive cluster located in the Paris area. The institutions that participated in Project Couverture included AdaCore, Open Wide, Telecom ParisTech, and LIP6. The GNATcoverage and GNATemulator products and the Couverture Project are part of the larger Open-DO initiative that is looking to develop a variety of open source tools, combined with Lean and Agile processes, to aid software certification. More information can be found at www.open-do.org

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railway systems and medical devices, and in security-sensitive domains such as financial services.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press@adacore.com

Siemens Switzerland Selects AdaCore Toolset for Railway Project

AdaCore — Thu, 30 Jun 2011 06:00:51 +0000

English Version
Version française
Svensk Version
Deutsche Version

GNAT Pro to be used for safety-critical software development of railway control system

NEW YORK, PARIS, ZURICH, June 30, 2011 – 16th International Conference on Reliable Software Technologies 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 experts, many of whom have years of experience in safety-critical application development.

The Siemens railway control system is a modern networked application that covers every aspect of the railway control domain. It uses a distributed architecture to allow a computer to automatically take over control of a cell from another computer in the same cell due to a hardware failure or planned maintenance. This architecture guarantees high-availability of the system in accordance with European railway software standards. The current version of the system controls the train traffic throughout major parts of Switzerland and also parts of Austria, Hungary and Malaysia.

“Safety has the highest priority in the railway business. Therefore, we invest a lot of time and energy in code-review and testing activities. Recently, Siemens is experiencing a renaissance in demand for its railway control software, which is placing a heavy load on our software development resources. In order to meet the demand, without compromising safety or quality, we recognized the need for tools that would allow us to work more efficiently. Our two most important requirements were an Ada compiler that could be configured to analyze code against a rigorous set of specific criteria, and an automated code review and validation tool to identify potential runtime errors. Now, with detailed feedback from the GNAT compiler and CodePeer we are able to discover problems at the source instead of in the test lab and the code-review process is now essentially automated,” said Daniel Bigelow, Siemens software developer.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

About Siemens
Siemens AG (Berlin and Munich) is a global powerhouse in electronics and electrical engineering, with operating sectors in industry, energy and healthcare. In fiscal 2010, revenue totaled some €76 billion with a net income of €4.1 billion. Siemens has around 405,000 employees worldwide. For information in English specific to Siemens Mobility please visit www.mobility.siemens.com/mobility/global/en/Pages/siemens-mobility.aspx

Press Contacts
press@adacore.com

Siemens choisit les outils AdaCore pour son projet ferroviaire.

Le GNAT Pro sera utilisé pour développer le logiciel de sécurité critique du système de contrôle ferroviaire.

STUTTGART, PARIS, ZURICH, 30 juin 2011 – 4ème conférence internationale sur le développement des systèmes logiciels fiables – AdaCore, fournisseur leader d’outils de développement sur Ada et de services de support, annonce que la division Mobilité de Siemens Suisse Ltd a choisi GNAT Pro, ainsi que l’outil d’analyse statique CodePeer, pour développer la nouvelle génération de systèmes d’information et de contrôle ferroviaire. Le contrat avec AdaCore apporte aux développeurs des logiciels de Siemens des outils Ada de premier plan et un accès direct à la première équipe d’experts Ada au monde, dont plusieurs possèdent des années d’expérience dans le développement d’applications de sécurité critique.

Le système de contrôle ferroviaire de Siemens est une nouvelle application en réseau qui couvre chaque aspect du contrôle des trains. Elle utilise une architecture distribuée permettant à un ordinateur de prendre automatiquement le contrôle d’une cellule à partir d’un autre ordinateur de la même cellule en cas d’échec matériel ou de maintenance planifiée. Cette architecture garantit une haute disponibilité du système pour être en conformité avec les standards logiciels ferroviaires européens. La version actuelle du système contrôle le trafic des trains dans plusieurs régions suisses mais aussi autrichiennes, hongroises et malaisiennes.

“La sécurité est la priorité n°1 de l’activité ferroviaire. De ce fait, nous investissons beaucoup de temps et d’énergie dans la révision du code et les tests. Depuis quelques temps, Siemens fait face à une recrudescence de demandes pour son logiciel de contrôle ferroviaire, ce qui occasionne un surcroît de travail pour ses équipes de développement logiciel. Pour y faire face, et sans faire de compromis sur la sécurité ou la qualité, nous avons détecté le besoin de faire appel à des outils qui nous permettraient de travailler plus efficacement. Nos deux pré-requis majeurs étaient : un compilateur Ada qui pourrait être configuré pour analyser le code avec des critères spécifiques rigoureux et une révision automatisée du code ainsi qu’un outil de validation pour identifier les erreurs d’exécution potentielles. Maintenant, avec le rapport détaillé du compilateur GNAT et CodePeer, nous sommes capables de découvrir les problèmes à la source au lieu de les trouver pendant les tests et le processus de révision du code est désormais complètement automatisé”, a déclaré Daniel Bigelow, développeur logiciel chez Siemens.

À propos d’AdaCore
AdaCore, fondé en 1994, est le premier fournisseur de solutions logicielles commerciales pour Ada, un langage de programmation de pointe conçu pour des applications de grande taille et à grande durée de vie. Les technologies fournies par AdaCore sont particulièrement adaptées aux applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Le produit phare d’AdaCore est l’environnement de développement GNAT Pro, disponible sur le plus vaste ensemble de plateformes de toutes les technologies Ada. Il est fournit avec un support en ligne dispensé par des experts parmi les plus reconnus dans le domaine. AdaCore dispose d’une large base de clients située dans le monde entier ; voir http://www.adacore.com/home/company/customers/ pour de plus amples informations.

À propos de Siemens
Siemens AG (Berlin et Munich) est l’une des sociétés d’électronique et d’ingénierie électrique les plus importantes et solidement établies au monde évoluant dans les domaines de l’industrie, de l’énergie et de la santé. Le chiffre d’affaires pour l’année fiscale 2010 s’est élevé à 76 milliards de $ avec un bénéfice net de 4,1 milliards de $. Siemens a environ 405 000 employés dans le monde. Site web : www.mobility.siemens.com/mobility/global/en/Pages/siemens-mobility.aspx.

Contacts Presse
press@adacore.com

Siemens Schweiz väljer AdaCore Toolset för Railway Project

GNAT Pro ska användas för säkerhetskritiska mjukvaruutveckling av järnvägens styrsystem

Stuttgart, Paris, Zürich den 30 juni, 2011 – 4:e workshop: Development of reliable software systems – AdaCore, en ledande leverantör av Ada utvecklingsverktyg och stödtjänster, tillkännagav idag att Mobility Division of Siemens Schweiz Ltd har valt GNAT Pro tillsammans med CodePeer statiskt analysverktyg för att utveckla nästa generation av järnvägsstyrning och informationssystem.

Avtalet med AdaCore ger Siemens mjukvaruutvecklare med state-of-the-art Ada-verktyg och direkt tillgång till världens största team av Ada-experter, med många års erfarenhet av säkerhetskritiska applikationsutveckling. 

Siemens järnvägs-styrsystem är ett modernt nätverksprogram som täcker alla aspekter av järnvägens kontrolldomän. Den använder en distribuerad arkitektur för att möjliggöra en dator att automatiskt ta över kontrollen över en cell från en annan dator i samma cell på grund av ett hårdvarufel eller planerat underhåll. Denna arkitektur garanterar hög tillgänglighet i systemet i enlighet med Europeiska järnvägsföretagen mjukvara-standarder. Den nuvarande versionen av systemet styr tågtrafiken över stora delar av Schweiz och även delar av Österrike, Ungern och Malaysia.

– Säkerhet har högsta prioritet i järnvägssektorn. Vi satsar därför mycket tid och energi i code-review och testaktiviteter. Siemens genomgick nyligen en renässans i efterfrågan på dess järnvägsstyrningsprogramvara och satsar nu mer på våra resurser för mjukvaruutveckling. För att möta efterfrågan utan att äventyra säkerheten eller kvaliteten har vi insett behovet av verktyg som ger oss möjlighet att arbeta mer effektivt. Våra två viktigaste krav var en Ada-kompilator som kan konfigureras för att analysera koden mot en strikt uppsättning av specifika kriterier och en automatiserade kodgranskning och validering verktyg för att identifiera potentiella runtime-fel. Nu, med detaljerade feedback från GNAT-kompilator och CodePeer har vi möjlighet att upptäcka problem vid källan i stället för i testlabbet och code-review-processen är nu i huvudsak automatiserad, sade Daniel Bigelow, Siemens programutvecklare.

AdaCore har ett nordamerikanskt huvudkontor i New York och ett europeiskt huvudkontor i Paris. www.adacore.com

Om AdaCore
Siemens AG (Berlin och München) är ett av världens största företag inom elektronik och elteknik med operativsystem inom sektorer som industri, energi och hälsovård. Under räkenskapsåret 2010 uppgick faktureringen till €76 miljarder med en nettovinst på €4,1 miljarder kronor. Siemens har cirka 405 000 anställda världen över. För mer information på engelska som är specifik för Siemens Mobility besök  www.mobility.siemens.com/mobility/global/en/Pages/siemens-mobility.aspx

Presskontakt
press@adacore.com

Siemens Switzerland wählt AdaCore-Werkzeuge für Eisenbahnprojekt

GNAT Pro wird für die Entwicklung von sicherheitskritischer Software für ein Eisenbahnverkehrsleitsystem eingesetzt

Paris, Zürich, Stuttgart, 30. Juni 2011 – AdaCore, ein führender Anbieter von Ada Entwicklungswerkzeugen und Supportdiensten, hat heute bekanntgegeben, dass die Mobility Division von Siemens Switzerland Ltd die Entwicklungsumgebung GNAT Pro zusammen mit dem CodePeer Tool zur statischen Analyse einsetzen wird, um die nächste Generation ihres Eisenbahnkontroll- und Informationssystems zu entwickeln

Der Vertrag mit AdaCore gibt den Softwareentwicklern von Siemens Zugang zu State-of-the-Art-Ada-Werkzeugen. Außerdem erhalten sie einen direkten Kontakt zu dem weltgrößten Team von Ada-Experten. Viele von diesen haben jahrelange Erfahrung in der Entwicklung sicherheitskritischer Anwendungen.

Das Eisenbahnverkehrsleitsystem von Siemens ist eine moderne, vernetzte Anwendung, die jeden Aspekt der Eisenbahnüberwachung abdeckt. Es besitzt eine verteilte Architektur, die es einem Computer erlaubt, die Kontrolle eines Knotens von einem anderen System zu übernehmen, etwa dann, wenn ein Hardwarefehler auftritt oder Wartungsarbeiten durchgeführt werden. Diese Architektur garantiert eine hohe Verfügbarkeit der Lösung, wie sie von den europäischen Eisenbahnsoftwarestandards gefordert wird. Die aktuelle Version des Systems steuert den Verkehr in großen Teilen der Schweiz sowie in Teilen von Österreich, Ungarn und in Malaysia.

“Sicherheit hat höchste Priorität im Eisenbahngeschäft. Daher investieren wir viel Zeit und Energie in Code Review und Tests. In letzter Zeit hat Siemens eine erhöhte Nachfrage nach seiner Eisenbahnkontrollsoftware beobachtet, und dadurch wächst der Druck auf unsere Softwareentwicklungsressourcen. Wir haben unseren Bedarf an Werkzeugen erkannt, die uns erlauben, effizienter zu arbeiten, um die Nachfrage befriedigen zu können, ohne die Sicherheit oder die Qualität zu beeinträchtigen. Die beiden wichtigsten Auswahlkriterien waren erstens ein Ada Compiler, der konfiguriert werden kann, um Code rigoros auf bestimmte Kriterien zu überprüfen, und zweitens ein automatisches Code Review und Validierungswerkzeug, um potenzielle Laufzeitfehler zu identifizieren. Heute sind wir dank des detaillierten Feedbacks des GNAT Compilers und von CodePeer in der Lage, Probleme an der Quelle zu lokalisieren anstatt im Testlabor. Der Codereview-Prozess erfolgt damit weitgehend automatisiert”, sagte Daniel Bigelow, Siemens Softwareentwickler.

Über AdaCore
AdaCore wurde 1994 gegründet und ist der führende Anbieter von kommerziellen Softwarelösungen für Ada, einer modernen Programmiersprache für Mission-Critical-Anwendungen in sicherheitskritischen Umgebungen. Das wichtigste Produkt des Unternehmens ist die Entwicklungsumgebung GNAT Pro, die Online-Support bietet und auf mehr Plattformen als jede andere Ada-Technologie verfügbar ist. Unternehmen aus aller Welt aus sicherheitssensiblen Bereichen wie der Luftfahrt, militärischen Systemen, der Flugverkehrskontrolle, dem Flugverkehrsmanagement, dem Eisenbahnbereich, der medizinischen Produkte oder dem Finanzsektor setzen AdaCore-Lösungen für sicherheitskritische Anwendungen ein. Hauptsitz des Unternehmens ist New York, das europäische Headquarter ist in Paris. Weitere Informationen: www.adacore.com

Über Siemens
Siemens AG (Berlin und München) ist ein weltweit führender Anbieter in Elektronik und Elektrotechnik mit Betriebsbereichen in der Industrie, der Energie und der Medizin. Im Steuerjahr 2010 betrug der Umsatz etwa 76 Milliarden Euro, mit einem Nettogewinn von 4 Milliarden Euro. Siemens hat etwa 405 000 Mitarbeiter weltweit. Mehr über Siemens Mobility können Sie hier erfahren: http://www.mobility.siemens.com/mobility/global/de/Seiten/siemens-mobility.aspx

Pressekontakte:
press@adacore.com