Dépêches

Consortium of Industry Leaders Launches Collaborative Project to Investigate Certified Execution Environments for Embedded Systems

Dépèche transmise le 8 décembre 2011 par Business Wire

PARIS, ELANCOURT, ROCQUENCOURT & VERSAILLES, France--(BUSINESS WIRE)--Esterel Technologies, the leading worldwide provider of model-based development solutions for critical systems and software, Inria, the largest French public research body dedicated to digital science and technology, Prove & Run, a startup focused at democratizing secure development methodologies and Trusted Labs, a global expert in consulting and evaluation security services, have announced the launch of a collaborative project, CEEC, aimed at producing a new software development methodology that will accelerate the certification of products that require very high levels of security. This project will work toward the emergence of an ecosystem based on open platforms within the embedded computing industry.

“This project advances Esterel Technologies’ leading position as a DO-178B/C certified development solutions provider for safety-critical aerospace and defense applications. With the new tools and methodologies developed in parallel with this consortium, we will now be at the forefront of avionics security, as well”

During this project, the partners intend to create a new software development environment, based on Prove & Run innovative technology that will include a fully-proven generation and compilation tool chain. By integrating security concerns within the development process of critical systems, this environment will enable the development of quality software with guaranteed security properties and will reduce the cost of high-level evaluations and certifications, such as the ones following the Common Criteria methodology.

“We are proud to have gathered a consortium of leaders with expertise in software development solutions and certifications both for critical systems within the transportation, energy and defense domains (Esterel Technologies) and for payment applications and mobile telephony systems (Trusted Labs)” commented Dominique Bolignano, Prove & Run’s CEO. “The technology developed by this project will lead to the emergence of systems that will be secure by construction, opening up new markets around the world for every participant.”

“This project advances Esterel Technologies’ leading position as a DO-178B/C certified development solutions provider for safety-critical aerospace and defense applications. With the new tools and methodologies developed in parallel with this consortium, we will now be at the forefront of avionics security, as well,” stated Éric Bantégnie, President and CEO of Esterel Technologies.

Claire Loiseaux, President of Trusted Labs, commented: “Trusted Labs offers high-level Common Criteria evaluation services targeting critical and sensitive functions of embedded systems. With CEEC we experience a methodology that will enable us to extend our offer and the number of products eligible for a high-level level certification. Our first target is the effective certification of sensitive applications for mobile devices.”

Finally, Michel Cosnard, Inria’s CEO, concluded: “I am pleased to see the research conducted by the Gallium team of the Inria on a verified compiler contributed to a project that brings together innovative companies. In addition, the prominence of these companies in their markets should help to widely spread the software technologies developed by Inria.”

About Prove & Run

Prove & Run is a startup developing a new software engineering technology and is currently growing at top speed.

Prove & Run’s ambition is to trigger a quantum leap in software quality and security by democratizing formal methods, a technology that enables software engineers to mathematically prove that the implementation of a software component follows its specifications, with a high level of assurance. Compared to other tools that also use formal methods, Prove & Run’s tools only require a short training period and integrate seamlessly with existing software toolchains.

Thanks to an experienced management team with a proven track record at developing high-tech start-ups into successful grown-up companies, along with a team of high-level researchers from academic labs, Prove & Run is now commercializing its technology by targeting mass-market applications that require a high level of security: mobile phones, set-top boxes, smartcards, etc.

About Esterel Technologies - An ISO 9001:2008 Certified Company

Esterel Technologies is the worldwide leader of model-based design, verification and code generation tools for critical system and software development. Esterel Technologies is a privately held company with European headquarters in Élancourt, France, U.S. headquarters in Boston, Massachusetts and direct sales offices in Germany, the United Kingdom, Russia, and China. Esterel is supported by channel and service partners worldwide.

For additional information, visit the Esterel Technologies website at http://www.esterel-technologies.com.

About Trusted Labs

Trusted Labs provides security consulting and evaluation services to leading telecom and transport operators, financial institutions, government/defense agencies, silicon vendors, card and terminal manufacturers, and standardization bodies worldwide.

An expert in security for the components and devices involved in digital services - from mobile payment to e-ticketing, from identification to access control - Trusted Labs also helps customers imagine, formalize, design, and deploy their new services.

With an intimate knowledge of embedded systems security and a strong ability to innovate, Trusted Labs integrates the latest research breakthroughs to efficiently address complex industrial issues, from security analysis to certification.

For more information, visit http://www.trusted-labs.com.

About Inria

Established in 1967, Inria is the only French public research body fully dedicated to computational sciences.

Combining computer sciences with mathematics, Inria’s 3,400 researchers strive to invent the digital technologies of the future. Educated at leading international universities, they creatively integrate basic research with applied research and dedicate themselves to solving real problems, collaborating with the main players in public and private research in France and abroad and transferring the fruits of their work to innovative companies.

The researchers at Inria published over 4,800 articles in 2010. They are behind over 270 active patents and 105 start-ups. In 2010, Inria’s budget came to 252.5 million euros, 26% of which represented its own resources.

Find out more at http://www.inria.fr.

Follow Inria at http://twitter.com/inria.