Prove & Run 
Consortium
of industry leaders launches collaborative project to investigate Certified
Execution Environments for embedded systems
Esterel Technologies, Inria,
Prove & Run and Trusted Labs creating new development methodology to accelerate
certification of security-critical products
PARIS, ELANCOURT, ROCQUENCOURT and
VERSAILLES, France — December 7, 2011— 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.
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.
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 http://www.esterel-technologies.com.
Press Contact:
Kara
Gremillion
Director
Corporate Marketing
Esterel
Technologies
Phone: +1-781-762-4689
kara.gremillion@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