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:
These tools have been experimented on traces of a Medical Cyber-Physical System guiding Total Knee Arthroplasty surgeries.
The MODMED consortium gathers:
The MODMED project lasted from October 2015 until March 2019.
Warning: The MODMED web site will not evolve since the project has ended in March 2019. But the web sites of the MODMED tools (gitlab and ParTraP) will be updated to include the recent advances of these tools.