Model-based risk analysis for an open-source PCA pump using AADL error modeling

H Thiagarajan, B Larson, J Hatcliff, Y Zhang - International Symposium on …, 2020 - Springer
Risk management is a key part of the development of medical devices to achieve acceptable
product safety and pass regulatory scrutiny. As model-based development (MBD) …

Towards a unified view of modeling and programming (ISoLA 2018 track introduction)

M Broy, K Havelund, R Kumar, B Steffen - … 5-9, 2018, Proceedings, Part I 8, 2018 - Springer
The article provides an introduction to the track: Towards a Unified View of Modeling and
Programming, organized by the authors of this paper as part of ISoLA 2018: the 8th …

Challenges and directions for lifecycle processes supporting conformity assessment of interoperable medical products

J Hatcliff - 2019 IEEE International Symposium on Product …, 2019 - ieeexplore.ieee.org
Health care delivery is increasingly relying on interoperable components and medical
systems built from those components. Existing life-cycle processes found in medical device …

[PDF][PDF] Model-based Risk Analysis for an Open-Source PCA Pump using the AADL Error Modeling Annex

H Thiagarajan, B Larson, J Hatcliff, Y Zhang - awas.sireum.org
Risk management is a key part of the development of medical devices to achieve acceptable
product safety and pass regulatory scrutiny. As model-based development (MBD) …