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

تکیه ی روز افزون کسبوکارها و عملکردهای موجود به سیستمهای نرمافزاری، پیچیده شدن هرچه بیشتر این سیستمها و گسترش آنها در محیطهایی با خواسته های امنیتی بالا، نیاز به گسترش سیستمهای مطمئن و بررسی تکنیکهای افزای قابلیت اعتماد را برجسته تر کرده است. استفاده از متدهای فرمال، در ساخت سیستمهای قابل اطمینان (متدهای correct- by- construction و بازبینی قابلیت اطمینان سیستم های موجود )متدهای correct- by- verification ، به عنوان دو نوع از تکنیکهای دقیق و قابل اطمینان ملاحظه میشوند. در مطالعهی حاضر، بر تلفیق دو روش بالا برای دریافت مزیتهای هر دو، و اصلاح طرح موجود برنامه در مرحلهی طراحی، برای اضافه کردن تحملپذیری خطا تمرکز شدهاست. در چارچوب MR4UM که در سال 2012 معرفی شدهاست، نمودارهای وضعیت UML عاری از تحملپذیری خطا به عنوان ورودی دریافت شده و نمودارهای وضعیت UML دارای تحملپذیری خطا به عنوان خروجی مطرح می شوند. در این مطالعه، به گسترش این رویکرد در نمودارهای فعالیت UML پرداخته میشود. برای این منظور، این نمودارها و خطاهای تعیین شده توسط کاربر، به عنوان ورودی به چارچوب داده شده، این نمودارها به مدل فرمال Event- B تبدیل شده، و سپس تحملپذیری خطا به این مدل محاسباتیزیربنایی افزوده می شود.

اضافه کردن تحمل پذیری خطا، اصلاح مدل، نمودارهای فعالیت UMLz