Formal Verification of a Mechanical Ventilator using UPPAAL

被引：3

作者：

Cuartas, Jaime ^{[1
]}

Cortes, David ^{[1
]}

Betancourt, Joan S. ^{[1
]}

Aranda, Jesus ^{[1
]}

Garcia, Jose I. ^{[1
]}

Valencia, Andres M. ^{[1
]}

Ortiz, James ^{[2
]}

机构：

[1] Univ Valle, Cali, Colombia

[2] Univ Namur, Namur, Belgium

来源：

PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2023 | 2023年

关键词：

Timed Automata; Formal Verification; Mechanical Ventilator; TOOL; ART;

D O I：

10.1145/3623503.3623536

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：2 / 13

页数：12

共 50 条

[21] Formal verification of cP systems using Coq
Liu, Yezhou
Nicolescu, Radu
Sun, Jing
JOURNAL OF MEMBRANE COMPUTING, 2021, 3 (03) : 205 - 220
[22] Improving Reliability of Myocontrol Using Formal Verification
Guidotti, Dario
Leofante, Francesco
Tacchella, Armando
Castellini, Claudio
IEEE TRANSACTIONS ON NEURAL SYSTEMS AND REHABILITATION ENGINEERING, 2019, 27 (04) : 564 - 571
[23] Formal Verification
Meenakshi, B.
RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2005, 10 (05): : 26 - 38
[24] Formal verification
B Meenakshi
Resonance, 2005, 10 (5) : 26 - 38
[25] UPPAAL-based Software-Defined Network Verification
Podymov, Vladislav
Popesko, Uliana
2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 9 - 14
[26] Tool Support for Live Formal Verification
Aravantinos, Vincent
Kanav, Sudeep
2017 ACM/IEEE 20TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2017), 2017, : 145 - 155
[27] Formal verification of collaboration patterns in healthcare
Papapanagiotou, Petros
Fleuriot, Jacques D.
BEHAVIOUR & INFORMATION TECHNOLOGY, 2014, 33 (12) : 1278 - 1293
[28] From System Modeling To Formal Verification
Chhokra, Ajay
Abdelwahed, Sherif
Dubey, Abhishek
Neema, Sandeep
Karsai, Gabor
PROCEEDINGS OF THE 2015 ELECTRONIC SYSTEM LEVEL SYNTHESIS CONFERENCE (ESLSYN), 2015, : 41 - 46
[29] Formal Verification of Business Processes using Model Checking
Stoica, Florin
INNOVATION MANAGEMENT AND EDUCATION EXCELLENCE VISION 2020: FROM REGIONAL DEVELOPMENT SUSTAINABILITY TO GLOBAL ECONOMIC GROWTH, VOLS I - VI, 2016, : 2563 - 2575
[30] Formal Verification of Database Applications Using Predicate Abstraction
Alam M.I.
Halder R.
SN Computer Science, 2021, 2 (3)

← 1 2 3 4 5 →