Prove & Run leads the CEEC Project

Consortium of industry leaders launches collaborative project to investigate Certified Execution Environments for embedded systems

Esterel Technologies, Inria, Prove & Run and Trusted Labs are creating a new development methodology to accelerate the certification of security-critical products

PARIS, ELANCOURT, ROCQUENCOURT and VERSAILLES, France — December 7, 2011 — The launch of a collaborative project, CEEC, which is aimed at producing new software development methodology to accelerate the certification of products that require very high levels of security, has been announced by 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 on democratizing secure development methodologies; and Trusted Labs, a global expert in consulting and evaluation security services. This project will work toward the emergence of an ecosystem based on open platforms within the embedded computing industry.

During the project, these partners intend to create a new software development environment, based on Prove & Run’s innovative technology, which will include a fully-proven generation and compilation toolchain. 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) as well as 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. CEEC’s methodology will enable us to extend our offering 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 that the research conducted by Inria’s Gallium team on a verified compiler has contributed to a project that brings together innovative companies. In addition, the prominence of these companies in their respective markets should help to spread the software technologies developed by Inria more widely.”

About Prove & Run

Prove & Run is a rapidly-growing startup, which is developing new software engineering technology.

Prove & Run’s ambition is to trigger a quantum leap in software quality and security by democratizing formal methods, developing technology that enables software engineers to prove mathematically 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 in developing high-tech startups into successful grown up companies, along with a team of high-level researchers from academic laboratories, Prove & Run is now commercializing its technology by targeting mass-market applications that require a high level of security, such as mobile phones, set-top boxes, smartcards, etc.

Press Contact:
David Garnier
VP of Operations
Prove & Run


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

Press Contact:
Kara Gremillion
Director Corporate Marketing
Esterel Technologies
Phone: +1-781-762-4689


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 address complex industrial issues efficiently, from security analysis to certification.

For more information, visit


About Inria

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

Combining computer science with mathematics, Inria’s 3,400 researchers are striving to invent the digital technologies of the future. Educated at leading international universities, thse researchers creatively integrate basic research with applied research and are dedicated to solving real problems, collaborating with the main players in public and private research, both 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 startups. In 2010, Inria’s budget totaled 252.5 million euros, 26% of which represented its own resources.

Find out more at

Follow Inria at

Print Print