بررسی عملکرد سیستم تحمل خطای امن به منظور طراحی نرم افزارهای مطمئن

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

کلیدواژه ها:

مدل سازی ، معماری ، تحمل خطا ، امنیت