Pacemaker and model heart
Eric explaining our project to an industry expert at the Fall 2016 SEAS Project Fair
DDD Pacemaker Project
Our team of four students modeled the heart and DDD type cardiac pacemaker in UPPAAL and wrote queries to verify they were deadlock free and met the timing constraints. The heart and pacemaker were prototyped on two mbed LPC1768 ARM (32-bit Cortex-M3) microcontrollers and the code was written in C++.