PROPOSING A FORMAL APPROACH FOR VERIFICATION OF HEART-LUNG MACHINE

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

RAFEH R.; YOUSEFIFARD F.; HOSSEINIKOB Z.

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: JOURNAL OF ILAM UNIVERSITY OF MEDICAL SCIENCES Year:2015 | Volume:23 | Issue:3 Page(s): 84-96

Download Full-Text

Persian Verion

View:

649

Download:

Cites:

Information Journal Paper

Title

PROPOSING A FORMAL APPROACH FOR VERIFICATION OF HEART-LUNG MACHINE

Author(s)

RAFEH R. | YOUSEFIFARD F. | HOSSEINIKOB Z. | Issue Writer Certificate

Keywords

MODEL CHECKINGQ2

HEART-LUNG MACHINEQ2

TIME AUTOMATIC MACHINEQ2

UPPAALQ2

SYSTEM VERIFICATIONQ2

Abstract

Introduction: error occurrence in computer systems, can lead to irreparable damage, especially those used in medical systems. As a result, verification of such systems is important. MODEL CHECKING as a method is used to ensure the absence of errors in the model. The HEART-LUNG MACHINE is used in surgeries in which heart must stop working and assumes the heart and lungs duties. In this article, a formal approach is to verify the operation of the HEART-LUNG MACHINE.Materials & methods: The HEART-LUNG MACHINE has been modeled by using the UPPAAL tool which supports TIME AUTOMATIC MACHINE, since, this machine do three sets operations in parallel which has been modeled in three subsystems: system overall performance machine, heparin injection machine and cardioplegia solution delivery machine.Findings: After modeling by a complete search on state space of model, the most important characteristics of system were verified. Situations were identified which cause entering the system to unsecure states. The reachability of all important states of the system was investigated. Finally, we ensured about system accuracy features and the system operates correctly.Discussion & Conclusion: Modelling is a cheap way to study a system and evaluate its reaction to environmental changes before implementation of the system. Considering to importance of HEART-LUNG MACHINE in surgeries, in this research a formal model has been presented to verify the operation of this machine.

Cites

No record.

References

No record.

Cite

APA: Copy

RAFEH, R., YOUSEFIFARD, F., & HOSSEINIKOB, Z.. (2015). PROPOSING A FORMAL APPROACH FOR VERIFICATION OF HEART-LUNG MACHINE. JOURNAL OF ILAM UNIVERSITY OF MEDICAL SCIENCES, 23(3), 84-96. SID. https://sid.ir/paper/90297/en

Vancouver: Copy

RAFEH R., YOUSEFIFARD F., HOSSEINIKOB Z.. PROPOSING A FORMAL APPROACH FOR VERIFICATION OF HEART-LUNG MACHINE. JOURNAL OF ILAM UNIVERSITY OF MEDICAL SCIENCES[Internet]. 2015;23(3):84-96. Available from: https://sid.ir/paper/90297/en

IEEE: Copy

R. RAFEH, F. YOUSEFIFARD, and Z. HOSSEINIKOB, “PROPOSING A FORMAL APPROACH FOR VERIFICATION OF HEART-LUNG MACHINE,” JOURNAL OF ILAM UNIVERSITY OF MEDICAL SCIENCES, vol. 23, no. 3, pp. 84–96, 2015, [Online]. Available: https://sid.ir/paper/90297/en

Related Journal Papers