Context: During the first wave of the COVID-19 pandemic, an international and
heterogeneous team of scientists collaborated on a social project to produce a mechanical …

This paper introduces the ABZ 2024 Case Study: Mechanical Lung Ventilator (MLV),
inspired by the Mechanical Ventilator Milano developed during COVID-19. The case study …

Modern automotive systems with adaptive control features require rigorous analysis to
guarantee correct operation. We report our experience in modeling the automotive case …

Abstract Model-based simulation is nowadays an accepted practice for reliable prototyping
of system behavior. To keep requirements complexity under control, system components are …

Abstract We model the Mechanical Lung Ventilator (MLV) in the process algebra mCRL2.
The functional requirements of the MLV are formalised in the modal μ-calculus, and we use …

With the increasing complexity and scale of software-intensive systems, model-based
system development requires composable system models and composition operators. In …

The DT paradigm has emerged as a suitable way to cope with the complexity of analyzing,
controlling, and adapting complex systems in diverse domains. For medical systems …

Medical and health processes are increasingly dependent on software that plays a critical
safety role in diagnosis, decisions, and device control or functioning. Software is present in …

Model-based simulation is nowadays an accepted practice for reliable prototyping of system
behavior. To keep requirements complexity under control, system components are specified …