Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique








télécharger 13.34 Kb.
titrePraxis High Integrity Systems et AdaCore annoncent un partenariat stratégique
date de publication27.03.2017
taille13.34 Kb.
typeDocumentos
ar.21-bal.com > documents > Documentos



Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique

Le langage et les outils SPARK passent à l’étape suivante
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

Contact presse


Florian Villoing

AdaCore

press@adacore.com

similaire:

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconCalao systems to Use nvidia tegra K1 for Innovation in Ruggedized Embedded Computing Systems

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconA accélérer la saisie des commandes en mode console (Win2000/XP)
«start /high» donne à l'application qu'on lui passe en paramètre la priorité maximale (high)

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconScort, spécialiste de l’intégration des systèmes centraux dans les...
«Star Partner 2» et «bea ready™ Certified» de bea systems et supporte dorénavant l’ensemble des systèmes de la gamme bea webLogic...

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconUrbanisation du si social : entre gouvernance, technologies et usages
«stratégique» : la direction générale porte une vision stratégique de l’évolution à engager et sollicite l’organisation autour de...

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconRésumé L’adaptation stratégique de l’organisation a fait l’objet...

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique icon1. Concept, vocation et qualités. 3 Nom du modèle et label hp. 5
«2» dans le nom de ce trail sportif désigne le bicylindre à plat (boxer). La notion de «High Performance» ou «Haute Performance»...

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconLe groupe Four Seasons Hotels and Resorts et Irongate annoncent un...

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconLe Programme présidentiel de Praxis
Vous qui cherchez des festins gratuits / Et qui, les jours travaillés comme les dimanches

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconLe high-tech s'intègre à la perfection

Praxis High Integrity Systems et AdaCore annoncent un partenariat stratégique iconAutomate-Scale-Create High-iq networks








Tous droits réservés. Copyright © 2016
contacts
ar.21-bal.com