• Proceedings of the Korean Society of Applied Entomolohy Conference
• /
• 2005.05a
• /
• pp.178-178
• /
• 2005

• Proceedings of the Korean Vacuum Society Conference
• /
• 2005.08a
• /
• pp.178-178
• /
• 2005

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.46 no.1
• /
• pp.86-94
• /
• 2018

As the use of software is increasing in aircraft system, an exposure to the threat of safety and security also continues to grow. Although certification criteria for software safety such as DO-178C have already been established, specific certification criteria for software security have not yet been included. Recently DO-326A, DO-356 and DO-355 have been published separately for aircraft and system airworthiness security certification criteria. However, to comply individual certification criteria and procedures, it requires the additional cost and effort. Therefore, this paper proposes the efficient integrated certification criteria saving cost, effort and time by combining the certification criteria for software safety and security.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.911-920
• /
• 2009

Airbone software must comply the DO-178B standard in order to be certified by the FAA. The standard requires the unit testing of safety-critical software to meet the coverage criterion called MC/DC(Modified Condition/Decision Coverage). Although MC/DC is known to be effective in finding errors related to safety, it is also true that generating test cases which satisfy the MC/DC criterion is not easy. This paper presents a tool named MD-SAT which generates MC/DC test cases with SAT(SATisfiability) technology. It can be employed for generating diverse test cases in tools implementing various testing techniques including decision table based test, cause-effect graphing, and state-based test.

• Journal of Advanced Navigation Technology
• /
• v.27 no.4
• /
• pp.382-390
• /
• 2023

The Korea market for LUAV (Light Unmanned Aerial Vehicle) weighing less than 150 kg is growing rapidly. As a result, the market for manufacturing and operating LUAV is expanding, and domestic development of parts and finished products is actively taking place. However, the flight control system and onboard software, which are key components of domestic LUAV, are largely dependent on overseas products due to the excessive cost and period required for development. This paper presented a domestic software development and certification procedure using DO-178C, a guideline for aircraft software development, and the Model-based Development method, and conducted a survey of those involved in the development, manufacturing, and certification of LUAV and analyzed the results. In addition, a case study was conducted to apply the software development plan to the helicopter FCC (Flight Control Computer).

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 2004.11a
• /
• pp.178-178
• /
• 2004

• Journal of Korean Neurosurgical Society
• /
• v.55 no.3
• /
• pp.178-180
• /
• 2014

Despite significant advances in the treatment of all forms of chronic otitis media (COM), complications still can and do occur, with intracranial complications representing the most life-threatening cases, often requiring immediate therapeutic intervention. Herein, we present a rare case of rapidly progressing facial paralysis with concomitant severe headache and ipsilateral hearing loss secondary to an otogenic brain abscess, treated with the transmastoid approach, drainage, and facial nerve decompression.

• Korean Journal of Plant Resources
• /
• v.18 no.3
• /
• pp.390-402
• /
• 2005

This study was carried out systematically to grasp the resource plants in construct-reserved site of ecological forest, Jecheon-si, Chungcheongbuk-do, Korea. This site was located at $37^{\circ}12'$ in latitude and $127^{\circ}57'$ in longitude and the period of survey was from March to October, 2004. The vascular plants were summarized as 371 taxa; 83 families, 238 genera, 324 species, 44 varieties and 3 forma. And in the results of survey on resource plants, we confirmed 178 taxa of ornamental plants$(47.98\%)$, 232 taxa of edible plants$(62.53\%)$, 257 taxa of medicinal plants$(69.27\%)$ and 154 taxa of other useful plants$(41.51\%)$. The rare and endangered plants designated by Korea Forest Service were 4 taxa; Eranthis stellata, Paeonia japonica, Viola albida and Scopolia japonica.

• 한국도로학회:학술대회논문집
• /
• 2006.10a
• /
• pp.175-178
• /
• 2006