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

نویسندگان

چکیده

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

کلیدواژه‌ها


عنوان مقاله [English]

Software Fault Tolerance Techniques for Dealing with Transient Faults in Satelite Software

نویسندگان [English]

  • طاهره برومندنژاد
  • محمد عبداللهی ازگمی
  • شاهرخ جلیلیان
چکیده [English]

Satellite software is a kind of application that are exposed to soft-errors or transient faults because they work in an environment, which is full of radiations. This kind of fault has caused error in the execution of software. Satellite designers have used different methods, such as hardware shielding and component hardening, for removing the effects of this type of errors. These methods will increase the cost, weight and power consumption. Also, thesemethods decrease the performance. Recently, researches have shown that instead of spatial components,, COTS components can be used in LEO satellites. In addition, software implemented hardware fault tolerance (SIHFT) techniques can be added to these components for dealing with transient faults. In this paper, a branch of these techniques, which is called control flow based techniques, are investigated and the useful method among them is highlighted. The result of the implementation, testing and evaluation of the selected method (i.e. RSCFC) is also presented in this paper.

کلیدواژه‌ها [English]

  • Transient faults
  • Soft
  • errors
  • Control flow checking
  • fault tolerance
  • LEO satellites