Category Archives: News

CEEC methodology presented at HiPEAC

logo-hipeac-small-trans-300x180The HiPEAC conference is the premier European forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems. The 10th HiPEAC conference took take place in Amsterdam, The Netherlands from the 19th to the 21st of January 2015.

During the MILS workshop, Stéphane Lescuyer from Prove & Run presented the CEEC methodology as part of its presentation of the design of ProvenCore, Prove & Run formally proven, POSIX conformant microkernel compatible with the ARM and x86 architectures. This presentation is based on the following research article.

Start of the CEEC Project

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

Esterel TechnologiesInriaProve & 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.

Continue reading