• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.11
• /
• pp.969-973
• /
• 2018

Avionics OFP runs on the mission computer and can be operated by interacting with several avionics equipments. In order to verify OFP SW, SIL having real avionics equipments or models is absolutely necessary. Therefore in many cases SIL is implemented concurrently with OFP developing, and only one SIL is provided to developers. So developers sometimes need an alternative to SIL for verifying requirements in the middle of development process. In this paper, we propose a single PC based STE SW that simulates interworking equipments and verifies OFP in a single PC environment without actual interworking equipments or SIL HW interfaces.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.3
• /
• pp.256-265
• /
• 2016

Software based fault tolerance techniques are designed to allow a system to tolerate software faults in the system. Fault tolerance techniques are divided into two groups : software based fault tolerance techniques and hardware based fault tolerance techniques. We need a proper design method according to characteristics of the system. In this paper, the concepts of software based fault tolerance techniques for Dual Flight Control Computer are described. For software based fault tolerance design, we classified software failure, designed a way for failure detection and the way of recovery. Eventually the effectiveness of software based fault tolerance techniques was verified through the Software Test Environment(STE).