• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.9
• /
• pp.104-112
• /
• 2005

This paper presents the technique to develop an operational flight program(OFP) of avionic system computer(ASC) which integrates the avionics control, navigation and fire control and provides informations for flight, navigation and weapon aiming missions. For the development of the OFP of ASC, two i960KB chips are used as central processing units board and standard computer interface library(SCIL) which is built in house is used. The Irvine compiler corporation(ICC) integrated development environment(IDE) and the programming language Ada95 are used for the OFP development. We designed the OFP to a computer software configuration item(CSCI) which consists of to three parts for independency of software modules. The OFP has been verified through a series of flight tests. The relevant tests also have been rigorously conducted on the OFP such as software integrated test, and ground functional test.

• Journal of Intelligence and Information Systems
• /
• v.5 no.2
• /
• pp.43-61
• /
• 1999

국방정보체계는 종류가 다양하고 대규모로 추진되기 때문에 소프트웨어 개발을 위한 사업관리에 어려움이 많이 따른다. 더구나, 현재 국방정보체계의 사업관리는 자동화시스템을 이용하여 체계적으로 실시하지 않고 수동으로 처리하기 때문에 많은 문제점이 야기되고 있고 현재의 소프트웨어 개발 표준인 ISO 12207을 수정 없이 그대로 대규모 실시간 국방정보체계의 소프트웨어 개발사업에 적용하는 것도 한계가 있다. 따라서 본 논문의 목적은 효율적인 국방정보체계 소프트웨어 개발 사업관리를 위해서 국방정보체계별로 적절한 개발 생명주기 모델을 선정하고, 각 단계별로 사업관리자가 수행할 태스크를 식별하는 등의 도메인 지식을 개발하여 궁극적으로 국방정보체계 사업관리용 전문가 시스템을 개발할 때 활용함과 동시에 국방정보체계 사업관리의 일환으로 최종 산출물에 대한 품질을 높일 수 있도록 체계적인 시험평가 방안에 대한 도메인 지식도 개발하여 사업관리용 전문가 시스템 구축 시에 활용하고자 하는 것이다. 이를 위해서 국방정보체계의 소프트웨어 개발 사업관리에 영향을 미치는 요소들을 식별하고 이를 이용하여 국방정보체계 소프트웨어 개발 사업관리를 위한 전문가 시스템을 구축할 수 있도록 생명주기 모델 선정을 위한 도메인 지식, 생명주기 각 단계별 세부활동을 위한 도메인 지식, 시험평가 방안선정을 위한 도메인 지식을 개발하여 제시하였다. 본 논문에서는 이러한 도메인 지식을 전문가 시스템 개발도구에서 지원되는 각종 에디터에 사용되는 형태나 IF A, THEN B 형태로 개발하지 않고 사업관리용 전문가 시스템의 지식베이스에 포함될 지식들을 식별하는 것을 중심으로 개발하였다. 즉, 본 논문에서는 국방정보체계 사업관리용 전문가 시스템 개발의 필요성과 가능성을 검증하는 용역연구과제로써 프로토타입 혹을 완벽한 사업관리용 전문가 시스템을 개발한 것이 아니며, 전문가 시스템 개발 시 가장 어렵고 중요한 지식베이스 모듈속에 포함될 도메인 지식을 개발하는 것이 이 연구의 목적이다. 이러한 연구는 궁극적으로는 이러한 도메인 지식이 국방정보체계의 사업관리를 위한 전문가 시스템의 지식베이스 모듈 구축 시 기초/기반 및 핵심 지식으로 활용될 수 있을 것이다.

• Journal of The Korean Association of Information Education
• /
• v.13 no.2
• /
• pp.215-224
• /
• 2009

The aim of teaching writing is not to memorize a single piece of knowledge but to acquire higher thinking that could be related to other fields using learners' various reading experiences and schemata. Among several strategies or techniques to write well, it is recommended to use a mind-map technique. A mind-map software applies the mind-map technique into computer for learners to study autonomously. However, the mind-map software is not common in educational fields yet and there are only few studies on the effect of it. Therefore, this study analyzed various curricula to extract the elements of writing and developed a mind-map software program which was applied and tested. As a result, the writing program using the mind-map software was effective in promoting learners' motivation and lowering anxiety. It also improved learners' competence of writing such as understanding, analytic thinking, creativity, ability to organize, and expression.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.353-360
• /
• 2009

Most information systems are component-based and developed by outsourcing, and developed software is maintained integrative. However, studies on cost measurement indicators and cost estimation model have not been performed sufficiently, which are foundational to enhance the productivity and efficiency of maintenance. This study suggests indicators to measure maintenance cost for component-based software and examines maintenance cost estimation model of component software by the measurement indicators suggested. In order to generate the indicators to measure the component-based maintenance cost, the previously proposed indicators are summarized comparatively. To estimate the measurement indicators of component-based software, it makes a comparison of the previously proposed indicators and arranges them. We classify the measurement indicators by how to apply according to maintenance types of component software and then we propose the cost measurement indicators. Moreover, we propose the cost estimation model according to the maintenance types of component software using the suggested measurement indicators suggested. With the suggested estimation model, a case study is performed and its validity is verified.

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

Until recently, most of GCS(Ground Control Software) has been required to visualize attitude, position, status of vehicle and to transmit control and mission commands for a single UAV(Unmanned Aerial Vehicle). However, the GCS needs to expand its functions to handle more complex situations. Simultaneous operation of multiple UAVs is emerging as a new practice. Hence, we set up requirements for operation of multiple UAVs and suggest the architecture of GCS that satisfy the requirements. In this study, we analyze the upper requirements and define the total structure of GCS at first. Then we design the inner structure for requirements in detail. Finally, we verify the functions of GCS on PILS(Processor In the Loop Simulation) System.

• Journal of the Korea Computer Industry Society
• /
• v.3 no.1
• /
• pp.77-84
• /
• 2002

An cluster system used consist of large number of running servers, one has the problem that does the low availability occured by the high chance of the server failures and it is difficult to provide occuring software aging. In this paper, running cluster web servers consists of n primary servers and k backup servers, based on the operational parameters such as number of running primary servers, number of backup severs, rejuvenation period, rejuvenation time, failure rate of sewers, repair rate of servers, unstable rate of servers. We calculate to evaluate the rejuvenation policy such steady-state probabilities, downtime, availability, and downtime cost. We validate the solutions of mathematical model by experiments based on various operation parameters and find that the software rejuvenation method can be adopted as prventive fault tolerant technique for stability of system. The failure rate and unstable rate of the servers are essential factors for decision making of the rejuvenation policies.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.1
• /
• pp.183-189
• /
• 2023

Most of the games in the RTS genre, including games such as Starcraft and LOL, which are considered the most successful works in E-sports, have become increasingly uniform and boring. In order to make more changes in a uniform and boring system, I thought it could be solved through a combination of genres that have been fully developed and verified, so I tried to present a new game paradigm. To this end, let's focus on the genres of RTS andt TCG among the popular game genres and present a new paradigm by combining the dynamic and static features of these two genres. The new Real-Time Trading Card (RTTC) genre of game system proposed in this paper refers to a new type of game system that fuses the dynamic and static elements of the game. This mixed genre can be a new paradigm for games that can satisfy both gamers and viewers by minimizing the uniformity of the game while adding the randomness of cards to the characteristics of RTS called real-time warfare.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.36 no.5
• /
• pp.347-354
• /
• 2023

In this study, virtual reality software was developed to support the generation of an analysis model of a Hanok and to increase the use of the completed analysis model. The structural analysis model of the Hanok was generated using midas Gen, a general-purpose structural analysis software. After converting it into a text-based input file, the developed software stores the data necessary for the examination of the analysis model. Then, in the developed virtual reality software, the three-dimensional analysis model of the Hanok can be visualized in various ways and the related data can be shown by selecting a specific member. Through this process, errors in the analysis model can be identified and corrected to build a complete analysis model. The developed software was applied to three Hanok cases to verify its applicability and effectiveness. The software is expected to be used in other fields besides the structural field.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.4
• /
• pp.167-176
• /
• 2017

There are increasing policies and safeguards to prevent various human resource losses with the development of automotive industry. Currently ISO26262 $1^{st}$ edition has been released in 2011 to ensure functional safety of electrical and electronic systems and the $2^{nd}$ edition will be released in the second half of 2016 as part of a trend. The E/E (Electrical & Electronics) system requirements verification is required through walk-through, 인스펙션, semi-formal verification and formal verification in ISO 26262. This paper describe the efficiency of model checking for the E/E system requirements verification by applying the product development project of ASIL (Automotive Safety Integrity Level) D for the electrical parking brake system.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.803-810
• /
• 2017

Recently, social security problems have been caused by the development of the software industry, and a variety of automation techniques have been used to verify software stability. In this paper, we propose a method of automatically detecting a use-after-free vulnerability on Windows system calls using dynamic symbolic execution, one of the software testing methods. First, a static analysis based pattern search is performed to select a target point. Based on the detected pattern points, we apply an induced path search technique that blocks branching to areas outside of interest. Through this, we overcome limitations of existing dynamic symbolic performance technology and verify whether vulnerability exists at actual target point. As a result of applying the proposed method to the Windows system call, it is confirmed that the use-after-free vulnerability, which had previously to be manually analyzed, can be detected by the proposed automation technique.