With regards to architecture, our research on dependable reactive systems covers two complementary topics:
- the definition of online monitors to verify real-time system related properties,
- the development of innovative fault tolerant architectures dedicated to HMI and distributed control systems, in particular in the avionics domain.
With regards to analysis, our research focuses on software verification and testing. Two directions are developed. The first one seeks better integration of techniques used to verify software development artifacts. As model-centered approaches are now widespread in the development of industrial systems, we also investigate the coupling of model-checking and model-based testing. Our second research direction addresses a novel application of heuristic search techniques to probabilistic test generation.