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

Share this project: