[صفحه اصلی ]   [Archive] [ English ]  
:: درباره نشريه :: صفحه اصلي :: آخرين شماره :: جستجو :: ثبت نام :: ارسال مقاله :: تماس با ما ::
:: دوره 23، شماره 3 - ( 6-1394 ) ::
جلد 23 شماره 3 صفحات 96-84 برگشت به فهرست نسخه ها
ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه
رضا رافع*1، فاطمه یوسفی فرد2، سیده زینب حسینی کب3
1- دانشگاه اراک ، r-rafeh@araku.ac.ir
2- دانشگاه آزاد اسلامی واحد اراک
3- دانشگاه اراک
چکیده:   (5883 مشاهده)
مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از این مطالعه ارایه روش رسمی برای اعتبارسنجی ماشین قلب- ریه است.
مواد و روش ها: عملکرد ماشین قلب-ریه با استفاده از ابزار UPPAAL که از ماشین خودکار زمانی پشتیبانی می کند مدل شده است. چون در این ماشین سه مجموعه کار به طور موازی انجام می شود، که در سه زیرسیستم ماشین عملکرد کلی سیستم، ماشین تزریق دارو و ماشین تحویل محلول کاردیوپلژیا مدل شده است.
یافته های پژوهش: پس از مدل سازی، با جستجوی جامع روی فضای حالت مدل، خصوصیات مهم سیستم وارسی شد. وضعیت هایی که موجب ورود سیستم به حالت های ناامن می شود شناسایی شدند. دسترس پذیری تمام حالات مهم سیستم بررسی شد. در نهایت از بد عمل نکردن سیستم و صحت خصوصیات آن اطمینان لازم کسب گردید.
بحث و نتیجه گیری: مدل سازی یک روش کم هزینه برای مطالعه یک سیستم و ارزیابی واکنش آن به تغییرات محیطی قبل از ساخت آن است. نظر به اهمیت ماشین قلب-ریه در جراحی ها در این مقاله یک مدل رسمی برای وارسی عملکرد این ماشین ارائه شده است.
واژه‌های کلیدی: وارسی مدل، ماشین قلب-ریه، ماشین خودکار زمانی، UPPAAL، اعتبارسنجی سیستم
متن کامل [PDF 841 kb]   (2006 دریافت)    
نوع مطالعه: پژوهشي | موضوع مقاله: متخصص قلب و عروق
دریافت: 1393/1/8 | پذیرش: 1393/4/30 | انتشار: 1394/7/5
ارسال پیام به نویسنده مسئول

ارسال نظر درباره این مقاله
نام کاربری یا پست الکترونیک شما:

CAPTCHA


XML   English Abstract   Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

Rafeh R. Proposing a Formal Approach for Verification of Heart-Lung Machine. Journal of Ilam University of Medical Sciences 2015; 23 (3) :84-96
URL: http://sjimu.medilam.ac.ir/article-1-1680-fa.html

رافع رضا، یوسفی فرد فاطمه، حسینی کب سیده زینب. ارائه یک روش رسمی جهت اعتبارسنجی ماشین قلب-ریه . مجله دانشگاه علوم پزشکی ایلام 1394; 23 (3) :96-84

URL: http://sjimu.medilam.ac.ir/article-1-1680-fa.html



بازنشر اطلاعات
Creative Commons License این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است.
دوره 23، شماره 3 - ( 6-1394 ) برگشت به فهرست نسخه ها
مجله دانشگاه علوم پزشکی ایلام Journal of Ilam University of Medical Sciences
Persian site map - English site map - Created in 0.14 seconds with 31 queries by YEKTAWEB 4538