Numerous systems such as medical devices require high quality developments, but don't mandate the use of formal methods.

MODMED is a research project that aims at providing lightweight solutions to model and verify such systems. It starts from the statement that it is often easy to add tracing instructions to these systems. These traces can be verified against user-defined properties to check that the system conforms to its specifications.

The MODMED project has developed:

• modmedLog: a C++ structured trace library adapted to industry constraints
• ParTraP: a language to specify Parametric Trace Properties and its associated toolset

These tools have been experimented on traces of a Medical Cyber-Physical System guiding Total Knee Arthroplasty surgeries.

The MODMED consortium gathers:

• MinMaxMedical, a software components and services provider for Computer-Assisted Surgery,
• Blue Ortho, a medical devices manufacturer,
• VASCO, a research team of the Laboratoire d'Informatique de Grenoble (LIG) and the Université Grenoble Alpes.

The MODMED project lasted from October 2015 until March 2019.