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. Their whole formalisation is out of reach but our “targeted” Formal Method allows verifying a reduced number of critical properties on their execution traces in a safer, more factual and efficient way than current industry practices (reviews, manual tests). Especially once MCPS are used in the field!
MODMED studied a MCPS guiding Total Knee Arthroplasties (TKA) to design the method and implement adapted tools available on the GRICAD's Gitlab:
The MODMED consortium keeps working on:
These open source tools will be used by MCPS manufacturers in relation with the MODMED Consortium which gathers:
The project is partly funded by ANR-15-CE25-0010 |