Safety‐critical systems are designed to prevent catastrophic consequences from failure,
such as injury or death to humans and environmental damage. These must be carefully …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

This paper provides an extensive literature review focusing on the modeling of artificial
pacemakers and the various mechanisms employed for their pacing control. In this survey …

The design and implementation of software for medical devices is challenging due to the
closed-loop interaction with the patient, which is a stochastic physical environment. The …

Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures
that start with formal modeling of the real-time system, followed by the model's verification at …

Many implantable medical devices, such as pacemakers, have been recalled due to failure
of their embedded software. This motivates rethinking their design and certification …

This paper presents a methodology, with supporting tool, for formal modeling and analysis of
software components in cyber-physical systems. Using our approach, developers can …

In this article, we present a concrete realisation of the ETCS hybrid level 3 concept, whose
practical viability was evaluated in a field demonstration in 2017. Hybrid level 3 introduces …

Embedded system applications often require guarantees regarding non-functional
properties when executed on a given MPSoC platform. Examples of such requirements …

This paper presents a major new release of S BIP, an extensible statistical model checker for
Metric (MTL) and Linear-time Temporal Logic (LTL) properties on respectively Generalized …