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.