Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini +1

Rigorous development processes aim to be effective in developing critical systems, especially if failures can have catastrophic consequences for humans and the environment. Such pr…