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:
These open source tools will be used by MCPS manufacturers in relation with the MODMED Consortium which gathers:
The project is partly funded by: