The MODMED project is a rare opportunity to spread formal methods to new domains, starting with Medical Cyber-Physical Systems (MCPS)!

These MCPS combine data from novel sensors and existing modalities like scanners with elaborate software processing to assist caregivers as flight control systems help a pilot flying planes, making their interventions safer.

Verifying the effectiveness and safety of MCPS with their execution traces using models is safer, more factual and efficient than current industry practices (reviews, test), notably once MCPS are used in the field.

To evaluate the interest of such lightweight Formal Methods, MODMED will study a MCPS guiding Total Knee Arthroplasties (TKA) to design and implement adapted tools:
  • a Domain-Specific Language for MCPS requirements
  • a trace library adapted to industry constraints
  • tools for understanding traces, evaluating the quality of tests, generating monitors, etc. 
These open source tools will be used by MCPS manufacturers in relation with the MODMED Consortium which gathers:
  •  a medical device manufacturer: 
    Blue Ortho

  • a research team:
    LIG   VASCO
  • and a software components and services provider:
    MinMaxMedical

The project is partly funded by: