درستی یابی خودکار عملکرد دستگاه تنظیم ضربان قلب با استفاده از مدل چکر SMV

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

کلیدواژه ها:

دستگاه تنظیم ضربان قلب ، مدل چکر ، SMV ، درستی یابی ، ایمنی و حیات