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 …

Formal methods are proven techniques that provide a rigorous mathematical basis to
software development. In particular, they allow the quality of development to be effectively …

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

There exist areas, such as the disease prevention or inclement weather protocols, in which
the analysis of the information based on strict protocols require a high level of rigor and …

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 …

We present a formal specification and analysis of a haemodialysis machine (HD machine) in
Event-B using the Rodin Toolset. The medical device domain is a particularly complex …

The use of software has become ubiquitous and prevalent in modern medical devices such
as hemodialysis machines. Consequently, the failure rate of medical devices due to software …

Abstract Systems engineering concerns the complete process for the development of
complex systems comprising hardware, software, facilities and personnel. Such systems are …

La spécification d'un système industriel nécessite la collaboration d'un ingénieur
connaissant le système à modéliser et d'un ingénieur connaissant le langage de …

As modern safety-critical systems continue to become more and more software-intensive,
this paradigm shift brings many challenges such as complex engineering processes and a …