Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Node Analysis for AC Circuits

Node Analysis for AC Circuits

Consider an angioplasty system featuring a catheter equipped with a turbine, a critical tool for removing plaque deposits from coronary arteries. This intricate medical device operates using a circuit model reminiscent of a dual-node RLC circuit powered by a current-controlled voltage source.
To unravel the complexities of this system, nodal analysis is employed, a powerful technique founded on Kirchhoff's current law (KCL), which remains valid for phasors. AC circuits can effectively be...

Cardiac Action Potential

Cardiac Action Potential

Cardiac action potentials are essential for proper heart function, enabling the rhythmic contractions needed for adequate blood circulation. Nodal cells and Purkinje fibers, specialized for electrical conduction, generate these action potentials.
The cardiac action potential process involves a series of phases characterized by the movement of ions across the cardiac cell membranes, leading to the depolarization and repolarization of the cardiac myocytes.
Ionic Basis of Cardiac Action Potentials

Bode Plots Construction

Bode Plots Construction

The Bode plot is an essential tool in control system analysis, mapping the frequency response of a system through a magnitude plot and a phase plot, both against a logarithmic frequency axis. To construct a Bode plot, consider the transfer function H(ω):

Pulse rhythm

Pulse rhythm

Pulse rhythm refers to the pattern of pulsations within specific intervals, offering valuable insights into the regularity or irregularity of the heart's beats as observed through the pattern of pulsation within specific intervals. A regular pulse exhibits a consistent heart rate with uniform waveforms and pulsation force, variations of which can be classified as normal, weak, or bounding.
Conversely, an irregular pulse pattern is termed dysrhythmia, stemming from disruptions in cardiac...

Propagation of Action Potentials

Propagation of Action Potentials

The propagation of an action potential refers to the process by which a nerve impulse, or "action potential," travels along a neuron.
Neurons (nerve cells) have a resting membrane potential, with a slightly negative charge inside compared to outside. This is maintained by ion channels, such as sodium (Na+) and potassium (K+) channels, which control the flow of ions. When a stimulus, like a touch or a signal from another neuron, triggers the neuron, sodium channels open, allowing sodium ions to...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

Security Analysis for Smart Healthcare Systems.

Sensors (Basel, Switzerland)·2024

Same author

Security Analysis of Cyber-Physical Systems Using Reinforcement Learning.

Sensors (Basel, Switzerland)·2023

Same author

Integrated Clinical Environment Security Analysis Using Reinforcement Learning.

Bioengineering (Basel, Switzerland)·2022

Same author

Smart Home IoT Network Risk Assessment Using Bayesian Networks.

Entropy (Basel, Switzerland)·2022

Same author

Resiliency Assessment of Power Systems Using Deep Reinforcement Learning.

Computational intelligence and neuroscience·2022

Same author

Disease characteristics, determinants, and perception of use of sunscreen and sun-protective behaviors among patients of color with melasma: A cross-sectional study.

Photodermatology, photoimmunology & photomedicine·2022

Same journal

A Coumarin-Based Probe for Sequential ON-OFF-ON Detection of Cu<sup>2+</sup> and Biothiols: Naked-Eye Detection, Smartphone RGB Readout and In Vivo Imaging.

Biosensors·2026

Same journal

Electropolymerized Molecularly Imprinted Polymers Supported on Carbon-Based Materials for (Bio)sensing: Direct and Indirect Detection Strategies.

Biosensors·2026

Same journal

Progress in (Photo)electrochemical Biosensors for the Detection of Amyloid-Beta Oligomer.

Biosensors·2026

Same journal

Design and Simulation of Lamotrigine Intermittent Release from a Subcutaneous Implant with an Enzymatic Biosensor Based on Clinical Data.

Biosensors·2026

Same journal

Prediction of Chronic Kidney Disease Based on Simulated Serum Analysis by Vibrational Spectroscopy.

Biosensors·2026

Same journal

AI/ML-Assisted SERS Biosensing for Biomolecular Detection: From Direct Spectral Response to Integrated Diagnostic Systems.

Biosensors·2026

See all related articles

Search research articles

Related Experiment Video

Updated: Dec 27, 2025

Translational Rabbit Model of Chronic Cardiac Pacing

Translational Rabbit Model of Chronic Cardiac Pacing

Published on: January 6, 2023

Attack Graph Modeling for Implantable Pacemaker.

Mariam Ibrahim¹, Ahmad Alsheikh², Aseel Matar³

¹Department of Mechatronics Engineering, German Jordanian University, Amman 11180, Jordan.

|February 26, 2020

Summary

This summary is machine-generated.

This study models a pacemaker automatic remote monitoring system (PARMS) to identify cyberattack vulnerabilities. The analysis highlights critical security weaknesses, emphasizing the need for robust security measures in remote health systems.

Keywords:

internet of things (IoT) medical devices pacemaker threat modeling vulnerabilities

More Related Videos

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations

Published on: January 8, 2013

Real-Time Cardiac Mapping with a Noninvasive Imageless Electrocardiographic Imaging System

Real-Time Cardiac Mapping with a Noninvasive Imageless Electrocardiographic Imaging System

Published on: April 11, 2025

Related Experiment Videos

Last Updated: Dec 27, 2025

Translational Rabbit Model of Chronic Cardiac Pacing

Translational Rabbit Model of Chronic Cardiac Pacing

Published on: January 6, 2023

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations

Patient-specific Modeling of the Heart: Estimation of Ventricular Fiber Orientations

Published on: January 8, 2013

Real-Time Cardiac Mapping with a Noninvasive Imageless Electrocardiographic Imaging System

Real-Time Cardiac Mapping with a Noninvasive Imageless Electrocardiographic Imaging System

Published on: April 11, 2025

Area of Science:

Biomedical Engineering
Cybersecurity
Medical Device Security

Background:

Remote health monitoring systems are crucial for managing implantable medical devices and patient health outside clinical settings.
These systems face significant cybersecurity risks due to inherent vulnerabilities, potentially compromising patient safety and data confidentiality.
Existing security assessments often lack formal verification, leaving critical gaps in understanding potential threats.

Purpose of the Study:

To formally model and analyze the security of a pacemaker automatic remote monitoring system (PARMS).
To identify and visualize potential cyberattack pathways and their impact on system security and patient safety.
To underscore the necessity of implementing effective security protocols within remote patient monitoring systems.

Main Methods:

Modeling the Pacemaker Automatic Remote Monitoring System (PARMS) using Architecture Analysis and Design Language (AADL).
Formal characterization and verification of the system model using the JKind model checker tool.
Generation and visualization of an attack graph using the Graphviz tool to illustrate security breaches.

Main Results:

The formal analysis successfully identified critical vulnerabilities within the PARMS architecture.
The generated attack graph visually classified security breaches based on the violation of essential security features.
The study demonstrated specific attack vectors threatening patient health and confidentiality.

Conclusions:

The formal verification and attack graph analysis are essential for understanding and mitigating security risks in remote health monitoring systems.
Implementing appropriate and robust security measures is critical for ensuring the safety and confidentiality of patients using PARMS.
This methodology provides a framework for securing other critical remote health monitoring systems against cyber threats.