• Proceedings of the KSR Conference
• /
• 2003.10a
• /
• 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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1991.10a
• /
• 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.

• Annual Conference of KIPS
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

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

• Journal of Astronomy and Space Sciences
• /
• v.25 no.3
• /
• pp.321-328
• /
• 2008

Software Test Bench should be simulated with maximum quality to real execution environment in order to verify the performance of software which is changed or newly developed. And especially faults detection and recovery are crucial function of the performance test environment. Simulated Software Test Bench based on processor emulator is attractive and can be available prior to hardware Software Test Bench if real time performance aspect is ignored. In this paper, the results of conceptual study for developing the simulated Software Test Bench are presented.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.9
• /
• pp.1880-1889
• /
• 1997

CMS-MX(CDMA Mobile System-Mobile eXchange) software has a large-scale and needs frequency chanbes to adopt new functions. Therefore, an efficient version management is necessary for the software. General-purpose version management system are not suitable for the CMS-MX software, which consists of various types of files and has its own development method. In this paper, we present a version management system for the CMS-MX software. The version management system provides file registration control. version control, and information management on the basis of software configuration and soft ware developer information in accordance with CMS-MX software developement procement process. It has characteristics such as full file storing, file verification, and association with software integration process.

• Journal of Biomedical Engineering Research
• /
• v.44 no.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.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.9 no.5
• /
• pp.169-174
• /
• 2009

In this paper, We define convert rules objects and relation presented in object model to the state and operation domain in formal specification. we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.6 no.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)$.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• 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.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• 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.