• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.960-964
• /
• 2004

During system resource improvement process that based on Object-Oriented technology could be affect to the continuous system performance if lack appropriate management and control objects mechanism. This paper proposes a methodology to support continuous system performance and its stability. The adoption is based on Java Container Framework and Collections Framework for object collection. Also includes Software Engineering, Object Migration and Multiple Class Loaders mechanism accommodate to construct Continuous Migration Container (CMC). CMC is a runtime environment provides interfaces for management and control to support upgrading object process. Upgrade object methodology of CMC can be divided into two phase are object equivalence checking and object migration process. Object equivalence checking include object behavior verification and functional conformance verification before object migration process. In addition, CMC use Multiple Class Loaders mechanism to support reload effected classes instead of state transfer in migration process while upgrading object. These operations are crucial for system stability and enhancement efficiency.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1953-1954
• /
• 2008

The excitation system for class 1E has been developed to apply to the nuclear power plant emergency diesel generator by utilizing the existing digital excitation system. The additional mission was to evaluate the excitation system of safety. It is the safety analysis of the excitaton system, the verification test, the aging test, the safety requirement test and so on. The verification test is classified of hardware and software part for detail.

• Smart Media Journal
• /
• v.4 no.4
• /
• pp.47-55
• /
• 2015

Recently, the computing paradigm has been changing and VoIP technology is being revisited to support various services in ICT field. In this paper, we have designed and implemented the systems of software PBX open source Asterisk using light-weighted virtualization Docker technique, hardware platform, and mobile devices to support voice service based on secured mobile VoIP. And we verified the delay test of network traffics and the secured voice communication test in global real network environment.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.5
• /
• pp.593-602
• /
• 2004

We have developed a digital control rod control system not only to improve its performance but also to improve its reliability and speed of response so that it can replace the old fashioned analog system. However, a new developed digital control system should be tested to prove the validity by using any prototype or mock-up before application. The reliability prediction and the reliability block diagram analysis methods were adopted to verify the reliability of the developed hardware. For the case of software, especially fur a new developed control algorithm it has been tested to prove performances and validation by using a dynamic simulator and mock-up of control rod drive mechanism altogether. Here we want to present some key factors regarding to the new developed digital system with some verification procedures.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.639-642
• /
• 2009

When the graphics accelerator for high-quality multimedia content design, hardware verification environment, easy and accurate performance evaluation in an embedded device is required. To work around this is not verified through the simulation waveform analysis to determine the actual calculated graphic images has designed a software rasterizer. Rasterizer is designed for Windows-based environment using the C language implementation of rasterization has a function at each step. Vertex data is entered and the results were verified.

• Journal of Multimedia Information System
• /
• v.8 no.4
• /
• pp.285-294
• /
• 2021

The development process of domestic CG (Computer Graphics) needs to be studied by classifying the technical part and the design part. This paper analyzes how early domestic broadcast equipment evolved and focused on what went through the development process. Domestic broadcasting companies have introduced and used overseas equipment and have begun to develop their own technology. The development process of the early domestic production technology of broadcasting stations was classified into Character Generator, On-line Real-Time Graphic and Sport Coder. It was found that the orientation of broadcasting technology was conclusively focused on visualization, with socio-cultural factors acting along with the evolution of hardware and software. This research is meaningful in reorganizing the history of the development process of domestic CG technology in the early days through previous research (primary verification), newspaper articles and news coverage (secondary verification). This paper looks at what is missing by regaining the past of CG, and argues that with the advent of new technologies today, we must develop through appropriate division of roles and collaboration between engineers and designers.

• Journal of Aerospace System Engineering
• /
• v.18 no.5
• /
• pp.97-102
• /
• 2024

An umbilical separation device can maintain and disconnect electrical connections with a missile launched from a launch tube. In this paper, an umbilical separation device was designed according to mechanical characteristics of a missile. Its behavior was analyzed with Recurdyn software. Based on analysis results, its performance was verified through a verification test.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.9
• /
• pp.923-930
• /
• 2009

In this paper, we introduce a satellite conceptual design software which can be used for outlining a new satellite as well as for educational purpose. This software consists of three commercial tools: MATLAB, STK(Satellite Tool Kit), and Excel. The management of the design software is done by MATLAB which provides basic calculations, GUI(Graphical User Interface), Excel data base management, and STK control. STK, an orbital simulation software developed by AGI, takes a part of obtaining accurate orbital information of a satellite. Excel, a product of Microsoft, is used for the data base of previous satellites and for the saving place of temporary and final results of the software. The conceptual design of a satellite is to roughly estimate power system and mass. In the power system design, the sizes of solar array and battery are determined. Based on the database of existing satellites, we can estimate the subsystems's mass fraction of a target satellite. Design examples for Kompsat 1 and 2 are suggested for verification of the developed software.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.860-867
• /
• 2015

In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.

• Journal of Engineering Education Research
• /
• v.25 no.6
• /
• pp.93-102
• /
• 2022

Due to COVID-19, all activities in society are emphasized non-face-to-face, and the educational environment is changing without exception. Looking at the results of the survey after conducting non-face-to-face education, there was a lot of rejection of non-face-to-face practical education. The biggest reason was that instructors were not familiar with the non-face-to-face education method, and feedback was not smooth during or after education. In particular, software practice education was not easy to share the software development environment, but communication and feedback on class contents and tasks were important. In particular, if face-to-face and non-face-to-face are alternately variable, it is not easy for practical education to be consistently connected. Even if non-face-to-face hands-on education is changed to face-to-face hands-on education, we will present a plan to use a data sharing system such as question-and-answer, assignment, practice content, and board content so that it can proceed smoothly. This study presents an efficient software education process that can provide learners with a software integrated practice environment based on a shared server, question-and-answer between instructors and learners, and share feedback on tasks. For the verification of the presented process, the effectiveness was confirmed through the survey results by applying the face-to-face/non-face-to-face education process to 220 trainees for 30 months in software education classes such as A university hands-on education, B company new employees, and ICT education courses.