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

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

کلیدواژه ها:

ایمنی ، نرم افزار ، ایمنی - حیاتی ، خطر ، وارسی مدل ، وارسی حین اجرا