Formal Verification of a Mechanical Ventilator Using UPPAAL

Explore a 32-minute video presentation from the FTSCS 2023 conference that delves into the formal verification of a mechanical ventilator using UPPAAL. Learn how researchers from Universidad del Valle and the University of Namur employed timed automata and formal methods to verify and improve the system requirements and specifications of a functional ventilator prototype. Gain insights into the challenges of accurately specifying properties for life-support devices and discover how formal tools can enhance the correctness and reliability of critical medical systems. Understand the importance of this approach in ensuring patient safety and advancing the development of mechanical ventilators for critically ill patients.