Test and reliability analysis for cyber-physical system models
Modeling, Reliability, Cyber-physical systems, Simulation
In general, these problems affect a wide variety of application domains, such as aeronautics, automotive, intelligent management of electrical distribution networks, industrial control and automatic regulation, etc.
The objective here is to develop methods and tools allowing the analysis of the impact at the system level of faults, disturbances, failures, this analysis being feasible from the first stages of the design flow thanks to simulable models allowing reasoning on the requirements at a very high level of abstraction. This involves offering solutions for automatically testing the impact of various fault and disturbance models in nominal execution scenarios, and providing diagnostic assistance if necessary in the form of recommendations for modifications to architectural choices. This being done with a great flexibility as for the interchangeability in simulation of the models of subsystems with respect to the expressiveness of the faults considered.
Thesis director: Laurence PIERRE
Thesis supervisor: Liliana ANDRADE PORRAS
Thesis started on: Oct. 2022
Doctoral school: MSTII