Pacemaker

From Computing and Software Wiki

(Difference between revisions)
Jump to: navigation, search
m
(Pacemaker Formal Methods Challenge)
Line 1: Line 1:
= Pacemaker Formal Methods Challenge =
= Pacemaker Formal Methods Challenge =
-
== Introduction ==
+
= What's New? =
 +
 
 +
* '''Aug 20, 2008:''' Hardware Reference Platform boards are now available at a cost of $350/board + shipping. Send an email to [mailto:lawford@mcmaster.ca Mark Lawford] to request boards.
 +
* '''Nov 23, 2007:''' Pacemaker chosen as one of the ICSE 2009 Student COntest in softwaRe Engineering (SCORE 2009) problems. See http://score.elet.polimi.it for details!
 +
 
 +
= Introduction =
The Pacemaker Grand Challenge is the first certification challenge problem issued by the [[Software Certification Consortium]] (SCC).  It is being hosted by the McMaster University's [http://sqrl.mcmaster.ca Software Quality Research Lab] (SQRL).  More detailed documentation on the Pacemaker Challenge can be found at [http://sqrl.mcmaster.ca/pacemaker.htm SQRL].
The Pacemaker Grand Challenge is the first certification challenge problem issued by the [[Software Certification Consortium]] (SCC).  It is being hosted by the McMaster University's [http://sqrl.mcmaster.ca Software Quality Research Lab] (SQRL).  More detailed documentation on the Pacemaker Challenge can be found at [http://sqrl.mcmaster.ca/pacemaker.htm SQRL].
Detailed questions about the requirements, hardware or pacemakers in general can be found in the [[Pacemaker FAQ]].
Detailed questions about the requirements, hardware or pacemakers in general can be found in the [[Pacemaker FAQ]].
-
== Pacemaker Hardware Reference Platform ==
+
= Pacemaker Hardware Reference Platform =
The hardware reference platform, developed by students at the University of Minnesota, is based upon an 8-bit PIC18F4520 microcontroller. It include analog filtering for the input signals from the atrial and ventricle as well as programmable resistors to set the sense thresholds and pace amplitude, external 16 bit A/D converters to allow real-time ECG data to be transmitted from the board, a magnetic reed switch (for magnet mode) , a MAX232 for RS-232 serial communication with a PC acting as a Device Controller-Monitor (DCM) and an accelerometer for rate adaptive modes.  
The hardware reference platform, developed by students at the University of Minnesota, is based upon an 8-bit PIC18F4520 microcontroller. It include analog filtering for the input signals from the atrial and ventricle as well as programmable resistors to set the sense thresholds and pace amplitude, external 16 bit A/D converters to allow real-time ECG data to be transmitted from the board, a magnetic reed switch (for magnet mode) , a MAX232 for RS-232 serial communication with a PC acting as a Device Controller-Monitor (DCM) and an accelerometer for rate adaptive modes.  
-
A number of the parts used in the original design are not readliy available so we have update the design and produced 5 prototype boards for testing that were used at McMaster University for the Software Engineering Senior Thesis course.  Once we have finished debugging the revised design we will be producing an additional 45 board for sale at cost (approx. $350 CDN) to interested students, researchers and industry people.
+
A number of the parts used in the original design are not readliy available so we have update the design and produced 5 prototype boards for testing that were used at McMaster University for the Software Engineering Senior Thesis course.  We have now produced an additional 45 board for sale at cost (approx. $350 CDN + shipping) to interested students, researchers and industry people.  The boards come with cables to connect directly to a Microchip ICD2 or PICKit2 programmer.  You will need to supply your own 12V DC/150+mA Power supply and serial cable.
See the [[Pacemaker Hardware Reference Platform Details]] for schematic, Bill Of Materials (BOM) and other details.
See the [[Pacemaker Hardware Reference Platform Details]] for schematic, Bill Of Materials (BOM) and other details.
 +
 +
Send an email to [mailto:lawford@mcmaster.ca Mark Lawford] to request boards.

Revision as of 20:52, 20 August 2008

Contents

Pacemaker Formal Methods Challenge

What's New?

  • Aug 20, 2008: Hardware Reference Platform boards are now available at a cost of $350/board + shipping. Send an email to Mark Lawford to request boards.
  • Nov 23, 2007: Pacemaker chosen as one of the ICSE 2009 Student COntest in softwaRe Engineering (SCORE 2009) problems. See http://score.elet.polimi.it for details!

Introduction

The Pacemaker Grand Challenge is the first certification challenge problem issued by the Software Certification Consortium (SCC). It is being hosted by the McMaster University's Software Quality Research Lab (SQRL). More detailed documentation on the Pacemaker Challenge can be found at SQRL.

Detailed questions about the requirements, hardware or pacemakers in general can be found in the Pacemaker FAQ.

Pacemaker Hardware Reference Platform

The hardware reference platform, developed by students at the University of Minnesota, is based upon an 8-bit PIC18F4520 microcontroller. It include analog filtering for the input signals from the atrial and ventricle as well as programmable resistors to set the sense thresholds and pace amplitude, external 16 bit A/D converters to allow real-time ECG data to be transmitted from the board, a magnetic reed switch (for magnet mode) , a MAX232 for RS-232 serial communication with a PC acting as a Device Controller-Monitor (DCM) and an accelerometer for rate adaptive modes.

A number of the parts used in the original design are not readliy available so we have update the design and produced 5 prototype boards for testing that were used at McMaster University for the Software Engineering Senior Thesis course. We have now produced an additional 45 board for sale at cost (approx. $350 CDN + shipping) to interested students, researchers and industry people. The boards come with cables to connect directly to a Microchip ICD2 or PICKit2 programmer. You will need to supply your own 12V DC/150+mA Power supply and serial cable.

See the Pacemaker Hardware Reference Platform Details for schematic, Bill Of Materials (BOM) and other details.

Send an email to Mark Lawford to request boards.

Personal tools