Meet Prove & Run at Euronaval 2018

Prove & Run will be exhibiting at Euronaval, October 23-24 2018, Paris, France. Come and meet us in the SEAnnovation Startup Area.

If you want to schedule a meeting ahead of time, please send us an email at moc.n1537762665urnev1537762665orp@t1537762665catno1537762665c1537762665.


Prove & Run will be exhibiting at the European Utility Week, November 6-8 2018, Vienna, Austria. Come and meet us on the French Pavilion, stand A.g41.

If you want to schedule a meeting ahead of time, please send us an email at moc.n1537762665urnev1537762665orp@t1537762665catno1537762665c1537762665.

June 19th, 2018 – Europe invests 50 million € in Secure and Safe Automated Systems

69 partners working together to develop future technologies focused on security, safety and privacy across multiple application domains

SECREDAS stands for “Product Security for Cross Domain Reliable Dependable Automated Systems. SECREDAS consortium – 69 partners from 16 European countries – has kicked-off the 50 MEuro ECSEL Joint Undertaking research and innovation project, to build a reference architecture for Secure and Safe Automated systems compliant with the new GDPR Regulation. The focus will be on automotive, rail and personal healthcare, all of which demand high security and safety, covering technologies such as radar, lidar, Vehicle-to-Infrastructure and in-vehicle networks.

The project started on May 1st, 2018 and the kick-off meeting took place on May 16-17 at NXP Semiconductors, coordinator of the project, and it will last for 3 years. First results are expected to be demonstrated at the ITS European Congress on June 3-6, 2019 in Helmond/Eindhoven, Netherlands (see

Bert De Colvenaer, Executive Director of the ECSEL JU: “SECREDAS is one of the first ECSEL JU funded projects which looks at security, safety and privacy across multiple application domains. The new European GDPR-regulation provides the opportunity to develop future technologies able to answer to urgent safety, security and privacy concerns. The ECSEL JU programme demonstrates once again its flexibility to take up new challenges”.

Patrick Pype, SECREDAS Project Leader: “We are proud to have gathered together the key European stakeholders with expertise in their respective application domains as well as in the security & privacy area. This will allow to make a giant leap forward in the trust of road users in autonomous transport modes and healthcare. The consortium expects that 25% of all new road vehicles will be fitted with SECREDAS technology by 2030, representing a value of 10B€”.

The intertwining of safety, security & privacy of connected and automated systems is a concern in multiple application domains for many consumers in the European Union. As an example, one in four potential buyers/users in Europe of automated driving is reluctant to do so, mainly due to a lack of trust into its security. Hence industry and research communities need to work on an answer to ensure that these concerns are no longer roadblocks for further evolutions in the transport and personal healthcare sectors.

The high-level goal of SECREDAS is to develop and validate multi-domain architecting methodologies, reference architectures, components and suitable integration and verification approaches for automated systems, as well as taking into account and influencing standardization, certification and qualification in different domains, combining high security and privacy protection while preserving functional-safety and operational performance.With SECREDAS a first important step will be made into the direction of developing “trust”-building components and (sub)systems for, in particular, the European transportation and medical industry of tomorrow.

The vision of SECREDAS is to take an important step forward by providing the means to enhance this trustworthiness. This will assist in making connected and automated vehicles a market reality, to ensure that European OEMs remain competitive and that they remain world leaders, together with embedded system and semiconductor suppliers. In addition, SECREDAS addresses cross-domain cybersecurity, privacy and safety related technologies in the areas of automated systems in the personal healthcare & railway sectors, with strong support to cross-domain actions.

Picture of the SECREDAS Kick-off Meeting at NXP Semiconductors, Munich, Germany

For more information, please contact:

Prove & Run:

Christophe Pagezy, Co-CEO



Alun Foster, Head of Plans and Dissemination of the ECSEL JU (Communication related queries)


Yves Gigase, Head of Programmes of the ECSEL JU (Technology related queries)


Partners in the SECREDAS Consortium:

Project Leader: NXP Semiconductors, NL



Czech Republic:














Prove & Run will be exhibiting at Eurosatory, June 11-15 2018, Paris, France. Come and meet us on the Eurosatory LAB stand, booth 57.

If you want to schedule a meeting ahead of time, please send us an email at moc.n1537762665urnev1537762665orp@t1537762665catno1537762665c1537762665.


ARM released three Threat Models and Security Analyses (TMSA, also known as a Protection Profile) prepared by Prove & Run on ARM’s behalf for respectively a network camera, a water meter and an asset tracker. A TMSA is the starting point for assessing the security risk faced by a connected device. From this research, the right level of security can be determined, and then functional requirements established to mitigate the threats for the corresponding devices.

With ProvenCore and ProvenCore-M, Prove & Run’s ultra secure OS kernel for ARM Cortex-A and Cortex-M devices, Prove & Run can help the designers and users of network cameras, water meters and asset trackers to integrate the required security features so as to be protected from cyber-attacks at the right level.

Prove & Run is proud to be a member of a consortium of industry leaders (which include Altran, Orano, Framatome, ArianeGroup, Arkema and Total) that have just launched 2IdO, a project aimed as bringing the benefits of the Internet of Things to industrial and manufacturing markets.

The 2IDO project (Industrial Internet of Devices and Operators), is a consortium made up of eleven partners including three SMEs, two research organizations and six industrial companies federated around a major industrial challenge: to develop a new global system of efficient wireless communication, from miniaturized sensor to applications, with a high penetration in constrained environments and relying on secure technological bricks adapted from existing IoT markets.

For more information please consult this press release.

Prove & Run will be exhibiting at SIdO 2018, April 4-5 2018, Lyon, France. Come and meet us at the SCS stand at Lyon’s Cité Internationale.

If you want to schedule a meeting ahead of time, please send us an email at moc.n1537762665urnev1537762665orp@t1537762665catno1537762665c1537762665.

Prove & Run will be exhibiting at embedded world 2018 in Nuremberg, from the 27th of February to the 1st of March. Come and meet us at our stand: Hall 4A stand 310!

If you want to schedule a meeting ahead of time, please send us an email at .moc.1537762665nurne1537762665vorp@1537762665tcatn1537762665oc1537762665

Dominique Bolignano, Prove & Run’s CEO, will present a research paper entitled “Security Filters for IoT Domain Isolation” during the embedded conference.

This is offer is for a 6-month internship and is based at our R&D Center in Paris.


Develop a compiler from Prove & Run’s language to Scala.


As a Research & Development Engineer, you will join the team in charge of ProvenTools, the complete development toolchain created by Prove & Run. ProvenTools is an Eclipse-based IDE offering support to write models using Prove & Run’s language (Smart) and to compile them. Models written in Smart are compiled to mainstream languages and Scala is a target of choice, as it ultimately allows to compile Smart to Java bytecode; hereby offering various backends.

The project consists in designing and implementing a compiler to Scala integrated within ProvenTools. The project will require you to write an Eclipse plugin that provides the following features:

  • Generating a Scala implementation of Smart’s types and functions,
  • Generating Scala stubs for Smart’s external types and functions, so that the user can easily integrate handwritten and generated Scala code,
  • A generator integrated with ProvenTools’s existing APIs for compiling Smart to garbage-collected languages.

This project will be implemented in Java.

This offer is for a 4 to 6-month internship and is located in our office in Paris.


You are currently completing a Master’s Degree or an equivalent degree. You have a significant experience of software development and basic notions in compiler development. You are rigorous, independent and have good interpersonal skills.

The following experience is required:

  • The Java programming language
  • A functional programming language

Previous experience with the following tools will help ensure that you can hit the ground running:

  • The Eclipse development environment
  • Source code management tools (Git and Mercurial)

A good level of English is required.


All interns will receive the following benefits:

  • Compensation of €1000-1200/month (gross)
  • Daily meal stipends (Tickets Restaurant)

Are you interested in joining Prove & Run and becoming a key part of our team? If so, please check what it means to be an intern at Prove & Run, or apply right away!

Prove & Run will be exhibiting at CES 2018, January 9-12th 2018, Las Vegas, as part of the “Tech Automotive” delegation of the Systematic business cluster. Come and meet us at our stand: Las Vegas Convention Center, Stand CP-5!

If you want to schedule a meeting ahead of time, please send us an email at .moc.1537762665nurne1537762665vorp@1537762665tcatn1537762665oc1537762665