ARMADHA - Advancing Rigorous Modelling and Analysis of Distributed and Hardware Architectures

The presence of flaws, failures, and bugs in software and hardware systems is still a plague, mostly because modern applications are increasingly large and complex.

The ARMADHA team focuses on the correctness, safety, reliability, and performance of software and

hardware systems. These aspects are particularly important for critical systems, which are frequent in industrial domains such as avionics, rail or automotive industry, finance, healthcare, aerospace, defense, or energy.

In this context, the goal of the ARMADHA team is to develop and construct languages, techniques, and tools for supporting the modelling, verification, debugging, and performance analysis of critical systems. 

The scientific program of the team consists of five axes: models and languages, formal methods for distributed systems, formal methods for hardware architectures, foundations of model analysis, and software.