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 …

This article presents a systematic mapping study on the model‐driven engineering of safety
and security concerns in software systems. Combined modeling and development of both …

Background The chronic kidney disease (CKD) is a worldwide critical problem, especially in
developing countries. CKD patients usually begin their treatment in advanced stages, which …

After a number of success stories in safety‐critical domains, we are starting to witness
applications of formal methods in contemporary systems and software engineering …

Medical devices are safety-critical systems since their malfunctions can seriously
compromise human safety. Correct operation of a medical device depends upon the …

Biomedical signal acquisition systems are software-intensive medical systems composed of
processors, transducers, amplifiers, filters, and converters. We present in this article a formal …

Chronic kidney disease is one of the main causes of mortality worldwide. It affects more than
800 million patients globally, accounting for approximately 10% of the general population …

This paper presents a systematic mapping study on the model-driven engineering of safety
and security concerns in systems. Integrated modeling and development of both safety and …

ABSTRACT Medical Devices (MDs) are by definition safety-critical and increasingly also
become security-critical when interoperating, ie, when communicating in some form. Finding …

Given the safety-critical nature of healthcare systems, their rigorous safety assessment, in
terms of studying their behavior in the presence of potential faults and how the …