Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Toyota Info-Technology Centre (2014-2016)

• Title: Co-Modeling of Safety-Critical Multi-threaded Embedded Software for Multi-Core Embedded Platforms

• Inria principal investigator: Jean-Pierre Talpin

• International Partner (Institution - Laboratory - Researcher):

  • Virginia Tech Research Laboratories, Arlington (United States)

  • Embedded Systems Group, Teschnische Universität Kaiserslautern (Germany)

• Duration: 2014 - 2016

• Abstract: We started a new project in April 2014 funded by Toyota ITC, California, to work with Huafeng Yu (a former post-doctorate of team ESPRESSO) and with VTRL as US partner. The main topic of our project is the semantic-based model integration of automotive architectures, virtual integration, toward formal verification and automated code synthesis. This year, Toyota ITC is sponsoring our submission for the standardisation of a time annex in the SAE standard AADL.

  In a second work-package, we aim at elaborating a standardised solution to virtually integrate and simulate a car based on heterogeneous models of its components. This year, it will be exemplified by the elaboration of a case study in collaboration with Virginia Tech. The second phase of the project will consist of delivering an open-source, reference implementation, of the proposed AADL standard and validate it with a real-scale model of the initial case-study.