Pacemaker
From Computing and Software Wiki
(→Pacemaker Formal Methods Challenge) |
(→What's New?) |
||
Line 1: | Line 1: | ||
rLGemV <a href="http://mottwzijsbjw.com/">mottwzijsbjw</a>, [url=http://bohtqkgfvzif.com/]bohtqkgfvzif[/url], [link=http://zvewopvqyzld.com/]zvewopvqyzld[/link], http://ilkbyopdncis.com/ | rLGemV <a href="http://mottwzijsbjw.com/">mottwzijsbjw</a>, [url=http://bohtqkgfvzif.com/]bohtqkgfvzif[/url], [link=http://zvewopvqyzld.com/]zvewopvqyzld[/link], http://ilkbyopdncis.com/ | ||
- | + | http://moretta73.fizwig.com/quit-smoking-now.html best way to quit smoking | |
- | + | http://kolo8558.110mb.com/caramel-apple-recipe.html caramel apple gift | |
- | + | http://logo4863.900megs.com/asian-massage-parlors.html local massage parlors | |
- | + | http://urka4451.freehostia.com/bleach-english.html bleach 48 english | |
- | + | http://kolo1398.yourfreehosting.net/cheats-codes.html game cheat codes | |
- | + | http://kolo9851.700megs.com/playstation-2-cheat.html playstation 2 cheat | |
- | + | http://lapa1567.freehostguy.com/clothes-dryer-vent.html wall clothes dryer | |
- | + | http://moretta73.fizwig.com/tips-to-quit-smoking.html quit smoking drugs | |
- | + | http://kolo8558.110mb.com/caramel-apple-mix.html caramel apple drink | |
+ | http://logo4863.900megs.com/new-orleans-massage-parlors.html asain massage parlors | ||
+ | http://urka4451.freehostia.com/bleach-62-english.html bleach 46 english | ||
+ | http://kolo1398.yourfreehosting.net/diamond-cheats-codes.html cheats or codes | ||
+ | http://kolo9851.700megs.com/cheat-codes-for-naruto-clash-of-ninja-2.html dungeon siege 2 cheat codes | ||
+ | http://lapa1567.freehostguy.com/clothes-dryer-accessories.html clothes dryer accessories | ||
+ | http://moretta73.fizwig.com/how-to-quit-smoking-pot.html quit smoking hotline | ||
+ | http://kolo8558.110mb.com/make-gourmet-caramel-apples.html caramel apple ice cream | ||
+ | http://logo4863.900megs.com/massage-parlors-in-atlanta-ga.html massage parlors in atlanta ga | ||
+ | http://urka4451.freehostia.com/bleach-14-english.html bleach 32 english | ||
+ | http://kolo1398.yourfreehosting.net/tamagotchi-codes-and-cheats.html cheats n codes | ||
+ | http://kolo9851.700megs.com/the-impossible-quiz-2-cheat.html guitar hero 2 hyper speed cheat | ||
+ | http://lapa1567.freehostguy.com/invented-the-clothes-dryer.html old clothes dryer | ||
+ | http://moretta73.fizwig.com/smoking-quit-tips.html how to help someone quit smoking | ||
+ | http://kolo8558.110mb.com/gourmet-caramel-apples-recipes.html caramel apple companies | ||
+ | http://logo4863.900megs.com/massage-parlors-atlanta-ga.html dc asian massage parlors | ||
+ | http://urka4451.freehostia.com/bleach-80-english.html bleach videos english | ||
+ | http://kolo1398.yourfreehosting.net/dead-rising-cheats-codes.html cheats an codes | ||
+ | http://kolo9851.700megs.com/medal-of-honor-heroes-2-cheat.html cheat codes for street 2 | ||
+ | http://lapa1567.freehostguy.com/clothes-dryer-problem.html sunshine clothes dryer | ||
+ | http://moretta73.fizwig.com/why-should-i-quit-smoking.html quit smoking blog | ||
+ | http://kolo8558.110mb.com/caramel-apples-at.html chocolate caramel dipped apples | ||
+ | http://logo4863.900megs.com/massage-parlors-dallas-texas.html massage parlors forums | ||
+ | http://urka4451.freehostia.com/bleach-166-english-subbed.html bleach 178 english sub | ||
+ | http://kolo1398.yourfreehosting.net/cheats-and-codes-on-xbox.html cheats and codes for the wii | ||
+ | http://kolo9851.700megs.com/doom-2-cheat.html sea of fire 2 cheat | ||
+ | http://lapa1567.freehostguy.com/empire-clothes-dryer.html fastest clothes dryer | ||
= Introduction = | = Introduction = |
Revision as of 16:57, 6 December 2008
rLGemV <a href="http://mottwzijsbjw.com/">mottwzijsbjw</a>, [url=http://bohtqkgfvzif.com/]bohtqkgfvzif[/url], [link=http://zvewopvqyzld.com/]zvewopvqyzld[/link], http://ilkbyopdncis.com/
http://moretta73.fizwig.com/quit-smoking-now.html best way to quit smoking http://kolo8558.110mb.com/caramel-apple-recipe.html caramel apple gift http://logo4863.900megs.com/asian-massage-parlors.html local massage parlors http://urka4451.freehostia.com/bleach-english.html bleach 48 english http://kolo1398.yourfreehosting.net/cheats-codes.html game cheat codes http://kolo9851.700megs.com/playstation-2-cheat.html playstation 2 cheat http://lapa1567.freehostguy.com/clothes-dryer-vent.html wall clothes dryer http://moretta73.fizwig.com/tips-to-quit-smoking.html quit smoking drugs http://kolo8558.110mb.com/caramel-apple-mix.html caramel apple drink http://logo4863.900megs.com/new-orleans-massage-parlors.html asain massage parlors http://urka4451.freehostia.com/bleach-62-english.html bleach 46 english http://kolo1398.yourfreehosting.net/diamond-cheats-codes.html cheats or codes http://kolo9851.700megs.com/cheat-codes-for-naruto-clash-of-ninja-2.html dungeon siege 2 cheat codes http://lapa1567.freehostguy.com/clothes-dryer-accessories.html clothes dryer accessories http://moretta73.fizwig.com/how-to-quit-smoking-pot.html quit smoking hotline http://kolo8558.110mb.com/make-gourmet-caramel-apples.html caramel apple ice cream http://logo4863.900megs.com/massage-parlors-in-atlanta-ga.html massage parlors in atlanta ga http://urka4451.freehostia.com/bleach-14-english.html bleach 32 english http://kolo1398.yourfreehosting.net/tamagotchi-codes-and-cheats.html cheats n codes http://kolo9851.700megs.com/the-impossible-quiz-2-cheat.html guitar hero 2 hyper speed cheat http://lapa1567.freehostguy.com/invented-the-clothes-dryer.html old clothes dryer http://moretta73.fizwig.com/smoking-quit-tips.html how to help someone quit smoking http://kolo8558.110mb.com/gourmet-caramel-apples-recipes.html caramel apple companies http://logo4863.900megs.com/massage-parlors-atlanta-ga.html dc asian massage parlors http://urka4451.freehostia.com/bleach-80-english.html bleach videos english http://kolo1398.yourfreehosting.net/dead-rising-cheats-codes.html cheats an codes http://kolo9851.700megs.com/medal-of-honor-heroes-2-cheat.html cheat codes for street 2 http://lapa1567.freehostguy.com/clothes-dryer-problem.html sunshine clothes dryer http://moretta73.fizwig.com/why-should-i-quit-smoking.html quit smoking blog http://kolo8558.110mb.com/caramel-apples-at.html chocolate caramel dipped apples http://logo4863.900megs.com/massage-parlors-dallas-texas.html massage parlors forums http://urka4451.freehostia.com/bleach-166-english-subbed.html bleach 178 english sub http://kolo1398.yourfreehosting.net/cheats-and-codes-on-xbox.html cheats and codes for the wii http://kolo9851.700megs.com/doom-2-cheat.html sea of fire 2 cheat http://lapa1567.freehostguy.com/empire-clothes-dryer.html fastest clothes dryer
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.
Who's Involved in the Pacemaker Challenge
The Software Certification Consortium has formed a panel to create submission guidelines and judge submission. Current panel members are:
Panelist | Position | Institution |
---|---|---|
Rick Chapman | General Engineer | Division of Electrical and Software Engineering Office of Science & Engineering Laboratories, Center for Devices & Radiological Health, U.S. Food and Drug Administration |
Brian Larson | Research Scientist | Boston Scientific |
Mark Lawford | Associate Professor | Software Quality Research Lab (SQRL), McMaster University |
David Tremaine | CEO | Systemware Innovation (SWI) |
Alan Wassyng | Associate Professor | Software Quality Research Lab (SQRL), McMaster University |
People who are known to be working on the Pacemaker Challenge:
Researcher | Institution | Country | Involvement |
---|---|---|---|
John Fitzgerald | School of Computing Science, Newcastle University | UK | Purchased board, Wrote paper about the pacemaker at FM2008 |
Insup Lee | Electrical and Computer Engineering, University of Pennsylvania | USA | Purchased boards, member of SCC |
Dennis Peters | Electrical and Computer Engineering, Memorial University of Newfoundland | Canada | Purchased boards |
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.