SPLASH 2023 (series) / FTSCS 2023 (series) / FTSCS 2023 / Formal Verification of a Mechanical Ventilator using UPPAAL
Formal Verification of a Mechanical Ventilator using UPPAALRemote
Mechanical ventilators are increasingly used for life support of critically ill patients. In this sense, despite recent technological advances, the accurate specification of their properties remains challenging, and the use of formal tools is limited. This work focuses on verifying the properties of the architecture of a mechanical ventilator using UPPAAL as a modeling tool. As a result, the system requirements and specification of a functional prototype were verified and improved using the formal model of a mechanical ventilator. This approach provides a valuable means of ensuring the correctness and reliability of mechanical ventilator systems.
Sun 22 OctDisplayed time zone: Lisbon change
Sun 22 Oct
Displayed time zone: Lisbon change
14:00 - 15:30 | |||
14:00 30mTalk | Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library FTSCS Aïssata Maiga , Cyrille Artho KTH Royal Institute of Technology, Sweden, Florian Gilcher , Yannick Moy AdaCore | ||
14:30 30mTalk | Formal Verification of a Mechanical Ventilator using UPPAALRemote FTSCS Jaime Cuartas Universidad del Valle, David Cortés , Joan S Betancourt , Jesus Aranda Universidad del Valle, Jose Garcia , Andres Valencia , James Ortiz Université de Namur | ||
15:00 30mTalk | Discussions, Closing FTSCS |