ارائه مدلی برای افزایش قابلیت اطمینان نرم افزارهای نهفته و بی درنگ مبتنی بر روش صوری تفسیر انتزاعی

قابلیت اطمینان در یک نرم افزار، از جنبه های حائز اهمیت در حوزه کیفیت نرم افزار می باشد. زمانیکه در مورد نرم افزارهای نهفته و بی درنگ صحبت می شود، اهمیت قابلیت اطمینان بسیار بیشتر خواهد بود. زیرا بیشتر این نرم افزارها در حوزه های مرتبط با بحرانی-ایمنی و بحرانی-ماموریت، سر و کار داشته و هر گونه شکست در نرم افزار حین ماموریت ممکن است خسارات مالی و جانی غیرقابل جبران به همراه داشته باشد

کلیدواژه ها:

کیفیت نرم افزار ، قابلیت اطمینان ، نرم افزارهای نهفته و بی درنگ ، تحلیل ایستا