-
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++.
Built With
- c++
- uppaal
- mbed
Log in or sign up for Devpost to join the conversation.