• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.1070-1073
• /
• 2013

위성 비행 소프트웨어의 개발 과정에는 소프트웨어의 신뢰성을 향상하기 위한 다양한 검증 활동이 이루어진다. 이러한 검증 활동에는 효율적으로 설계된 검증 환경이 필수적이다. 위성 비행 소프트웨어 개발 전반에 검증 환경을 효과적으로 적용하기 위해서는 사용 가능한 검증 환경이 보다 빠르게 구현되어야 한다. 검증 환경은 개념적으로 궤도 상의 위성과 통신하는 지상 시스템의 역할을 기본으로 하고 있으므로 Command 송신과 Telemetry 수신을 위성 비행소프트웨어와의 상호 작용으로 정의할 수 있다. 따라서 위성 비행소프트웨어의 동작을 Command와 Telemetry 관점에서 모델링하고 이를 모사하는 시스템을 이용함으로써 위성 개발 초기부터 위성 비행 소프트웨어 검증 환경 구현에 사용할 수 있고, 또한 위성 개발 과정에서 발생하는 다양한 변경 사항을 보다 효과적으로 반영할 수 있다. 본 논문에서는 위성 비행 소프트웨어의 검증 환경 구현을 위한 Command Telemetry Simulator의 설계 및 그 구현에 대하여 소개한다.

• Nuclear Engineering and Technology
• /
• v.53 no.1
• /
• pp.131-141
• /
• 2021

Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&C system in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness or quality) of a simulation in the absence of any clear measure for the estimation. This paper proposes two sets of structural coverage adequacy criteria for the FBD simulation, toggle coverage and modified condition/decision coverage, which can estimate the thoroughness of simulation scenarios for FBD programs, as recommended by international standards for functional safety. We developed two supporting tools to generate numerous simulation scenarios and to measure automatically the coverages of the scenarios. The results of our experiment on five FBD programs demonstrated that the measures and tools can help software engineers estimate the thoroughness and improve the simulation scenarios quantitatively.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.04a
• /
• pp.568-573
• /
• 1996

In this paper, A design strategy of the Surface Mounting Device for accurate and better performance is studied. Analytical Modeling. Sensitivity analysis and optimization are being conducted. The ANSYS software and experimental method are used for verification of the analytical equations withboundary conditons. Through the sensitivity analysis, the most dominant design parameters can be detected. The optimum design parameters for performing given performing given perfomances are selected by using the optimization algorithm. The design tool based on the design strategy for the analysis, modeling and optimization will be useful for a re-design and better perofrmance of the SMD.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1992.03a
• /
• pp.131-158
• /
• 1992

Verification, calibration, and compensation are becoming more essential elements for manufacture and maintenance of high performance CMMs. A computer module of volumetric error generation has been developed to calculate volumetric errors (random as well as systematic) from measured parametric errors, accepting most types of CMMs in current use. New transformation rules have been derived to transform all the parametric errors with respect to the origin of working volume considered, then incorporated, then incorporated into the module of error calculation. Two cases of practical CMMs are tested with the developed module, and showed good performance.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.2
• /
• pp.120-128
• /
• 1997

In this paper, A design strategy of the Surface Mounting Device for accurate and better performance is studied. Analytical modeling, sensitivity analysis, and optimization are being conducted. The ANSYS software and experimental method are used for the verification of the analytical equations with boundary conditions. Through the sensitivity analysis, the most dominant design parameter can be detected. The optimum design parameters for improving the given performances are selected by using the optimiza- tion algorithm. The design tool based on the design strategy for the analysis, modeling, and optimization will be useful for are-design and better improving of the SMD.

• International conference on construction engineering and project management
• /
• 2013.01a
• /
• pp.267-273
• /
• 2013

Early design phase energy modeling is used to provide the design team with first order of magnitude feedback about the impact of various building configurations. For better energy-conscious and sustainable building design and operation, the construction of BIM data interoperability for energy performance assessment in the early design phase is important. The purpose of this study is to suggest construction of BIM data interoperability for energy performance assessment based on BIM. To archive this purpose, the authors have investigated advantage of BIM-based energy performance assessment through comparison with traditional energy performance assessment and suggested requirement for construction of open BIM environment such as BIM data creation, BIM data software practical use, BIM data application and verification. In addition, the authors have suggested BIM data interoperability and BIM energy property mapping method focused on materials.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.511-512
• /
• 2023

자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.

• Journal of Positioning, Navigation, and Timing
• /
• v.12 no.4
• /
• pp.431-436
• /
• 2023

In order to provide continuous Korea Augmentation Satellite System (KASS) services, the operation organization should continuously and systematically perform operations, maintenance, and technical activities. All subsystems of KASS, all Line Replacement Units (LRUs), and Software Replacement Units (SWRUs) should be operated and maintained continuously. In order to effectively manage these activities, it is necessary to develop an Operation Management Tool (OMT). For this purpose, operation management, operation organization, and operation activities were defined. The defined requirements were divided into general, function, interface, and database for OMT development, and functions and decision-making procedures consisting of site/asset/trouble/work order/schedule management were designed. The OMT developed by reflecting the site and asset information as well as the design content met predefined requirements. The OMT will be actively used in actual KASS operation and will evolve by continuously reflecting the additional requirements of operators. Through this tool, KASS will support continuous service provision.

• Annual Conference of KIPS
• /
• 2007.11a
• /
• pp.779-781
• /
• 2007

Nowadays, as the increasing functionality and scales of embedded systems, system design grows more complex than before. So verification and simulation of systems become an important facet in hardware-software co-design issues. But it is almost impossible to simulate an embedded system without real hardware implementation or environment communication, especially for control-dominated reactive systems. Therefore, in this paper, we will introduce a GUI environment module generator for integrated Esterel\C++ simulation. By generating the GUI modeling environment, we can simulate and verify the whole embedded system conveniently.

• Annual Conference of KIPS
• /
• 2024.05a
• /
• pp.27-30
• /
• 2024

A digital platform government without boundaries between the public and private sectors and between government ministries is impossible without national data management. Logical verification was carried out in this study following the definition of the national data management system's purpose, elements, and mode of implementation. Specifically, it was broken down into three dimensions in an effort to review different aspects: the management subject, the management method, and the designation target of national data. Finally, a description of the national master data management system and organization was given. The direction for the implementation of the digital platform government will be presented by this study.