A systematic literature review of the use of formal methods in medical software systems

S Bonfanti, A Gargantini… - Journal of Software …, 2018 - Wiley Online Library
The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …

Development of a validation and qualification process for the manufacturing of medical devices: a case study based on cross-sector benchmarking

Y Xu, A Tiwari, HC Chen… - International Journal of …, 2018 - inderscienceonline.com
The validation stage plays a critical role in the development and production of medical
devices; it ensures new medical devices meet all the functional, reliability and quality …

Investigating the suitability of using agile for medical embedded software development

S Demissie, F Keenan, F McCaffery - … SPICE 2016, Dublin, Ireland, June 9 …, 2016 - Springer
Agile has been the subject of safety and critical domain in recent years. Emerging medical
devices are highly relying on embedded software that runs on the specific platform in real …

Agile Usage in Embedded Software Development in Safety Critical Domain–A Systematic Review

S Demissie, F Keenan, Ö Özcan-Top… - … Conference, SPICE 2018 …, 2018 - Springer
Safety critical embedded software is a software that needs to provide correct functionality to
avoid loss of human life. Embedded software controls much of the functionalities in Medical …

A Time Refinement Framework Based on iUML‐B State Machine

H Peng, X Zhang, G Cao, Z Liu, Y Jing… - Scientific …, 2021 - Wiley Online Library
Event‐B is a formal modeling language that is very suitable for software engineering, but it
lacks the ability of modeling time. Researchers have proposed some methods for modeling …

An electrical extension of automata-based heart models for closed-loop validation of pacemakers

GVN Magalhães, GG Santos Jr, AMN Lima - Simpósio Brasileiro de …, 2021 - sba.org.br
The development of implantable medical devices is challenging as must be guaranteed their
safety, security and functional correctness. Current certification process is based on an open …

UML Profiling for Software Systems in Medical Device Manufacturing

MA Minhas, F Azam, MW Anwar, I Qasim… - … Information Systems and …, 2019 - Springer
Quality is a major concern in Medical Device Manufacturing (MDM). Conformance with
prevailing regulatory standards is of profound importance in MDM. Due to critical nature and …

Agile Usage in Embedded Software Development in Safety Critical Domain–A Systematic Review

F McCaffery - … , SPICE 2018, Thessaloniki, Greece, October 9–10 …, 2018 - books.google.com
Safety critical embedded software is a software that needs to provide correct functionality to
avoid loss of human life. Embedded software controls much of the functionalities in Medical …

Supporting Embedded Medical Software Development with MDevSPICE® and Agile Practices

S Demissie, F Keenan, F McCaffery - World Academy of Science …, 2017 - eprints.dkit.ie
Emerging medical devices are highly relying on embedded software that runs on the specific
platform in real time. The development of embedded software is different from ordinary …

[引用][C] Zhihao Jiang

Z Jiang