Embedded Systems Conference, Boston, le 28 octobre 2008. Praxis, spécialiste de l’ingénierie des systèmes critiques, et AdaCore, fournisseur d’outils et de support pour le langage Ada, ont annoncé la mise en place d’un partenariat avec l’intention de donner une nouvelle dimension au langage SPARK. Cela fait suite à l’annonce récente de la mise à disposition du projet Tokeneer à la communauté Open Source, par l’Agence nationale de Sécurité américaine (NSA). Le projet Tokeneer a été développé par Praxis en utilisant la méthodologie Correctness by Construction, le langage SPARK et l’environnement de développement GNAT Pro d’AdaCore.



La méthodologie Correctness by Construction mise au point par Praxis résulte de la combinaison de techniques d’ingénierie logicielle éprouvées, d’outils de pointe, et d’approches innovantes. Elle permet d’atteindre un niveau de productivité plus élevé tout en réduisant le taux de défauts et les coûts de développement. En effet, Praxis s’engage et offre des garanties quant à l’exactitude des logiciels délivrés. Correctness by Construction repose sur plusieurs principes tels que l’anticipation des changements  dans le cahier des charges, l’élimination des erreurs avant la phase de tests, le développement incrémental, et l’écriture du logiciel de telle sorte qu’il soit facile à vérifier. Cette méthodologie a été employée avec succès pour la réalisation d’un certain nombre de systèmes critiques, tant du point de vue de la sécurité que du point de vue de la sûreté.



AdaCore a une longue expérience du marché des systèmes avioniques critiques avec son produit GNAT Pro High-Integrity Edition for DO-178B. Praxis a conçu le langage SPARK, basé sur Ada, et développé la chaine d’outils qui l’accompagne. L’expertise de Praxis se situe dans les domaines de la sûreté et de la sécurité des systèmes critiques.



« Je suis convaincu des opportunités technologiques et commerciales concernant SPARK. Ce nouveau partenariat avec AdaCore va leur permettre de se concrétiser beaucoup plus vite », explique Keith Williams, Directeur Général de Praxis. « Nous partageons une même vision de la technologie et une même passion pour le support de nos produits. C’est une bonne nouvelle pour nos clients. »



Sylvain Hamann, Directeur stratégie et développement de Praxis, ajoute : « Ce nouveau partenariat permet à nos clients de bénéficier d’un accès plus large à la technologie SPARK. Au cours du premier semestre 2009, SPARK Pro viendra enrichir la gamme de produits High-Integrity d’AdaCore. »



« AdaCore travaille avec Praxis depuis plusieurs années et nous apprécions la façon dont leur méthodologie Correctness by Construction ainsi que le langage et les outils SPARK ont fait avancer l’état de l’art dans les domaines de la sûreté et de la sécurité des systèmes critiques », affirme Robert Dewar, PDG d’AdaCore. « Beaucoup de nos clients souhaitent pouvoir utiliser SPARK et GNAT Pro de manière conjointe. Grâce à ce nouveau partenariat, nous allons pouvoir leur offrir une solution efficace et intégrée pouvant répondre à leurs exigences les plus pointues, qu’il s’agisse de l’architecture MILS ou de la certification DO-178B au niveau A. »



A propos de Praxis High Integrity Systems
Praxis est une société d’ingénierie logicielle spécialisée dans les systèmes critiques du point de vue de la mission ou de la sécurité. Praxis excelle dans des domaines spécifiques de l’ingénierie des systèmes avancés tels que l’ingénierie des logiciels à taux de défauts ultra réduit, l’ingénierie de la sécurité pour systèmes complexes ou novateurs, et les outils et méthodes pour l’ingénierie des systèmes. Praxis propose à ses clients une large gamme de services comprenant le développement de systèmes clés en main, le conseil, la formation et la R&D. Ses secteurs clés sont l’aérospatial, la défense, la gestion du trafic aérien, le transport ferroviaire et le nucléaire. Praxis est un acteur international avec des projets en cours aux Etats-Unis, en Asie et en Europe. Son siège britannique est implanté à Bath et des bureaux sont situés à Londres, Loughborough et Paris. Praxis est une filiale du groupe Altran Technologies, leader mondial en ingénierie innovante, employant 17 500 ingénieurs de par le monde. www.praxis-his.com



A propos d’AdaCore
Fondée en 1994, AdaCore propose des solutions logicielles pour Ada, un langage de programmation moderne conçu pour répondre aux besoins d’applications industrielles pour lesquelles la sûreté, la sécurité et la fiabilité sont essentielles. La gamme de produits d’AdaCore s’articule autour son l’environnement de développement GNAT Pro, disponible sur de nombreuses plates-formes, et du support qui l’accompagne. AdaCore dispose d’une large clientèle. Voir www.adacore.com/home/company/customers/ pour plus de détails.

Ada et GNAT Pro sont utilisés pour des applications critiques et certifiées, dans des domaines tels que l’avionique, les systèmes militaires, la gestion du trafic aérien, le transport ferroviaire ou encore les équipements médicaux, ainsi que dans des domaines comme ceux des services financiers où la sécurité est déterminante. AdaCore est implantée à Paris et New-York. www.adacore.com