Land and Naval Surveillance and Defense Systems

Saab

Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project. The GIRAFFE project is a family of land and naval radar-based surveillance and air defense command and control systems.

(Picture copyright Saab AB)

Select Language

Saab Electronic Defence Systems Adopts CodePeer

PARIS, NEW YORK, and GÖTEBORG. June 12th, 2012 – Ada Europe Conference - AdaCore today announced that Saab Electronic Defence Systems (Sweden) has adopted the CodePeer static analyzer tool for use on the GIRAFFE project. This advanced static analysis tool helps developers detect potential run-time and logic errors in Ada programs. By mathematically analyzing every line of software, and considering every possible input and every path through the program, CodePeer can be used very early in the development lifecycle to identify problems when defects are much less costly to correct.

CodePeer is fully integrated into the GNAT Pro development environment and comes with a number of complementary static analysis tools common to the technology – a coding standard verification tool (GNATcheck), a source code metric generator (GNATmetric), a semantic analyzer, and a document generator that can be invoked through the GNAT Programming Studio (GPS) Integrated Development Environment (IDE).

"In our kind of development, it is very important to avoid bugs, or to find and repair them at an early stage, since those that remain in a deployed system are both expensive to fix and can cause a disastrous result. For this reason, a static analysis tool is a great help," said Anders Råberg, Software Systems Engineer at Saab. "During new code development, a tool like CodePeer actually helps our engineers to avoid those code constructs that are likely to cause problems, and thus encourages them to write more robust code."

"We are pleased to see that Saab engineers are taking advantage of the CodePeer tool in their everyday software development," said Yannick Moy, Senior Software Engineer at AdaCore. "Combined with the Ada programming language, GNAT Pro and CodePeer offer early bug detection that reduces project development time and costs".

“AdaCore has a longstanding business relationship with Saab,” said Jamie Ayre, Marketing Director at AdaCore EU. “With the introduction of new products such as CodePeer, and the continuing evolution of the Ada programming language through the Ada 2012 revision, we aim to continue to provide technology that satisfies Saab’s needs for developing reliable, critical systems.”

About CodePeer
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.

About Saab Electronic Defence Systems
Saab is one of the world’s leading high-technology companies, with its main operations focusing on defense, aviation and civil security. The Group covers a broad spectrum of competence and capabilities in systems integration. http://www.saabgroup.com/en/About-Saab/Company-profile/Organisation/Electronic-Defence-Systems/

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/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

Saab Electronic Defence Systems adopte CodePeer

L’analyse statique aide à augmenter la fiabilité logicielle

PARIS, NEW YORK, and GÖTEBORG. le 12 juin 2012. AdaCore annonce aujourd’hui que Saab Electronic Defence Systèmes (Suède) a adopté l’outil d’analyse statique CodePeer, pour l’utiliser sur le projet GIRAFFE. Cet outil aide les développeurs à détecter statiquement les vulnérabilités d’un code source Ada tels que les erreurs d’exécutions ou les erreurs logiques. En analysant mathématiquement chaque ligne du logiciel et en calculant les ensembles de valeurs possibles pour tous les chemins d’exécution, CodePeer peut être utilisé très en amont du cycle de développement et identifier les défauts du logiciel au moment où ils sont le moins couteux à corriger.

CodePeer est intégré dans l’environnement de développement GNAT Pro. Il est fourni avec un certain nombre d’outils d’analyse statique complémentaires, communs au reste de la technologie, tels que l’outil de vérification de standard de codage GNATcheck, de calcul de métriques de code GNATmetric, un analyseur sémantique et un générateur de documentation accessibles depuis l’environnement de développement intégré GPS.

« Dans le type de développement que nous réalisons, il est très important d’éviter les bugs, ou de les trouver et de les réparer le plus tôt possible. Ceux qui restent dans le système une fois déployé sont très couteux à corriger et peuvent avoir des conséquences catastrophiques. Pour cette raison, les outils d’analyse statiques sont d’une aide précieuse » déclare Ander Råberg, Ingénieur Logiciel et Système à Saab. « Lors du développement de nouveau code, un outil tel que CodePeer aide nos ingénieurs à éviter les constructions qui sont potentiellement à l’origine de problèmes, et les encourage à écrire du code plus robuste. »

« Nous sommes heureux que les ingénieurs de Saab tirent parti de CodePeer dans leur développement au jour le jour » déclare Yannick Moy, Ingénieur Logiciel chez AdaCore. « L’association du langage de programmation Ada, de GNAT Pro et de CodePeer offre une détection de vulnérabilités et de bugs très précoce et permet de réduire les temps et les coûts de développement. »

« AdaCore et Saab coopèrent depuis de nombreuses années » déclare Jamie Ayre, Directeur Marketing chez AdaCore. « Grâce à l’introduction de nouveaux produits tels que CodePeer et de l’évolution continue du langage de programmation Ada (avec en particulier Ada 2012), notre objectif est de continuer à fournir une technologie qui satisfasse les exigences de Saab pour de développement de systèmes pérennes et robustes dans un environnement critique. »

Au sujet de CodePeer
CodePeer est un analyseur statique de code source qui détecte les vulnérabilités et les erreurs logiques. Il identifie les bugs potentiels en amont du test et de l’exécution,  agissant comme un assistant à la revue de code, aidant à anticiper les erreurs tôt dans le cycle de développement. Il peut également être utilisé pour réaliser une analyse d’impact lors de modifications de code existant ou assister une analyse de sûreté. Utilisant des techniques telles que l’analyse du flux de contrôle ou du flux de données, CodePeer peut détecter des problèmes qui ne pourraient être trouvés autrement que de manière laborieuse en phase de test.

Au sujet de Saab Electronic Defence Systems
Saab est l’un des leaders mondiaux de haute technologie, principalement axé sur les marchés de la défense, de l’aviation et de la sécurité civile. Le groupe couvre un large spectre de compétences dans le domaine de l’intégration système.
http://www.saabgroup.com/en/About-Saab/Company-profile/Organisation/Electronic-Defence-Systems/

À 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 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.


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

Saab Electronic Defence Systems väljer CodePeer

Statisk analysator bidrar till att minska utvecklingskostnaderna

Paris, New York och Göteborg. den 12 juni, 2012. AdaCore meddelade idag att Saab Electronic Defence Systems (Sverige) har valt CodePeer en statisk Analysator för användning i GIRAFFE-projektet. Detta avancerade statiska analys-verktyg hjälper utvecklare att upptäcka potentiella run-time och logikfel i Ada-program. Genom att matematiskt analysera varje rad i programvaran, och beakta all tänkbar indata samt varje väg genom programmet, kan CodePeer användas mycket tidigt i utvecklingscykeln för att identifiera problem så att felrättningen blir mycket mindre kostsam.

CodePeer är helt integrerat i utvecklingsmiljön GNAT Pro samt omfattar även ett antal kompletterande statiska analysverktyg - en kodningsstandard Verification Tool (GNATcheck), en metrik generator för källkod (GNATmetric), en semantisk analysator, och en dokumentgenerator vilka kan anropas från GNAT Programmering Studio (GPS) Integrated Development Environment (IDE).

"Inom vår typ av utveckling, är det mycket viktigt att undvika fel, eller att åtminstone hitta och åtgärda dem i ett tidigt skede. Kvarvarande fel i ett levererat system är både dyra att åtgärda och kan dessutom ge katastrofala följder. Av detta skäl är ett verktyg för statisk kodanalys till stor hjälp", säger Anders Råberg, Software Systems Engineer på Saab. "Vid nyutveckling av kod hjälper ett verktyg som CodePeer våra ingenjörer att undvika programvaru-konstruktioner som lätt orsakar problem. På detta sätt uppmuntras konstruktörerna att skriva mer robust kod."

"Vi är mycket nöjda med att möjliggöra för Saabs ingenjörer att dra nytta av CodePeer verktyget i sitt dagliga arbete med mjukvaruutveckling", säger Yannick Moy, Senior Software Engineer på AdaCore. "Tillsammans med programmeringsspråket Ada, GNAT Pro och CodePeer erbjuder detta en möjlighet till tidig upptäckt av fel, vilket minskar såväl tiden som kostnaden för projektutvecklingen."

"AdaCore har en långvarig affärsrelation med Saab", säger Jamie Ayre, marknadsdirektör på AdaCore EU. "Med introduktionen av nya produkter som CodePeer, och den fortgående utvecklingen av programmeringsspråket Ada genom den nya Ada 2012-översynen, vill vi fortsätta att tillhandahålla en teknologi som tillfredsställer Saabs högt ställda krav på utvecklingsmiljön för utvecklingen av tillförlitliga, kritiska system."

Om CodePeer
CodePeer arbetar med en bottom-up-strategi för att undersöka enskilda enheter eller utföra en fullständig analys då flera enheter blir tillgängliga. Det kan också användas av enskilda utvecklare på en låg kodnivå för att hjälpa dem hitta problem innan dessa överförs till projekt-biblioteket. Dessutom sparar varje exekvering en uppsättning datafiler, så att de tidigare analyserade enheterna inte behöver genomarbetas igen, utan endast de nytillkomna eller ändrade enheterna bearbetas på nytt. På detta sätt kan CodePeer lätt skalas upp till mycket stora programsystem och dessutom utföra omfattande analys av data- och informationsflödet mellan enheterna.

Om Saab Electronic Defence Systems
Saab är ett av världens ledande högteknologiska företag, med huvudsaklig verksamhet inom försvar, flyg och civil säkerhet. Inom Saab finns en rad spetskompetenser och förmåga till systemintegration.
http://www.saabgroup.com/en/About-Saab/Company-profile/Organisation/Electronic-Defence-Systems/

Om AdaCore
Företaget grundades 1994, och AdaCore är idag den ledande leverantören av kommersiella mjukvarulösningar för Ada, ett state-of-the-art programmeringsspråk utformat för stora, långlivade tillämpningar där säkerhet och tillförlitlighet är kritiska. AdaCore:s flaggskepp är GNAT Pro utvecklingsmiljö, som levereras med sakkunnig on-line support och finns på fler plattformar än någon annan Ada-teknologi. AdaCore har en omfattande världsomspännande kundbas, se http://www.adacore.com/customers/ för ytterligare information.

Ada och GNAT Pro ser en växande användning inom applikationsområden där hög integritet och säkerhetscertifiering, exempelvis inom områden som avionik för kommersiella flygplan, militära system, flygledningstjänst & -kontroll, järnvägs-system och medicintekniska produkter, samt inom säkerhet-känsliga områden, exempelvis finansiella tjänster . SPARK Pro, en verktygs-uppsättning tillgänglig från AdaCore, är särskilt användbar i sådana sammanhang.

AdaCore har sitt nordamerikanska högkvarter i New York och det europeiska huvudkontoret i Paris.  www.adacore.com


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