• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.6
• /
• pp.548-554
• /
• 2012

Verification and validation of operational software of the flight control computer, which is flight safety critical, is very important to prove correctness and faultness of the software. To verify the real-time softare requirement on operational software of flight control computer, real-time software internal parameter and variable monitoring technics on hardware-in-the-loop environment, similar to on-flight environment, is required. This paper describes flight safety critical software validation and verificiation environment using standard debugging interface, NEXUS 5001.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.11
• /
• pp.1130-1137
• /
• 2006

Relaxed Static Stability(RSS) concept has been applied to improve aerodynamic performance of modern version supersonic jet fighter aircraft. Therefore, the flight control systems are necessary to stabilizes the unstable aircraft and provides adequate handling qualities. The initial production flight control system are verified by flight test and it's always an elements of danger because of flight-critical nature of control law function and design error due to model base design method. These critical issues impact to flight safety, and it could be lead to a loss of aircraft and pilot's life. Therefore, development of an easily modifiable RFCS(Research Flight Control System) capable of reverting to a PFCS(Primary Flight Control System) of reliable control law must be developed to guarantee the flight safety. This paper addresses the concept of SSWM(Software Switching Mechanism) using the fader logic such as TFS(Transient Free Switch) based on T-50 flight control law. The result of the analysis based on non-real time simulation in-house software using SSWM reveals that the flight control system are switching between two computers without any problem.

• Journal of IKEEE
• /
• v.16 no.2
• /
• pp.145-152
• /
• 2012

This paper is the Software Hazard Analysis (SWHA) which will study the managerial process and the technical methode and techniques inherent in the performance of software safety task within the Military Aircraft System Safety program. This SWHA identifies potential hazardous effects on the software intensive systems and provides a comprehensive and qualitative assessment of the software safety. The purpose of this paper is to identify safety critical functions of software in Military A/C. The identified software hazards associated with the design or function will be evaluated for risks and operational constraint to further improve the software design requirement, analysis and testing efforts for safety critical software. This common SWHA, the first time analysis in KOREA, was review all avionics OFP(Operational Flight Program), and focus only on software segments which are safety critical. This paper provides a important understanding between the customer and developer as to how the software safety for the Military A/C will be accomplished. It will also provide the current best solution which may as one consider the necessary step in establishing a credible and cost-effective software safety program.

• Journal of Aerospace System Engineering
• /
• v.13 no.1
• /
• pp.62-68
• /
• 2019

The software installed on an aircraft is directly related to its safety. Therefore, it shall comply with the standards of the airworthiness certification to ensure safety of flight. Airborne software should be developed in accordance with the DO-178 (Software Consideration in Airborne Systems and Equipment Certification) to comply with the airworthiness certification criterion. However, the military airborne software has been developed in accordance with the DAPA weapons system software development and management manual. In this paper, we completed a questionnaire survey of software experts. We also suggest a military airborne software development/certification process based on DO-178.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.5
• /
• pp.349-357
• /
• 2022

Since the flight control computer of unmanned aerial vehicle (UAV) is a flight critical equipment, it is necessary to ensure reliability and safety from the development step, and a redundancy-based fault management design is required in order to operate normally even a failure occurs. To reduce cost, weight and power consumption, the dual-redundant flight control system design is considered in UAV. However, there are various restrictions on the fault management design. In this paper, we propose the fault detection and isolation designs for the dual-redundant flight control computer to satisfy the safety requirements of an UAV. In addition, the flight control computer developed by applying the fault management design performed functional tests in the integrated test environment, and after performing FMET in the HILS, its reliability was verified through flight tests.

• Journal of Aerospace System Engineering
• /
• v.7 no.2
• /
• pp.29-34
• /
• 2013

Safety requirements for aircraft and system functions include minimum performance constraints for both availability and integrity of the function. These safety requirements should be determined by conducting a safety assessment. The depths and contents of aircraft system safety assessment vary depending on factors such as the complexity of the system, how critical the system is to flight safety, what volume of experience is available on the type of system and the novelty and complexity of the technologies being used. Requirements that are defined to prevent failure conditions or to provide safety related functions should be uniquely identified and traceable through the levels of development. This will ensure visibility of the safety requirements at the software and electronic hardware design level. This paper has prepared to study on promoting the efficiency of establishing hierarchical safety requirements from aircraft level function to item level through system safety processes.

• Journal of Biosystems Engineering
• /
• v.36 no.6
• /
• pp.476-483
• /
• 2011

The aerial application using an unmanned helicopter has been already utilized and an attitude controller would be developed to enhance the operational convenience and safety of the operator. For a preliminary study of designing flight controller, a state space model for an RC helicopter would be identified. Frequency sweep flight tests were performed and time history data were acquired in the previous study. In this study, frequency response of the flight test data of a small unmanned helicopter was analyzed by using the CIFER software. The time history flight data consisted of three replications each for collective pitch, aileron, elevator and rudder sweep inputs. A total of 36 frequency responses were obtained for the four control stick inputs and nine outputs including linear velocities and accelerations and angular velocities in 3-axis. The results showed coherence values higher than 0.6 for every primary control inputs and corresponding on-axis outputs for the frequency range from 0.07 to 4 Hz. Also the analysis of conditioned frequency response showed its effectiveness in evaluating cross coupling effects. Based on the results, the dynamic characteristics of the model helicopter can further be analyzed in terms of transfer functions and the undamped natural frequency and damping ratio of each critical mode.

• Journal of Advanced Navigation Technology
• /
• v.25 no.4
• /
• pp.273-279
• /
• 2021

A flight control computer(FLCC) applied to an unmanned aerial vehicle(UAV) is a safety-critical item, and which is designed in a multiple structure to increase the reliability of operation by securing fault tolerance. These FLCC of multiple structure should be designed so that each independent processing/control components can perform the same operation at the same time. And for this reason, a synchronization algorithm for synchronizing the operation between FLCCs should be included in an operational flight program. In this paper, we propose a software design method for synchronization between dual FLCCs applied to UAVs. The proposed synchronization method is designed to synchronize using only the minimum hardware resources to reduce a failure rate. In addition, the proposed synchronization method is designed to minimized synchronization errors due to a timer operation by designing in consideration of operation characteristics of the hardware timer used for the synchronization.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Journal of Aerospace System Engineering
• /
• v.16 no.4
• /
• pp.95-108
• /
• 2022

Airworthiness certification is critical, in ensuring the flight safety of military aircraft for development tests and production operations. The MIL-HDBK-516C, latest airworthiness certification document, handles the field of flying qualities in Chapter 6 (flight technology), and refers to specific chapters of MIL-STD-1797B, which is the specification document for developing military aircraft. Since the MIL-STD-1797B released in 2006 by the U.S. Department of Defense is not disclosed to other countries, the Chapter 6 (flight technology) of MIL-HDBK-516B Expanded, the former certification standards pursuant to flying qualities, has to be applied to military aircraft being developed in the Republic of Korea. However the requirements of Chapter 6 of MIL-HDBK-516B Expanded comprise unclear sentences, because of contents from various development specifications. Also, clarification is needed in that the same requirements have to be verified in different criteria. In this paper, the results of this study present an effective verification method, for acquiring the airworthiness certification in field of flying qualities based on MIL-HDBK-516B Expanded.