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

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