ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه

Publish Year: 1394
نوع سند: مقاله ژورنالی
زبان: Persian
View: 187

This Paper With 13 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

JR_SHIMU-23-3_009

تاریخ نمایه سازی: 7 آذر 1400

Abstract:

مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصا سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از این مطالعه ارایه روش رسمی برای اعتبارسنجی ماشین قلب- ریه است. مواد و روش ها: عملکرد ماشین قلب-ریه با استفاده از ابزار UPPAAL که از ماشین خودکار زمانی پشتیبانی می کند مدل شده است. چون در این ماشین سه مجموعه کار به طور موازی انجام می شود، که در سه زیرسیستم ماشین عملکرد کلی سیستم، ماشین تزریق دارو و ماشین تحویل محلول کاردیوپلژیا مدل شده است. یافته های پژوهش: پس از مدل سازی، با جستجوی جامع روی فضای حالت مدل، خصوصیات مهم سیستم وارسی شد. وضعیت هایی که موجب ورود سیستم به حالت های ناامن می شود شناسایی شدند. دسترس پذیری تمام حالات مهم سیستم بررسی شد. در نهایت از بد عمل نکردن سیستم و صحت خصوصیات آن اطمینان لازم کسب گردید. بحث و نتیجه گیری: مدل سازی یک روش کم هزینه برای مطالعه یک سیستم و ارزیابی واکنش آن به تغییرات محیطی قبل از ساخت آن است. نظر به اهمیت ماشین قلب-ریه در جراحی ها در این مقاله یک مدل رسمی برای وارسی عملکرد این ماشین ارائه شده است.

Authors

رضا رافع

Arak University

فاطمه یوسفی فرد

Islamic Azad University, Arak Branch

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Sandler K, Ohrstrom L, Moy L, McVay R. Killed by ...
  • Clarke EM, Emerson EA, Sifakis J. Model checking: algorithmic verification ...
  • ۳.Sankaranarayanan S, Homaei H, Lewis C. Model-based dependability analysis of ...
  • Masci P, Zhang Y, Jones P, Curzon P, Thimbleby H. ...
  • Chunxiao L, Raghunathan A, Jha NK. Improving the Trustworthiness of ...
  • Rafeh R. A Proposed Approach for Safety Management in Medical ...
  • Insup L, editor Invited talk: Challenges in Medical Cyber-Physical Systems. ...
  • Babamir SM, Borhani M. Formal Verification of Medical Monitoring Software ...
  • Cordeiro L, Fischer B, Chen H, Marques-Silva J. Semiformal Verification ...
  • Chunxiao L, Raghunathan A, Jha NK, editors. Hijacking an insulin ...
  • Halperin D, Heydt-Benjamin TS, Ransford B, Clark SS, Defend B, ...
  • Sohrabnejad A, Veisani Y, Afkhamzadeh A, Afkhamzadeh A, Rezaeian S. ...
  • Wang Z. The blossom of “the rose of surgery” - ...
  • Böckler U, Hahn A. Heart-Lung Machines. In: Kramme R, Hoffmann ...
  • Misgeld BJE. Automatic Control of the Heart-lung Machine۲۰۰۷ ...
  • Behrmann G, David A, Larsen K. A Tutorial on Uppaal. ...
  • Waszniowski L, Hanzálek Z. Formal verification of multitasking applications based ...
  • Baier C, Katoen J-P. Principles of model checking. Cambridge, Mass.: ...
  • Pnueli A. The temporal logic of programs. Proceedings of the ...
  • Konstantinov IE, Alexi-Meskishvili VV. Sergei S. Brukhonenko: the development of ...
  • Levinson M. The Heart-Lung Machine. Hutchinson Hospital: Hutchinson Kansas; ۲۰۱۱. ...
  • of Heart-Lung Machine ...
  • Abstrac. ...
  • Introduction: error occurrence in computer systems, can lead to irreparable ...
  • Material & methods: The heart-lung machine has been modeled by ...
  • Finding: After modeling by a complete search on state space ...
  • Discussion & Conclusion: Modelling is a cheap way to study ...
  • Keywords: Model Checking, Heart-Lung Machine, time automatic machine ...
  • UPPAAL, System Verification. ...
  • Dept of Computer Engineering, faculty of Engineering, Arak University, Arak, ...
  • Scientific Journal of Ilam University of Medical Sciences ...
  • نمایش کامل مراجع