the cardiac pacemaker case study and its implementation
play

The Cardiac Pacemaker Case Study and its implementation in - PowerPoint PPT Presentation

Jun 18, 2023 •172 likes •518 views

The Cardiac Pacemaker Case Study and its implementation in Safety-Critical Java and Ravenscar Ada Neeraj Kumar Singh, Andy Wellings, Ana Cavalcanti University of York, United Kingdom JTRES, 24-26 October 2012 Singh, Wellings and Cavalcanti

  1. The Cardiac Pacemaker Case Study and its implementation in Safety-Critical Java and Ravenscar Ada Neeraj Kumar Singh, Andy Wellings, Ana Cavalcanti University of York, United Kingdom JTRES, 24-26 October 2012 Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 1 / 23

  2. Outline Context and Motivation 1 Heart System 2 The Cardiac Pacemaker 3 DDDR Pacing Mode 4 The Cardiac Pacemaker Architecture in SCJ 5 Conclusion 6 Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 2 / 23

  3. Context and Motivation Context Evaluation of a concurrency model of a cardiac pacemaker using two programming languages: Safety Critical Java (SCJ) and Ravenscar Ada. Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 3 / 23

  4. Context and Motivation Context Evaluation of a concurrency model of a cardiac pacemaker using two programming languages: Safety Critical Java (SCJ) and Ravenscar Ada. Motivation To contribute in the area of Grand Challenges. Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 3 / 23

  5. Context and Motivation Context Evaluation of a concurrency model of a cardiac pacemaker using two programming languages: Safety Critical Java (SCJ) and Ravenscar Ada. Motivation To contribute in the area of Grand Challenges. Implementation of cardiac pacemaker in SCJ. Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 3 / 23

  6. Context and Motivation Context Evaluation of a concurrency model of a cardiac pacemaker using two programming languages: Safety Critical Java (SCJ) and Ravenscar Ada. Motivation To contribute in the area of Grand Challenges. Implementation of cardiac pacemaker in SCJ. A comparative study of SCJ and Ravenscar Ada. Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 3 / 23

  7. Context and Motivation Context Evaluation of a concurrency model of a cardiac pacemaker using two programming languages: Safety Critical Java (SCJ) and Ravenscar Ada. Motivation To contribute in the area of Grand Challenges. Implementation of cardiac pacemaker in SCJ. A comparative study of SCJ and Ravenscar Ada. To meet the certification standards. Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 3 / 23

  8. Context and Motivation Context Evaluation of a concurrency model of a cardiac pacemaker using two programming languages: Safety Critical Java (SCJ) and Ravenscar Ada. Motivation To contribute in the area of Grand Challenges. Implementation of cardiac pacemaker in SCJ. A comparative study of SCJ and Ravenscar Ada. To meet the certification standards. hiJaC Project Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 3 / 23

  9. Heart System Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 4 / 23

  10. Electrical Signal of the Heart Atrioventricular Sinoatrial (AV) (SA) Node Node Bundle of His Left Atrium Right Atrium Left Bundle Branch Right Ventricle Right Bundle Left Ventricle Branch Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 5 / 23

  11. Timing Cycles R R T T P P S S time Q Q VRP ARP AVI PVARP TARP VAI LRI Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 6 / 23

  12. Timing Intervals in a Single Heart Beat Time Intervals Time in milliseconds Length of a P wave ( T P ) 110 Duration of pulse ( T pulse ) 1 Length of a QRS complex ( T QRS ) 100 Atrioventricular interval (AVI) 150 Ventriculoatrial interval (VAI) 850 Postventricular atrial refractory (PVARP) 350 Mode Switching Interval (MSI) 500 Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 7 / 23

  13. The Cardiac Pacemaker Pacemaker A pacemaker is an electronic device implanted in the body to regulate the abnormal heart rhythm (bradycardia). Types:1,2 and 3-Electrodes. Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 8 / 23

  14. The Cardiac Pacemaker Pacemaker A pacemaker is an electronic device implanted in the body to regulate the abnormal heart rhythm (bradycardia). Types:1,2 and 3-Electrodes. Basic elements of Pacemaker Leads Pacemaker generator Device Control Monitor (DCM) Accelerometer Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 8 / 23

  15. Operating Modes : NASPE/BPEG Generic Code Operating Modes : NASPE/BPEG Generic Code Category Chambers Chambers Response to Rate Modulation Paced Sensed Sensing Letters O -None O -None O -None R -Rate Modulation A -Atrium A -Atrium T -Triggered V -Ventricle V -Ventricle I -Inhibited D -Dual(A+V) D -Dual(A+V) D -Dual(T+I) i.e. AOO, VOO, AAI, AAT, VVI, DVIR, AOOR, DDDR etc. Periodic stimuli : (AOO, VOO and DOO) Aperiodic stimuli : (AAI, VVI, DDD, DDI, etc.) Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 9 / 23

  16. Basic Architecture of a Cardiac Pacemaker MICROCHIP PIC Processor Atrial Pacing Atrial Rate Modulation Ventrical Ventrical Pacing Pulse Generator Heartbeat Sensor Sensor Heartbeat Sensor Pulse Generator Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 10 / 23

  17. The DDDR Pacing Scenarios (A) Atrial Ventricle Pace Pace time AVI VAI LRI PVARP Ventricle Sense Atrial (B) Pace time Atrial Ventricle (C) Sense Pace time R Ventricle Atrial Sense Sense T (D) P S time Q Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 11 / 23

  18. Rate Modulation and Mode Switching Rate Modulation Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 12 / 23

  19. Rate Modulation and Mode Switching Rate Modulation Mode Switching (DDDR ↔ DDIR) Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 12 / 23

  20. The Required DDDR Pacing Cycle Update VAI yes no Change Rate no yes no yes Set VAI Set AVI no yes Wait Atrium VAI Pace Ventricle AVI Pace Countdown Countdown PVARP Sensed Expired Atrium Sensed Expired Ventricle Timer Timer yes No Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 13 / 23

  21. Safety Critical Java Select Mission Mission Mission Start Halt Mission Initialization Execution Cleanup Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 14 / 23

  22. The Cardiac Pacemaker Architecture in SCJ MICROCHIP PIC Processor Atrial Pacing Atrial Rate Modulation Ventrical Ventrical Pacing Pulse Generator Heartbeat Sensor Sensor Heartbeat Sensor Pulse Generator Aperiodic Aperiodic Periodic Periodic Periodic Handler Handler Handler Handler Handler Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 15 / 23

  23. Algorithm for the Atrium Sensor Periodic Handler Time elapsed Intrinsic Time elapse since Release atrium pacer atriumActivity since Read no Yes Yes Atrium activity No lastVentricularActivity Yes Set Occurred lastVentricularActivity >= sensor sensed >= VAI attriumActivityOccurred PVARP Yes Set lastAtriumActivity time Yes Set attriumActivityOccurred Clear ventricularActivityOccurred No No Wait for next release event Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 16 / 23

  24. Algorithm for the Atrium Pacer Aperiodic Handler Set lastAtriumActivityTime Time elapse Pace current on since atrium activity >= Yes Sleep 1 ms VAI Pace current off Clear ventricularActivityOccurred No Wait next release Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 17 / 23

  25. Algorithm for the Ventricle Sensor Periodic handler Intrinsic ventricular Read ventricular Set lastVentricularActivity No Yes ActivityOccurred sensor activity Clear atriumActivityOccurred sensed No Time elapsed since Release ventricular Yes Set ventricularActivittyOccurred Yes lastAtriumActivity > AVI pacer No Wait for next Request mission Mode change Yes release event termination needed No Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 18 / 23

  26. Algorithm for the Ventricle Pacer Aperiodic Handler Set lastVentricularActivity Pace current on Time elapsed since Yes Sleep 1ms lastVenticularActivity > PVARP+AVI Pace current off Clear atriumActivityOccurred No Wait for next release event Singh, Wellings and Cavalcanti (UoY) Cardiac Pacemaker in SCJ & Ravenscar Ada JTRES, 24-26 October 2012 19 / 23

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

OUTLINE Case studies 1) AF on pacemaker 2) AFL on dofetilide patient 3) Post

OUTLINE Case studies 1) AF on pacemaker 2) AFL on dofetilide patient 3) Post

9/30/2015 The more we look the more we see The more we see the less the we know David Singh MD Cardiac Electrophysiology Queens Medical Center OUTLINE Case studies 1) AF on pacemaker 2) AFL on dofetilide patient 3) Post

440 views • 14 slides
C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala , Sayan Mitra, Mahesh

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala , Sayan Mitra, Mahesh

C2E2: A Verification Tool For Stateflow Models Parasara Sridhar Duggirala , Sayan Mitra, Mahesh Viswanathan, Matthew Potok Pacemaker Cardiac Cell System + 2 Pacemaker Cardiac Cell System stimulating pulse 0 1 Pacemaker

570 views • 33 slides
Cardiac Rhythm Generator and Temporary Pacemaker Training Simulator Team Leader- Zach Bower

Cardiac Rhythm Generator and Temporary Pacemaker Training Simulator Team Leader- Zach Bower

Cardiac Rhythm Generator and Temporary Pacemaker Training Simulator Team Leader- Zach Bower Communicator- Dhyuti Ramadas BWIG- Makayla Kiersten Advisor: Dr. John Puccinelli Clients: Dr. Hagen and Dr. Medow Problem Statement and Client

468 views • 12 slides
Nursing Care of the Post Cardiac Transplant Extracorporeal Membrane Oxygenation Patient: A Case

Nursing Care of the Post Cardiac Transplant Extracorporeal Membrane Oxygenation Patient: A Case

Nursing Care of the Post Cardiac Transplant Extracorporeal Membrane Oxygenation Patient: A Case Study September 27, 2015 ECMO: A Case Study Who we are Staff nurses of Cardiac Surgery Intensive Care (CSICU) at the University of Ottawa Heart

644 views • 46 slides
Modified Rand Method to Derive Quality Indicators CARDSS with a Case Study in Cardiac

Modified Rand Method to Derive Quality Indicators CARDSS with a Case Study in Cardiac

Modified Rand Method to Derive Quality Indicators CARDSS with a Case Study in Cardiac Rehabilitation CArdiac Rehabilitation Decision Support System Maritte van Engen-Verheul, Hareld Kemps, Roderik Kraaijenhagen, Nicolette de Keizer, Niels

502 views • 21 slides
Key Concept #1 Cautery Sensed by Pacemaker Cautery can be sensed by a pacemaker in If

Key Concept #1 Cautery Sensed by Pacemaker Cautery can be sensed by a pacemaker in If

Pacemaker-Electrocautery Perioperative Electrophysiology: Interactions 1. Asystole Pacemaker-Electrocautery 2. Accelerated/erratic tracking Interactions 3. Noise reversion mode activation 4. Pacemaker reset 5. Rate response mode activation

323 views • 8 slides
CLI Case Study Jihad A. Mustapha, MD, FACC, FSCAI Advanced Cardiac & Vascular Centers for

CLI Case Study Jihad A. Mustapha, MD, FACC, FSCAI Advanced Cardiac & Vascular Centers for

CLI Case Study Jihad A. Mustapha, MD, FACC, FSCAI Advanced Cardiac & Vascular Centers for Amputation Prevention Grand Rapids, MI, USA Clinical Associate Professor of Medicine Michigan State University College of Human Medicine E. Lansing,

513 views • 20 slides
Case study 2 Case study 2 Case study 2 Case study 2 Former Industrial Site, London: How has

Case study 2 Case study 2 Case study 2 Case study 2 Former Industrial Site, London: How has

Case study 2 Case study 2 Case study 2 Case study 2 Former Industrial Site, London: How has innovation helped to produce a cost effective remedial design? Challenging contaminant profile Taken a traditional / well understood remedial

910 views • 4 slides
1 EMS: Out of Hospital Cardiac Arrest ACC/AHA/HRS: Sudden Cardiac Death ACC/AHA/HRS, 2006:

1 EMS: Out of Hospital Cardiac Arrest ACC/AHA/HRS: Sudden Cardiac Death ACC/AHA/HRS, 2006:

U.S. Mortality by Death Certificates Redefining Sudden Cardiac Death: Insights from the 500,000 San Francisco POstmortem 400,000 Systematic invesTigation of # deaths/year 300,000 Sudden Cardiac Death Study 200,000 100,000 17 December

275 views • 16 slides
Case Study EPR Implementation 22 November 2018 GCPL | CII Green Packaging Conference 1

Case Study EPR Implementation 22 November 2018 GCPL | CII Green Packaging Conference 1

26-11-2018 Case Study EPR Implementation 22 November 2018 GCPL | CII Green Packaging Conference 1 Agenda Introduction Case study background Challenges with existing practices Our EPR approach Project highlights

460 views • 12 slides
Learning Electrophysiology is a Long Road Pacemaker Anatomy and Physiology Lecture #1 Scott

Learning Electrophysiology is a Long Road Pacemaker Anatomy and Physiology Lecture #1 Scott

Perioperative Electrophysiology Training Program Learning Electrophysiology is a Long Road Pacemaker Anatomy and Physiology Lecture #1 Scott Streckenbach, MD Cardiac Anesthesia Group Director, Perioperative Electrophysiology Service

346 views • 10 slides
Practical Issues in Implementation: Colorectal Cancer Case Study Miqdad Asaria 1 Case studies

Practical Issues in Implementation: Colorectal Cancer Case Study Miqdad Asaria 1 Case studies

Practical Issues in Implementation: Colorectal Cancer Case Study Miqdad Asaria 1 Case studies Aim to use case studies to illustrate Practical issues in implementation Presentation of results to decision makers 2 Colorectal Cancer

250 views • 11 slides
A PRESENTATION ON NON-MOTORISED TRANSPORT POLICY (NMT) IMPLEMENTATION IN 1 UGANDA ( A CASE STUDY

A PRESENTATION ON NON-MOTORISED TRANSPORT POLICY (NMT) IMPLEMENTATION IN 1 UGANDA ( A CASE STUDY

A PRESENTATION ON NON-MOTORISED TRANSPORT POLICY (NMT) IMPLEMENTATION IN 1 UGANDA ( A CASE STUDY OF KCCA) BY MOSES MULENGANI ASSISTANT COMMISSIONER POLICY ANALYSIS AT THE CONCLAVE ON CLEAN AIR ACTION CONFERENCE NEW DELHI 19-20-04-2016

469 views • 17 slides
What have you Studied so far? Perioperative Electrophysiology: Perioperative Management of

What have you Studied so far? Perioperative Electrophysiology: Perioperative Management of

This material is for the use of members of the MGH DACCPM only What have you Studied so far? Perioperative Electrophysiology: Perioperative Management of Pacemaker Anatomy Pacemakers Pacemaker Physiology Pacemaker Capture

466 views • 22 slides
The Mondex Case Study Verifying a Java Implementation Peter H. Schmitt, Isabel Tonin Institute

The Mondex Case Study Verifying a Java Implementation Peter H. Schmitt, Isabel Tonin Institute

The Mondex Case Study Verifying a Java Implementation Peter H. Schmitt, Isabel Tonin Institute for Theoretical Computer Science Department of Computer Science Universit at Karlsruhe (TH) KeY Symposium, June, 2007 The Mondex Case Study

1.02k views • 63 slides
AADL : a radar case study Back to radar case study Goal: to model a simple radar system

AADL : a radar case study Back to radar case study Goal: to model a simple radar system

AADL : a radar case study Back to radar case study Goal: to model a simple radar system Let us suppose we have the following requirements System implementation is composed by physical devices (Hardware entity): 1. antenna + processor +

589 views • 10 slides
It V T V = L In mm LV = I with L = V T LEFT INVERSE COMPSCI 527 Computer Vision The

It V T V = L In mm LV = I with L = V T LEFT INVERSE COMPSCI 527 Computer Vision The

Orthogonal Matrices The Left Inverse of an Orthogonal Matrix M E m q i = v T i p (Finding coefficients q i is easy!) O_O Rewrite v T i v j = ij in matrix form V = [ v 1 , . . . , v n ] 2 R m n It V T V = L In mm LV = I with L =

467 views • 9 slides
BIOE 301 Review of Last Time How do we treat coronary artery disease? CABG PTCA

BIOE 301 Review of Last Time How do we treat coronary artery disease? CABG PTCA

Lecture Sixteen BIOE 301 Review of Last Time How do we treat coronary artery disease? CABG PTCA Stent Prevention Progression of Heart Disease High Blood Pressure High Cholesterol Levels Heart Failure Atherosclerosis Heart

675 views • 51 slides
Microenvironmental factors and tumorigenesis Rama Khokha Ontario Cancer Institute 8 th PHM

Microenvironmental factors and tumorigenesis Rama Khokha Ontario Cancer Institute 8 th PHM

Microenvironmental factors and tumorigenesis Rama Khokha Ontario Cancer Institute 8 th PHM Conference The mammary tissue microenvironment Mouse mammary gland H&E Human breast tissue section Stromal Compartment p Epithelial Duct

684 views • 30 slides
Spoofing GPS Now you whenever and where ever they need see it, now you dont! it. We have

Spoofing GPS Now you whenever and where ever they need see it, now you dont! it. We have

Thank you for that very kind introduction. By way of introducing the RNT Foundation, we are a 501(c)3 scientific and educational charity advocating for policies and systems that protect GPS frequencies, toughen GPS users, and augment GPS

387 views • 27 slides
Malamed Slide Related To Medical Emergencies Knowing Your

Malamed Slide Related To Medical Emergencies Knowing Your

Malamed Slide Related To Medical Emergencies Knowing Your Patient Preparing Dental Staff for Emergencies in the Office Preparing for Medical Emergencies

90 views • 8 slides
Memory Debugging SS 2007 Johannes Kepler University Linz, Austria Dr. Toni Jussila Institut

Memory Debugging SS 2007 Johannes Kepler University Linz, Austria Dr. Toni Jussila Institut

Advanced Topics on Applied Systemtheory: Debugging Memory Debugging 1 Memory Debugging SS 2007 Johannes Kepler University Linz, Austria Dr. Toni Jussila Institut for Formal Models and Verification http://fmv.jku.at/kv Applied Systemtheory

434 views • 17 slides
Bio-ontologies in medicine: From bench to bedside and back again XXIII International Conference

Bio-ontologies in medicine: From bench to bedside and back again XXIII International Conference

Bio-ontologies in medicine: From bench to bedside and back again XXIII International Conference of the European Federation for Medical Informatics, Oslo, 2831.08.2011 Peter N. Robinson Charit e Universit atsmedizin Berlin Desiderata

697 views • 22 slides
4Q FY2011/12 2Q FY16/17 Financial Results Presentation Investor Presentation 25 October 2016

4Q FY2011/12 2Q FY16/17 Financial Results Presentation Investor Presentation 25 October 2016

4Q FY2011/12 2Q FY16/17 Financial Results Presentation Investor Presentation 25 October 2016 ASEAN Stars Conference 2012 1 March 2012 Asias First Listed Indian Property Trust Asias First Listed Indian Property Trust Disclaimer This

563 views • 38 slides

More recommend