Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
