@inproceedings{dccff24507734dad821b3e162be9d36c,
title = "Formal Verification of a Mechanical Ventilator using UPPAAL",
abstract = "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.",
keywords = "Formal Verification, imed Automata, Mechanical Ventilator",
author = "Jaime Cuartas and David Cort{\'e}s and Betancourt, {Joan S.} and Jes{\'u}s Aranda and Garc{\'i}a, {Jos{\'e} I.} and Valencia, {Andr{\'e}s M.} and James Ortiz",
note = "Publisher Copyright: {\textcopyright} 2023 ACM.; 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023 ; Conference date: 22-10-2023",
year = "2023",
month = oct,
day = "18",
doi = "10.1145/3623503.3623536",
language = "English",
series = "FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located: SPLASH 2023",
publisher = "ACM Press",
pages = "2--13",
editor = "Cyrille Artho and Olveczky, {Peter Csaba}",
booktitle = "FTSCS 2023 - Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, Co-located",
address = "United States",
}