Esterel Technologies>News & Events>Press Releases

Le projet CEEC, Certification d’Environnements d’Exécution de Confiance, retenu dans le cadre de l’appel Briques génériques du logiciel embarqué

Esterel Technologies, Inria, Prove & Run et Trusted Labs créent une nouvelle méthodologie supportée par des outils pour accélérer la certification de logiciels critiques

PARIS, ELANCOURT, ROCQUENCOURT and VERSAILLES, France — 8 Décembre, 2011

Esterel Technologies, Inria, Prove & Run et Trusted Labs lancent le projet CEEC afin de mettre au point une nouvelle méthodologie pour accélérer la certification de produits demandant des niveaux de sécurité élevés. Ce projet permettra de faciliter l’émergence d’écosystèmes ouverts basés sur des plateformes standardisées dans l’industrie de l’informatique embarquée.

Le projet CEEC a été retenu dans le cadre de l’appel à projets Briques génériques du logiciel embarqué du volet économie numérique des Investissements d’avenir . Le projet collaboratif CEEC a par ailleurs été labellisé par le pôle Systematic Paris Région et son groupe thématique Confiance numérique et sécurité.

Durant ce projet, les partenaires ont l’intention de créer un nouvel environnement de développement de logiciels, basé sur les technologies innovantes de Prove & Run, qui inclura une chaîne de génération et de compilation intégralement prouvée. En intégrant les aspects de sécurité dans le processus de développement de systèmes critiques, cet environnement permettra la création de logiciels de qualité dotés de propriétés de sécurités garanties et réduira le coût des évaluations et des certifications de haut niveau, telles que celles effectuées selon la méthodologie des Critères Communs.

Nous sommes heureux d’avoir regroupé autour des outils développés par Prove & Run des leaders dotés d’une expertise en solutions de développement logiciel et en certification de systèmes critiques à la fois dans le domaine du transport, de l’énergie et de la défense avec Esterel Technologies et de la téléphonie mobile et du paiement avec Trusted Labs commente Dominique Bolignano, Président de Prove & Run. La technologie développée dans ce projet conduira à la réalisation de systèmes sûrs par construction, ouvrant ainsi de nouveaux marchés en France et à l'étranger pour tous les participants.

Le projet CEEC renforcera la position de leader d’Esterel Technologies comme fournisseur d’outils certifiés en matière de sûreté pour le développement d’applications embarquées répondant aux contraintes de la norme de sûreté aéronautique DO-178B/C. Avec les nouveaux outils et méthodologies développés par le projet, nous répondrons aux besoins exprimés en termes de sécurité qui se dessinent dans le logiciel embarqué pour l’aéronautique et la défense précise Éric Bantégnie, Président Directeur Général d’Esterel Technologies.

Trusted Labs offre des services d’évaluation Critères Communs à haut niveau ciblant les fonctionnalités critiques et sensibles des systèmes embarqués. Avec CEEC, nous expérimentons une méthodologie qui permettra d’élargir notre offre et la liste des produits éligibles à la certification de haut niveau. Notre première cible est la certification efficace des applications sensibles pour les dispositifs mobiles complète Claire Loiseaux, Présidente de Trusted Labs.

Michel Cosnard, Président Directeur Général de l’Inria, est très heureux de voir les recherches menées par l'équipe-projet Inria Gallium sur la compilation vérifiée contribuées à un projet regroupant des entreprises innovantes. De plus les positions de ces entreprises sur des marchés en expansion devraient aider à une large diffusion des technologies logicielles développées au sein de l'institut.

A Propos de Prove & Run - Développements sûrs par construction

Prove & Run est une jeune entreprise développant une nouvelle technologie d’assistance au développement logiciel en très forte croissance.

L’ambition de Prove & Run est de permettre un bond en avant en matière de qualité et de sécurité logicielle en démocratisant les méthodes formelles, une technologie permettant de formaliser le fonctionnement d’un composant logiciel et de prouver mathématiquement que celui-ci suit effectivement sa spécification, avec un haut niveau d’assurance. Par rapport aux autres outils mettant actuellement en œuvre les méthodes formelles, les outils de Prove & Run ne demandent qu’une formation courte et s’intègrent facilement dans les chaînes existantes de développement logiciel.

Grâce à une équipe dirigeante ayant déjà prouvé sa capacité à transformer une startup de haute technologie en PME à succès et à une équipe de chercheurs de haut niveau issus du monde de la recherche publique, Prove & Run entre maintenant dans une phase de commercialisation de sa technologie en visant en premier lieu les applications grand public demandant un haut niveau de sécurité : cartes à puces, téléphones mobiles, etc.

Contact Presse:

David Garnier

Directeur des opérations - Prove & Run

Email : david.garnier@provenrun.com

A Propose d'Esterel Technologies - Certifiée ISO 9001:2008

Esterel Technologies est le leader mondial des solutions de génération de code, de vérification et de la conception à base de modèle pour le développement de logiciels embarqués et systèmes critiques.

Le siège social européen d'Esterel Technologies est basé à Elancourt, France, le siège social américain est basé à Boston (Massachusetts), et la société dispose de bureaux commerciaux en Allemagne, Angleterre, Russie et Chine. Les solutions d’Esterel Technologies s'appuient également sur un réseau de partenaires mondiaux.

Pour toute information complémentaire, visitez le site web d'Esterel Technologies à www.esterel-technologies.com.

Contact Presse:

Kara Gremillion - Director Corporate Marketing

Téléphone : 1-781-762-4689

Email : kara.gremillion@esterel-technologies.com

A Propos de Trusted Labs

Trusted Labs fournit du conseil en sécurité et des services d'évaluation en France et à l’international. Ses clients sont les principaux opérateurs en télécommunications et transport, les institutions financières, les agences gouvernementales et de défense, les fournisseurs de silicium, les fabricants de cartes et de terminaux, ainsi que les organismes de normalisation.

Expert en sécurité des composants et dispositifs liés aux services numériques – du paiement mobile aux billets électroniques, de l’identification au contrôle d’accès – Trusted Labs aide ses clients à imaginer, formaliser, concevoir et déployer des nouveaux services.

Avec une connaissance intime de la sécurité des systèmes embarqués et une forte capacité d’innovation, Trusted Labs utilise les dernières innovations scientifiques pour résoudre des problèmes industriels complexes, de l’analyse de la sécurité à la certification.

Pour plus d’information, visitez http://www.trusted-labs.com

A Propose d'Inria - (Institut national de recherche en informatique et en automatique)

Créé en 1967, Inria est le seul institut public de recherche entièrement dédié aux sciences du numérique.

A l’interface des sciences informatiques et des mathématiques, les 3400 chercheurs d’Inria inventent les technologies numériques de demain. Issus des plus grandes universités internationales, ils croisent avec créativité recherche fondamentale et recherche appliquée. Ils se consacrent à des problèmes concrets, collaborent avec les acteurs de la recherche publique et privée en France et à l’étranger, et transfèrent le fruit de leurs travaux vers les entreprises innovantes.

Les chercheurs des équipes Inria ont publié plus de 4800 articles en 2010. Ils sont à l'origine de plus de 270 brevets actifs et de 105 start-ups. Le budget d'Inria s’élevait en 2010 à 252,5 millions d'euros dont 26% de ressources propres.

En savoir plus sur http://www.inria.fr

Suivre Inria sur http://twitter.com/inria

###