• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Journal of the Korean Society of Systems Engineering
• /
• v.6 no.1
• /
• pp.25-32
• /
• 2010

The Test and Evaluation (T&E) process is an integral part of the Systems Engineering Process. The purpose of Test and Evaluation (T&E) in a system development is to identify the areas of risk to be reduced or eliminated. In this study, when develop aircraft of Civil Aviation with development experience of Military Aircraft, it is that establish Test and Evaluation process. Test and Evaluation for KC-100 small aircraft development can divide to certification test and development test. Certification test is proved compliance about Korea Airworthiness standard (KAS Part 23), through Development Test verify required performance of aircraft. These Test and Evaluation Process is more efficient and optimized.

• Journal of Advanced Navigation Technology
• /
• v.22 no.2
• /
• pp.84-89
• /
• 2018

Due to the development of domestic technology, a variety of aircraft launch weapons have been developed, and the importance of aircraft-store integration certification is increasing. The aircraft-Store integration certification is to certify compliance with the armaments/stores integration criteria set out in the Standard ACC and to prove that there is no problem with the safety flight. Therefore, it is necessary to reflect the requirements of the aircraft in the store development process to reduce the design change requirement in the compatibility verification stage. In this paper, the relationship between the Standards ACC, aircraft-store compatibility reference document MIL-HDBK-1763, and the development process of cruise guided weapons have been analyzed. As a result of the analysis, it was concluded that the design changes in the aircraft-store integration certification stage could be reduced if the aerodynamic and structural design requirements were reflected from the conceptual design stage.

• Journal of Aerospace System Engineering
• /
• v.16 no.3
• /
• pp.1-9
• /
• 2022

In this study, for development of the MDO (Multi Disciplinary Optimization) framework, the flight dynamic characteristic parameters of the ChangGong-91, a light aircraft, were extracted by an analytical method based on various semi-empirical methods, and the flight test method was compared and evaluated. The semi-empirical analysis methods for comparative subjects were the Perkins method, McCormick method, and Smetana method. The major stability/control derivatives and dynamic factors were calculated, using each method. As the comparison criteria, the flight test derivative estimates and dynamic factors were processed, using the output error method. Additionally, the flight characteristics of the light aircraft were analyzed and evaluated according to the provisions of the Korean Airworthiness Standard (KAS) of the Ministry of Land, Infrastructure and Transport, and MIL-F-8785C for the U.S. military.

• Journal of Aerospace System Engineering
• /
• v.17 no.5
• /
• pp.42-57
• /
• 2023

In this paper, to increase the research capability of flight missions and maintenance in operating military aircraft, we studied the requirements for additional mounting of flight video and data recorders and safety verification methods. The verification process of the recorder equipment itself, structural safety in the aircraft system, power and electrical safety, electromagnetic compatibility, and impact of airworthiness are described in accordance with military standards and operating environment requirements. In addition, through ground/flight tests, the results of functional operation suitable for the influence and demand of interference between the flight video and data recorder and other systems are also presented.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.10
• /
• pp.893-901
• /
• 2014

UAS and related technology have been mainly developed for military use but, in recent years, various types of civil UAS have been using in a variety of applications. For example, there are multicopters to shoot aerial photography, pesticide spraying unmanned helicopter, and in addition there are radio control (R/C) aircraft to be used for hobbyists. UAV has spread rapidly enough that permitted experts as well as the public can use it but the related safety regulations are not properly equipped. We investigated the status of domestic and international UAS certification system and airworthiness standards. And the trends in research for the development and modification of the certification system were studied in this paper. As a result, most countries have studied to develop the related regulations and especially ICAO has tried to develop RPAS manual, standards and recommended plans and modify the related ICAO annex through the research group, ICAO UASSG. Based on the manual and SARPs, authorities, related organizations and companies have prepared to develop and modify regulations in accordance with the actual situation of each country.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.22 no.6
• /
• pp.745-753
• /
• 2019

Recently, with the development of long-range / high-altitude guided weapon system for defense against ballistic missile, test range and firing altitude for guided weapons are increasing. Due to the increase in the test range and the intercepting altitude, it is expected to increase the range of safety area required for the firing test. Comparing to the foreign countries which have many desert or non-residence, in the domestic circumstances where the population is concentrated and distributed, it is more important to predict the falling area and to set the safety area for safely carry out the long-range / high-altitude intercept test. In this paper, we consider the following three points. The first is the booster fall trajectory modeling, the second is the shroud fall trajectory modeling, and finally, the debris dispersion modeling for the missile intercept. Especially, the AUTODYN model was used to predict debris falling area which produced in the high-speed guided missile intercepting test.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.25 no.1
• /
• pp.9-22
• /
• 2022

A fighter performing a reconnaissance mission is equipped with a pod that drives optical/infrared sensors for acquiring and identifying target information on the lower part of the fuselage. Due to the nature of the reconnaissance mission, the fighter performs high speed evasive maneuvers, and the resulting load should be considered importantly for the development of the pod. This paper concerns a numerical investigation into the inertial and aerodynamic loads of the airborne pod of high performance aircrafts. For the aerodynamic load analysis, the pylon and pod shapes are added to the fighter 3D model, and the commercial software was used for static and dynamic analysis. Considering the practical mission conditions, the common/extreme conditions were established respectively in the static and dynamic situations of pods and the driving torque could be tripled under dynamic conditions. In the analysis of inertia load, a 3-DOF model considering roll and turning maneuvers was derived by the Lagrangian method, and then the numerical integration method was applied to the analysis. As a results, it was conformed that the inertia load was generally induced at a low level compared to the aerodynamic load, but depending on the unbalance mass condition of the pod, the inertia load cannot be negligible.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.201-204
• /
• 2017

An comparative analysis between two engine type certification specifications which are FAR Part 33 and EASA CS-E has been performed to provide fundamental information for validity assessment of civil certified engine when it is installed to a military rotorcraft. The analysis result has been used to build a traceability information between CS-E and MIL-HDBK-516C by which the substantiation data for engine type certification can be used as parts of aircraft propulsion system airworthiness substantiation.

• Journal of Aerospace System Engineering
• /
• v.14 no.1
• /
• pp.44-53
• /
• 2020

In conjunction with the Fourth Industrial Revolution, the unmanned aerial vehicle industry is being developed to a new paradigm by combining advanced technologies such as AI, Big Data and the IoT. Aeronautical developed countries such as the U.S. are focusing their efforts on the development of the safer unmanned aerial vehicles. The Korea Aerospace Research Institute, as part of the national R&D project in 2011, had succeeded in developing the first vertical takeoff and landing (VTOL) UAS, called Smart-UAV. However, although the development technology of the VTOL UAS is possessed, developing and operating of the VTOL UAS for commercial or military use are limited. The type certification procedure of the VTOL UAS developed by domestic technology is stipulated in the Korean Aviation Safety Act, but the Korean VTOL UAS airworthiness standards (KAS) hsve not been established. Thus, this study investigated the development trends of the VTOL UAS in Korea and abroad and national certification systems and procedures, and benchmarked the special conditions for the VTOL aircraft, announced by the EASA on July 2, 2019, to establish standards for type certificate of the VTOL UAS in Korea.