Date: 2019. 08. 07 (Wed) 13:00
Locate: EB5. 533
Presenter: Hyeoksoo Jang
Title: Software fault injection testing of the embedded software of a satellite launch vehicle
Author: Anil Abraham Samuel, Jayalal N., Valsa B., Ignatious C.A., and John P. Zachariah
Abstract: The software performing navigation, guidance, control, and mission-sequencing functionalities embedded in the flight computer system (FCS) of a satellite launch vehicle must be highly dependable. The presence of faults in the embedded flight software affects its dependability and may even jeopardize the entire mission, resulting in a huge loss to the space agency concerned. There are many techniques available to achieve high dependability and can be classified under fault avoidance, fault removal and fault tolerance. In the FCS of the Indian Space Research Organization’s (ISRO’s) satellite launch vehicles, all of the above means to achieve dependability are adopted. Fault avoidance and removal techniques are adopted during the design, development, verification, and validation phases of the software to prevent and minimize faults. Fault tolerance features are designed and implemented in the system to take care of various faults that are manifested as errors during the operation of the onboard flight computers and to continue to provide the specified services. Software testing including the validation of the fault tolerance features in the design of flight software is a major challenge. A software fault injection testing (SFIT) method is adopted to generate faults to exercise the built-in fault-handling logic and to ensure its correctness. This article describes the motivation for adopting SFIT, the approach, some of the results, and lessons learned while testing ISRO’s satellite launch vehicle software.
Article source: //eslab.cnu.ac.kr/en/Mobile/164-Software-fault-injection-testing-of-the-embedded-software-of-a-satellite-launch-vehicle.html