Pacemaker

From Computing and Software Wiki

(Difference between revisions)
Jump to: navigation, search
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/
+
= Pacemaker Formal Methods Challenge =
-
http://moretta73.fizwig.com/quit-smoking-now.html best way to quit smoking
+
See the [[Pacemaker FAQ]] for detailed questions about the requirements, hardware or pacemakers in general.  
-
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
+
-
http://bang9516.700megs.com/nacho-cheese-dispenser.html cream cheese muffin
+
See below for What's New, an Intro, etc.
-
http://lapa4651.001webs.com/easy-healthy-recipes.html healthy bread recipes
+
 
-
http://rina1547.freehostia.com/mountain-city-tennessee.html mountain city colorado
+
= What's New? =
-
http://lapa0000.freewhost.com/the-avatar-book-3.html avatar book 3 fire
+
* '''Oct 22, 2008:''' A web page has been set up containing updates on the [http://www.vdmportal.org/twiki/bin/view/Main/PacemakerCaseStudy VDM work on the Pacemaker].  
-
http://lapa1653.900megs.com/microsoft-money-crack.html microsoft money 2004
+
* '''Oct 6, 2008:''' Of the initial run of 50 hardware reference platform, 17 remain available for purchase. Get yours while they are still available, otherwise you'll have to make your own or hope for a 2nd production run.
-
http://rina0255.001webs.com/popular-culture.html gender popular culture
+
* '''Sept 15, 2008:''' John Fitzgerald gave an invited talk about the Pacemaker Challenge to the [http://www.abz2008.org/VsrNetProgramme.pdf VSR-net day] held at the [http://www.abz2008.org/ ABZ conference] in London. John's slides are available [http://www.vdmportal.org/twiki/pub/Main/PacemakerCaseStudy/FitzgeraldPacemaker.pdf Here]. There was a positive response to the talk (plus a discussion about certification evidence) and John hope to arrange a workshop for those wanting to contribute at the latest early in 2009, probably at Newcastle University, UK.  
-
http://urka1564.my3gb.com/marriage-license-florida.html marriage license for florida
+
* '''Sept 15, 2008:''' The pacemaker challenge has been adopted by Alan Wassyng of McMaster's Department of Computing and Software for the course ''SFWR ENG 3K04 SOFTWARE DEVELOPMENT'' that is taught to 3rd year undergraduate Mechatronics Engineering and Electrical Engineering students.
-
http://bang9516.700megs.com/who-stole-my-cheese.html cheese board slicer
+
* '''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.
-
http://lapa4651.001webs.com/healthy-muffin-recipes.html healthy eating recipe
+
* '''July 22, 2008:''' Mark Lawford presented "The Pace Maker Challenge" at the Real-time and Embedded System Forum (RTES) [http://www.opengroup.org/chicago2008/member-meetings-index.htm Member Meeting] of the [http://www.opengroup.org/chicago2008/venue.htm Open Group Conference], Chicago, IL. This presentation documents the experience from using the Pacemaker Challenge in the senior thesis course for the Undergraduate Software Engineering Students at McMaster University.
-
http://rina1547.freehostia.com/park-city-ut-mountain.html mountain city news
+
* '''May 29, 2008:''' At ''[http://www.fm2008.abo.fi/ FM2008]'' the paper "Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM" by Hugo Daniel Macedo, Peter Gorm Larsen and John Fitzgerald was presented. The paper documents the authors progress on Pacemaker Challenge.  The full paper is available [http://dx.doi.org/10.1007/978-3-540-68237-0_14 here].
-
http://lapa0000.freewhost.com/avatar-book-3-20.html avatar book 3 final
+
* '''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!
-
http://lapa1653.900megs.com/microsoft-money-update.html microsoft money rebate
+
 
-
http://rina0255.001webs.com/popular-culture-review.html teaching popular culture
+
= Introduction =
-
http://urka1564.my3gb.com/florida-marriage-name.html broward county florida marriage license
+
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].
-
http://bang9516.700megs.com/low-fat-macaroni-and-cheese.html feta cheese dip
+
 
-
http://lapa4651.001webs.com/healthy-italian-recipes.html great healthy recipes
+
== Who's Involved in the Pacemaker Challenge ==
-
http://rina1547.freehostia.com/mountain-property-management-park-city.html lodge at mountain village park city utah
+
 
-
http://lapa0000.freewhost.com/avatar-book-3-dvds.html avatar book 3 chapter16
+
The [[Software Certification Consortium]] has formed a panel to create submission guidelines and judge submission.  Current panel members are:
-
http://lapa1653.900megs.com/microsoft-money-2005-update.html microsoft money manager
+
{| border="1" cellpadding="10" cellspacing="0"
-
http://rina0255.001webs.com/john-fiske-understanding-popular-culture.html john fiske understanding popular culture
+
!Panelist
-
http://urka1564.my3gb.com/beach-county-florida-marriage.html and florida and marriage
+
!Position
-
http://bang9516.700megs.com/chucke-cheese-pizza.html blue stilton cheese
+
!Institution
-
http://lapa4651.001webs.com/thanksgiving-healthy-recipes.html thanksgiving healthy recipes
+
|-
-
http://rina1547.freehostia.com/city-in-a-mountain.html city of mountain park ga
+
|Rick Chapman
-
http://lapa0000.freewhost.com/wach-avatar-book-3.html watch avatar book 3 ch 14
+
|General Engineer
-
http://lapa1653.900megs.com/microsoft-money-import.html microsoft money ppc
+
|Division of Electrical and Software Engineering Office of Science & Engineering Laboratories, [http://www.fda.gov/cdrh/index.html Center for Devices & Radiological Health, U.S. Food and Drug Administration]
-
http://rina0255.001webs.com/current-popular-culture.html popular culture 2005
+
|-
-
http://urka1564.my3gb.com/marriage-license-in-miami-florida.html of continuous marriage florida
+
|Brian Larson
-
http://bang9516.700megs.com/broccolli-cheese-soup.html sugar free cheese cake
+
|Research Scientist
-
http://lapa4651.001webs.com/easy-healthy-kids-recipes.html easy healthy college recipes
+
|[http://www.bostonscientific.com/ Boston Scientific]
-
http://rina1547.freehostia.com/dakota-mountain-lodge-park-city.html park city mountain resourt
+
|-
-
http://lapa0000.freewhost.com/avatar-book-3-chapter-12-veoh.html avatar book 3 chapter 12 video
+
|Mark Lawford
-
http://lapa1653.900megs.com/microsoft-money-sale.html microsoft money small
+
|Associate Professor
-
http://rina0255.001webs.com/latino-a-popular-culture.html popular culture 1998
+
|[http://sqrl.mcmaster.ca Software Quality Research Lab] (SQRL), McMaster University
 +
|-
 +
|David Tremaine
 +
|CEO
 +
|[http://www.swi.com/ Systemware Innovation] (SWI)
 +
|-
 +
|Alan Wassyng
 +
|Associate Professor
 +
|[http://sqrl.mcmaster.ca Software Quality Research Lab] (SQRL), McMaster University
 +
|}
 +
 
 +
 
 +
People who are known to be working on the Pacemaker Challenge:
 +
 
 +
{| border="1" cellpadding="10" cellspacing="0"
 +
!Researcher
 +
!Institution
 +
!Country
 +
!Involvement
 +
|-
 +
|[http://homepages.cs.ncl.ac.uk/john.fitzgerald/ John Fitzgerald]
 +
|School of Computing Science, Newcastle University
 +
|UK
 +
|Purchased board, Wrote paper about the pacemaker at FM2008
 +
|-
 +
|[http://www.cis.upenn.edu/~lee/home/home.html Insup Lee]
 +
|Electrical and Computer Engineering, University of Pennsylvania
 +
|USA
 +
|Purchased boards, member of SCC
 +
|-
 +
|[http://www.engr.mun.ca/~dpeters/ Dennis Peters]
 +
|Electrical and Computer Engineering, Memorial University of Newfoundland
 +
|Canada
 +
|Purchased boards
 +
|}
= Pacemaker Hardware Reference Platform =
= Pacemaker Hardware Reference Platform =

Revision as of 00:34, 7 December 2008

Contents

Pacemaker Formal Methods Challenge

See the Pacemaker FAQ for detailed questions about the requirements, hardware or pacemakers in general.

See below for What's New, an Intro, etc.

What's New?

  • Oct 22, 2008: A web page has been set up containing updates on the VDM work on the Pacemaker.
  • Oct 6, 2008: Of the initial run of 50 hardware reference platform, 17 remain available for purchase. Get yours while they are still available, otherwise you'll have to make your own or hope for a 2nd production run.
  • Sept 15, 2008: John Fitzgerald gave an invited talk about the Pacemaker Challenge to the VSR-net day held at the ABZ conference in London. John's slides are available Here. There was a positive response to the talk (plus a discussion about certification evidence) and John hope to arrange a workshop for those wanting to contribute at the latest early in 2009, probably at Newcastle University, UK.
  • Sept 15, 2008: The pacemaker challenge has been adopted by Alan Wassyng of McMaster's Department of Computing and Software for the course SFWR ENG 3K04 SOFTWARE DEVELOPMENT that is taught to 3rd year undergraduate Mechatronics Engineering and Electrical Engineering students.
  • 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.
  • July 22, 2008: Mark Lawford presented "The Pace Maker Challenge" at the Real-time and Embedded System Forum (RTES) Member Meeting of the Open Group Conference, Chicago, IL. This presentation documents the experience from using the Pacemaker Challenge in the senior thesis course for the Undergraduate Software Engineering Students at McMaster University.
  • May 29, 2008: At FM2008 the paper "Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System using VDM" by Hugo Daniel Macedo, Peter Gorm Larsen and John Fitzgerald was presented. The paper documents the authors progress on Pacemaker Challenge. The full paper is available here.
  • 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.

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.

Personal tools