DFMD 2026 (series) / Dutch Formal Methods Day 2026 /
Model based testing of the Bilihome medical device, an experience report
This presentation is about how the Bilihome medical device has been developed, in particular about the modeling and model-based-testing of it. Bilihome makes a wearable Light Therapy device, designed to help newborn babies recover from jaundice. The device consists of several technical components such as the GUI, pads, battery, LEDs, control software etc. Together they enable medical treatments. We show
- How to model the components in such a device
- How model-based testing gives more coverage than alternative test automation techniques.
- How model-based testing works in the regulated medical market.
- An experience report of how we applied model-based testing and the issues that we found and solved.
Thu 4 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 4 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
13:20 - 14:35 | TalksDFMD at Auditorium 5 Chair(s): Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen | ||
13:20 25mTalk | Model based testing of the Bilihome medical device, an experience report DFMD Machiel van der Bijl Axini | ||
13:45 25mTalk | Parametrised complexity in discrete probabilistic programming and beyond DFMD | ||
14:10 25mTalk | The JustAct framework (for open normative systems) and its definition in Rocq DFMD Christopher Esterhuyse University of Amsterdam Pre-print | ||