Modeling Cardiac Pacemakers With Timed Coloured Petri Nets And Related Tools
Abstract
The Software Quality Research Laboratory at McMaster University proposed the pacemaker system specification as a pilot problem for the Verified Software Initiative. This research utilizes formal methods to model and verify the interdisciplinary requirements of pacemaker systems. It additionally provides customizable data to assess and optimize various algorithms and parameters.