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