بررسی فنون نرم افزاری تحمل پذیری خطای گذرا در نرم افزارهای ماهواره

نرم افزار ماهواره از جمله کاربردهایی است که با توجه به محیط عملیاتی پرتشعشع، در معرض انوع خطاهای گذرا یا اشکال های نرم قرار دارد. این نوع خطاها باعث وقوع اشکال در اجرای نرم افزارهای ماهواره می شوند. طراحان ماهواره با استفاده از روش های حفاظت سخت افزاری (شیلدینگ) و طراحی مبتنی بر قطعات مقاوم، به مقابله با این خطاها می پردازند. اما عیب این روش ها به طور کلی افزایش هزینه، وزن، مصرف توان الکتریکی و کاهش کارایی است. تحقیقات اخیر نشان می دهد که می توان در ماهواره های LEOضمن استفاده از قطعات تجاری (COTS)به جای قطعات فضایی خاص، با فنون نرم افزاری به مقابله با خطاهای گذرا پرداخت. در این مقاله، ضمن بررسی شاخه ای از این فنون، موسوم به فنون مبتنی بر جریان کنترل، روش کارآمدی انتخاب شده و نحوه پیاده سازی، آزمون و ارزیابی آن ارائه داده شده است.