درستی یابی خودکار عملکرد دستگاه تنظیم ضربان قلب با استفاده از مدل چکر SMV
Publish Year: 1396
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 662
This Paper With 11 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
IRCEM02_116
تاریخ نمایه سازی: 7 اسفند 1396
Abstract:
بسیاری از مردم در سراسر جهان دارای دستگاه تنظیم کننده ضربان قلبی که برای کمک به بازیابی ضربان قلب نرمال در قفسهسینه شان قرار گرفته هستند. با این حال این دستگاه بدون مشکل هم نیست و در صورتی که با اشکال مواجه شود ممکناست اثرات جبران ناپذیری را تا سرحد مرگ بر جای بگذارد. دستگاه تنظیم کننده ضربان قلب ریتم ضربان قلب بیمار را کنترلکرده و از بروز بی نظمی های تپش قلب پیشگیری می کند، بنابراین هر نقصی در این نرم افزار باعث بدعمل کردن دستگاه میشود. با توجه به اهمیت آنچه بیان شد هدف این مقاله درستی یابی عملکرد الگوریتم این دستگاه در تمامی شرایط ممکن استتا از بروز بحران جلوگیری کند. با وارسی رفتار نرم افزار می توان ریسک خرابی را به حداقل رساند. وارسی نرم افزاری به معنایبررسی کردن محدودیتهای کاربران سیستم با کمک سیستم نرم افزاری حین اجراست. در این مقاله وارسی دستگاه تنظیمضربان بر پایه مدل چکر SMV انجام می شود و خصیصه های حیات و ایمنی که اهمیت بالایی دارد، در آن مورد بررسی قرار گرفته است.
Keywords:
Authors
فاطمه زاهدنژاد
دانشجوی دکتری، دانشگاه آزاد اسلامی واحد قم
احمد شریف
عضو هیات علمی، آموزشکدهد فنی و حرفه ای سماء، دانشگاه آزاد اسلامی واحد قم