• 1
Inria

Inria will enhance the use of formal models for automatic generation of high-coverage test suites and analysis of residual risk propagation


Research at the Inria Grenoble – Rhône-Alpes Centre deals with distributed systems and mobile networks, reliable software and embedded systems for ambient computing, modelling and simulation of multi-scale and multi-component phenomena, perception and interaction with the real and virtual worlds.

Inria is a French national operator in research in digital sciences. Inria’s mission is to pursue excellent research in computer science and applied mathematics.

The Inria Grenoble – Rhône-Alpes Centre currently has 34 research teams, most of which joint teams with the French National Centre for Scientific Research (CNRS), Université Grenoble Alpes (UGA), and Grenoble Institute of Technology (Grenoble INP). Its research deals in particular with distributed systems and mobile networks, reliable software and embedded systems for ambient computing, modelling and simulation of multi-scale and multi-component phenomena, perception and interaction with the real and virtual worlds.

The research activities of the CONVECS project team focus on the formal modelling and verification of asynchronous concurrent systems. CONVECS proposes new formal languages for specifying the behaviour and the properties of concurrent systems, and devises efficient verification algorithms and tools. The research results of CONVECS are instantiated in the CADP verification toolbox (http://cadp.inria.fr), which is widely used in academia and industry.

The main role of Inria in the project will be related to the formal modelling and validation of safety-critical software and protocols at an appropriate abstraction level. Various model-based validation techniques, such as model checking (functional and probabilistic), equivalence checking, conformance testing, and co-simulation, will be considered and assessed as potential steps in the design flow of safety-critical components and embedded software in ECA vehicles.

Inria will work on foundation aspects of employing formal models for automatic generation of high-coverage test suites, as well as analysing risk propagation using quantitative models. The goal is to estimate the residual risks as precisely as possible, which will provide guidelines for reducing these residual risks.


www.inria.fr

France

Czech Republic

  • IMA

    IMA

    IMA focuses on analysis of related standards, collection of the test requirements, implementation of the test methodology and optimization of Read More
  • Ceitec - Brno University of Technology

    Brno University of Technology

    BUT focuses on development of fail-operational powertrains and perception systems Read More
  • 1

Acknowledgement

ArchitectECA2030 has been accepted for funding within (ECSEL JU) in collaboration with the European Union’s H2020 Framework Programs under grant agreement No 877539.

The project will receive an ECSEL JU funding up to 4 M€ completed with national budgets from national funding authorities in Germany, Netherlands, Czech Republic, Austria and Norway.  

Project Facts

Short Name: ArchitectECA2030

Full Name: Trustable architectures with acceptable residual risk for the electric, connected and automated cars

Duration:  01/07/2020- 30/06/2023

Total Costs: ~ € 13,6 Mio.

Consortium: 20 partners from 8 countries

Coordinator: Infineon Technologies AG

Funding

 

Horizon 2020
Horizon 2020

 

    

National Funding

National Funding

 


Social

Twitter

Twitter

    

LinkedIn

LinkedIn

 

Information

Impress

Imprint

   

Impress

Privacy Policy


 


Contact

Twitter
Contact