GitHub - prathik37/Pacemaker_Project: Cardiac pacemaker model in UPPAAL and real-time interrupt-driven modules in C++ on mBed

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
UPPAAL Model and Queries		UPPAAL Model and Queries
mBed codes and test cases		mBed codes and test cases
.gitattributes		.gitattributes
.gitignore		.gitignore
README.txt		README.txt

Repository files navigation

Pacemaker Challenge Project
CIS541 (Embedded Software) at the University of Pennsylvania

Model Based Software Development included
1. Designing the heart and pacemaker model on UPPAAL and verifying queries.
2. Implementing the above models in C++ on mBed board (NXP LPC 1768 microcontroller)