Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Software safety in medical applications

J C Knight1, K G Wika

  • 1Department of Computer Science, University of Virginia, Charlottesville 22903, USA. knight@Virginia.edu; wika@Guidant.com

Journal of Image Guided Surgery
|January 1, 1995
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

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

Sort by
Same author

Few-cycle self-compression of GW mid-IR pulses in an anti-resonant fiber in ambient air: publisher's note.

Optics letters·2025
Same author

Few-cycle self-compression of GW mid-IR pulses in an anti-resonant fiber in ambient air.

Optics letters·2025
Same author

Fatigue fracture of a DBS extension cable: a pictorial review.

Annals of the Royal College of Surgeons of England·2025
Same author

A disease-associated gene desert directs macrophage inflammation through ETS2.

Nature·2024
Same author

Response to Letter to the Editor by Ish et al. entitled 'COVID-19 vaccine equity-the need of the hour'.

QJM : monthly journal of the Association of Physicians·2022
Same author

Advances in image enhancement for sarcoma surgery.

Cancer letters·2020

Ensuring dependable software for critical medical devices is challenging. This study introduces a safety kernel and automated testing to verify critical properties, enhancing software reliability in safety-critical systems.

Area of Science:

  • Computer Science
  • Software Engineering
  • Medical Device Technology

Background:

  • Software in safety-critical medical applications enables advanced functionality but poses dependability challenges.
  • Existing software development techniques offer no absolute guarantee of dependability for these systems.

Purpose of the Study:

  • To develop and present techniques for implementing and verifying dependable software in safety-critical applications.
  • To address the inherent limitations in ensuring software dependability for medical devices.

Main Methods:

  • Implementation and verification of a safety kernel to enforce critical safety properties between application software and devices.
  • Utilization of automated testing with selected test cases to demonstrate system properties.

Related Experiment Videos

Main Results:

  • The safety kernel approach simplifies the implementation and verification of critical safety rules.
  • Automated testing effectively demonstrates useful system properties for safety verification.

Conclusions:

  • A combination of a safety kernel and targeted automated testing enhances the dependability of software in safety-critical medical applications.
  • These techniques provide a practical approach to verifying essential software properties when absolute guarantees are not feasible.