• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(I)
• /
• pp.216-223
• /
• 2003

In this paper, we introduce the software and hardware of the measuring system for performances of traction and braking in KTX(Korea Train eXpress). The measuring system focuses on the verification of the performance and acquisition of test data. The software controls the hardware of the measuring system, performs the analysis and calculation of measurement data and acts as interface between users and the hardware. For this purpose, three programs, such as a measuring program, a back-up program and a post-processing program, have developed.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1991년도 춘계공동학술대회 발표논문 및 초록집; 전북대학교, 전주; 26-27 Apr. 1991
• /
• pp.379-401
• /
• 1991

A comprehensive computer software has been implemented in conjunction with the software for volumetric error generator, to assess simulation on specific measurement tasks. The simulation algorithms have been developed for major measurement tasks, such as step gauge, ring gauge, sphere gauge, and cylinder gauge simulations etc. Verification and practical applications of the developed module have shown its efficiency and validity.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

• Journal of Astronomy and Space Sciences
• /
• 제25권3호
• /
• pp.321-328
• /
• 2008

위성 온-보드 소프트웨어 중 새로 개발되거나 일부분이 변경된 소프트웨어의 성능을 검증하기 위해서 요구되는 소프트웨어 테스트 벤치는 실제 구동환경을 가능한 가깝게 묘사하여야 하며 특히 결함 검출 및 복구 성능 검증에 대한 시험 환경을 충분히 제공하여야 한다. 실시간적인 성능 시험을 제외하면 프로세서 에뮬레이터 기반의 시뮬레이션 소프트웨어 테스트 벤치는 매우 매력적인 소프트웨어 성능 검증 환경을 하드웨어 소프트웨어 테스트 벤치보다 앞서 제공하는 것이 가능하다. 이 논문에서는 시뮬레이션 소프트웨어 테스트 벤치를 개발하기 위한 개념 연구 결과를 제시하고 있다.

• 한국통신학회논문지
• /
• 제22권9호
• /
• pp.1880-1889
• /
• 1997

CMS-MX(CDMA Mobile System-Mobile eXchange) 이동통신교환기 소프트웨어는 그 규모가 크고 새로운 기능 추가에 따른 지속적인 변경이 요구되기 때문에 체계적인 버전 관리를 필요로 한다. 그러나 CMS-MX 소프트웨어는 다양한 형태의 파일들로 구성되어 있고 고유의 소프트웨어 개발 체계를 따르기 때문에 범용의 버전 관리 시스템을 그대로 적용하기가 어렵다. 본 논문에서는 CMS-MX 소프트웨어의 개발 환경 및 개발 체계에 적합하도록 구현된 CMS-MX 소프트웨어 버전 관리 시스템을 소개하고 그 구성과 기능에 대해 기술하였다. CMS-MX 소프트웨어 버전 관리 시스템은 소프트웨어 형상과 소프트웨어 개발자 정보를 하여 파일의 등록관리, 버전제어, 그리고 정보 관리의 기능을 수행하며 파일 전체 저장, 파일 검증, 소프트웨어 종합 작업과의 연계등의 특징을 가지고 있다.

• 대한의용생체공학회:의공학회지
• /
• 제44권2호
• /
• pp.99-108
• /
• 2023

According to the COVID-19, development of various medical software based on IoT(Internet of Things) was accelerated. Especially, interest in a central software system that can remotely monitor and control ventilators is increasing to solve problems related to the continuous increase in severe COVID-19 patients. Since medical device software is closely related to human life, this study aims to develop central monitoring system that can remotely monitor and control multiple ventilators in compliance with medical device software development standards and to verify performance of system. In addition, to ensure the safety and reliability of this central monitoring system, this study also specifies risk management requirements that can identify hazardous situations and evaluate potential hazards and confirms the implementation of cybersecurity to protect against potential cyber threats, which can have serious consequences for patient safety. As a result, we obtained medical device software manufacturing certificates from MFDS(Ministry of Food and Drug Safety) through technical documents about performance verification, risk management and cybersecurity application.

• 한국인터넷방송통신학회논문지
• /
• 제9권5호
• /
• pp.169-174
• /
• 2009

본 논문에서는 정확한 분석 모델을 제시할 수 있는 객체 모델링과 정형화 방법을 통해 개발자와 사용자간 효과적인 의사소통을 제공하고 객체모델의 정형화와 표준화에 필요한 형식명세로의 변환 규칙을 제안한다. 사용자의 요구에 따라 최적의 객체모델 선택을 위한 객체 모델 검색 프로토타입을 제시한다. 이를 통해서 적합한 모델을 선택할 수 있으므로 소프트웨어 개발시 비용과 노력을 최소화할 수 있다.

• 한국생산제조학회지
• /
• 제6권1호
• /
• pp.51-58
• /
• 1997

The verification of the STL file is essential to build the confident parts using a RP machine, because the STL file obtained from the CAD software has many errors-the orientation of triangle does not coincide with adjacent triangles or some triangles are omitted, overlpped and so forth. Especially, the STL file translated from the surface model has more errors than those translated from the solid model. In this study, all possible errors were classified with the most general from and the causes of errors were analyzed to verify and correct errors. Using the triangle based non-manifold geometric modeling, these errors were corrected. Especially, this study took the notice of the problem about the intersected triangles and non-manifold properties overlooked in the previous studies. But this study has a penalty on computing time of $O(n^2)$.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 추계학술대회 논문집
• /
• pp.801-805
• /
• 2000

This paper presents a new method of tool path optimization. A NC verification model based Z-map was utilized to obtain chip load in feed per tooth. This developed software can regenerate a NC program from cutting condition and the NC program that was generated in CAM. The regenerated NC program has not only all same data of the ex-NC program but also the new feed rates in every block. The new NC data can reduce the cutting time and manufacture precision dies with the same chip load in feed per tooth. This method can also prevent tool chipping and make constant tool wear. This paper considered the effects of acceleration and deceleration in feed rate change.