• Journal of the Institute of Convergence Signal Processing
• /
• v.10 no.4
• /
• pp.274-279
• /
• 2009

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In this paper, verification environments based-on SystemVerilog and SystemC, one is native-code co-verification environment which makes prompt functional verification possible and another is SystemVerilog layered testbench which makes clock-level verification possible, are implemented. In native-code co-verification, HW and SW parts of SoC are respectively designed with SystemVerilog and SystemC after HW/SW partitioning using SystemC, then the functional interaction between HW and SW parts is carried out as one simulation process. SystemVerilog layered testbench is a verification environment including corner case test of DUT through the randomly generated test-vector. We adopt SystemC to design a component of verification environment which has multiple inheritance, and we combine SystemC design unit with the SystemVerilog layered testbench using SystemVerilog DPI and ModelSim macro. As multiple inheritance is useful for creating class types that combine the properties of two or more class types, the design of verification environment adopting SystemC in this paper can increase the code reusability.

• Journal of Aerospace System Engineering
• /
• v.17 no.6
• /
• pp.133-143
• /
• 2023

This paper describes the system integration laboratory's requirement analysis, implementation, and verification for multiple-scenario unmanned aerial vehicle operation and control technology using a manned rotorcraft for Manned-Unmanned Teaming. System integration laboratory consists of manned rotorcraft flight simulation, unmanned aerial vehicle flight and mission equipment simulation, ground control system simulation for unmanned aerial vehicle control and change in the control authority between the ground control system and manned rotorcraft, and operation and control system for mission plan's writing and transmission. Each implemented simulation verified the requirements through software and hardware integration test.

• Journal of Aerospace System Engineering
• /
• v.13 no.3
• /
• pp.40-47
• /
• 2019

This paper proposes the environment construction and test method of system integration laboratory (SIL) and system integration test (SIT) for verification of interface between onboard equipment and ground control equipment of unmanned aerial systems (UAS). This research also describes the interface environment between subsystems built in SIL and verification methods for the systems' operation logic through simulated flights. Similarly, the paper handles the ground integration test process of UAS in the real testing environments.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.11
• /
• pp.998-1005
• /
• 2017

In this paper, we first introduce a systematic verification procedure for hierarchically structured avionics system. By making use of equipment models, it can perform individual verifications of each subsystem, integrated verifications of multiple subsystems, and an integrated verification of a whole system. A multi-mode system integration laboratory is then proposed to make it possible to execute various individual or integrated verification tests at the same time. By mathematically proving that the proposed multi-mode system integration laboratory needs less verification time than the conventional verification methodology, it is expected to enhance the efficiency of the systematic verification procedure and as a result, reduce the overall verification period and costs.

• Aerospace Engineering and Technology
• /
• v.11 no.1
• /
• pp.49-56
• /
• 2012

The flight software monitors the status of the satellite and performs attitude control and its own mission. Due to the operating environments and its uniqueness, the high level of reliability is required for the flight software. To this end, a variety of activities to meet the given requirements and improve the safety and reliability are made during the development of flight software. A variety of development environments should be provided to support execution of flight software on hardware or satellite simulator and dynamic verification of flight software through command/telemetry interface. The satellite flight software team has been developing the IVF to be applied to various satellite projects more effectively and to improve the reliability of flight software. In this paper, the design and configuration method of IVF for the effective verification of flight software is introduced.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.1021-1024
• /
• 2008

이 논문에서는 모바일 게임 검증 통일이 필요함을 역설하고 이를 위한 기준안을 제안하였다. 기존의 모바일 게임 개발은 개발환경의 비통합화로 인해 개발에 많은 어려움을 겪었지만, WIPI라는 통합 플랫폼의 등장으로 인해 개발 효율성이 높아졌음을 알 수 있었다. 그러나 이동통신사마다 다른 검증 항목과 과정은 개발환경 통합화를 통한 개발 효율성의 증가를 방해하는 요소임을 알 수 있었다. 따라서 게임 검증의 항목을 제안하는 기준을 통해 통일시킴으로써 개발환경의 통합화로 인한 개발 효율성의 증가를 돕도록 하여 모바일 게임의 질적, 양적인 발전을 이루도록 해야 한다. 기준안을 바탕으로 더 많은 연구가 이루어지게 되면 모바일 게임 검증 표준화가 가능하다고 기대한다.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.1
• /
• pp.12-22
• /
• 1995

When we integrate schema of distributed local databases, we mean entity integration as central concept of schema integration, and semantic of entity affects several factors. Thus the schema integration in distributed database environment starts from definition of domain relation among entity types of local schemas. Moreover, the domain relation defined by designer needs some works for confidence and validation of schema integration system. But this work was not presented in previous integration system. In this paper, we define object oriented integration for schema integration of local databases in distributed system environment, present models to verify validation on its integration, and implement the validation system.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.5
• /
• pp.446-453
• /
• 2012

As part of the integration phases in developing a UAV, a System Integration Laboratory (SIL) has been developed to provide integrated test capability for the verification of avionics system requirements. The SIL has realized primary functions that are common in manned aircraft SIL's, and specialized laying stress on test data visualization and test automation under the closed-loop structure of the ground control simulation, aircraft simulation and flight simulation components. Those design results have led to easy and sure verification of lots of complex requirements of the UAV avionics system. The functions and performances of the SIL have been proved in four gradational test steps and checked to operate successfully in aircraft System Integration Test Environment for the integration of UAV ground station and aircraft.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.567-569
• /
• 2011

플러그인 프레임워크는 구성요소 간 높은 종속관계 및 낮은 유연성을 해결하고자 개발된 S/W 기반요소로서, 프레임워크를 구성하는 컴포넌트를 플러그인으로 제공하여 구성요소의 추가 및 변경이 동적으로 이루어지게 한다. 이를 통해 소프트웨어 구성을 위해 필요한 컴포넌트들이 동적으로 추가 혹은 변경하여 소프트웨어를 구현 가능하게 되어 소프트웨어의 확장성 및 재사용성을 증대시킨다. 하지만, 플러그인 프레임워크 기반의 소프트웨어 개발 과정은 낮은 종속관계의 구성요소가 결합되어 이뤄지는 만큼, 개별 구성요소의 인터페이스 및 구성요소 간 통합을 사전에 검증할 수 있는 통합시험환경에 대한 필요성이 제기된다. 이에 본 논문은, 동적 구성요소의 개별 인터페이스 검증 및 구성요소 간 통합검증이 가능한 플러그인 프레임워크 기반에서의 통합시험도구에 대해 제안하고, 이에 대한 개략설계내용을 기술한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.505-513
• /
• 2021

We propose an autonomous mission management software design and verification technique for unmanned aerial vehicles to autonomously mitigate dynamic situation changes occurred in the inside and outside of an aircraft in compliance with the mitigation priority order. The proposed autonomous mission management software is designed in a modular architecture that consists of concurrently executing multiple threads. To verify it, we suggest three verification steps: 1) software integration by checking the expected request/response messages between the threads for all possible dynamic situation changes; 2) integration test to verify the software functionality; 3) performance test to verify the quantitative software performance. Especially, the software integration test environment is built and utilized to carry out the integration and performance tests.