• Journal of Navigation and Port Research
• /
• v.33 no.6
• /
• pp.395-400
• /
• 2009

In order to prepare for the DGNSS recapitalization and implementation of the functions for software based reference station and integrity monitor (RSIM) system, this paper proposes a design of integrity monitor functions of maritime differential GPS RSIM. The most critical functions of the integrity monitor (IM) are to generate and send flags to the reference station (RS) along with system feedback. Firstly, it presents the architecture of software based RSIM, and analyzes the performance standard of integrity monitor for maritime DGPS reference station This paper then designs the functions of integrity monitor for DGPS reference station based on the performance standard. Finally, this paper presents the results of performance analysis for the functionality of integrity monitor using the GNSS simulator. it discusses the study method and its application for the system implementation.

• Journal of Astronomy and Space Sciences
• /
• v.22 no.4
• /
• pp.537-558
• /
• 2005

This paper addresses the results of HAUSAT-2 radiation environment and effect analyses, including TID and SEE analyses. Trapped proton and electron, solar proton, galactic cosmic ray models were considered for HAUSAT-2 TID radiation environment analysis. TID was analyzed through total dose-depth curve and the radiation tolerance of TID for HAUSAT-2 components was verified by using DMBP method and sectoring analysis. HAUSAT-2 LET spectrum for heavy ion and proton were also analyzed for SEE investigation. SEE(SEU, SEL) analyses were accomplished for MPC860T2B microprocessor and K6X8008T2B memory. It was estimated that several SEUs may occur without SEL during the HAUSAT-2 mission life(2 years). Software Hamming Code EDAC has been implemented to detect and correct the SEU. In this study, all radiation analyses were conducted by using SPENVIS software.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.179-195
• /
• 2007

Traditional software development method is not suitable for Web application development because of characteristics of Web application such as frequent requirements change, different architectures and models and quick-to-market delivery. In this paper we propose a Web application development method adaptable to requirements change while we systematically model Web application using extended UML model. The metamodel is independent to specific languages and technologies because we define the metamodel using extended UML model. Proposed process is described by SPEM(Software Process Engineering Metamodel) profile. A process supporting tool execute and customize process. To model Web applications systematically and effectively, a navigation modeling and a component communication modeling tools are provided. In a case study, we show the usefulness of our process and model.

• KSBB Journal
• /
• v.20 no.3
• /
• pp.149-163
• /
• 2005

Recently preparative liquid chromatography (PLC) has been used more frequently to separate drugs and natural substances. This modern separation methodologies require reliable tools that perform on a high level in terms of efficiency and reproducibility. However, large-scale PLC easily tends to reduce the yield and purity of the product. To promote the separation efficiency of PLC, we need to properly understand the controlling effects of the process, which may enable to predict the process and to improve the design and operation of PLC. Progress in computer technology allows the use of sophisticated models, provided their parameters can be measured. Some hardwares as well as softwares for PLC were already commercially available. In this work, the separation characteristic of PLC will be reviewed and compared on both the software and the hardware.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.4
• /
• pp.37-45
• /
• 2010

A system which needs timely accuracy has to design and to verify correctly about execution-time for reliability. Accordingly, it is necessary for timing analysis tools, and much previous research worked. In timing analysis tool, there are two methods. One is a static analysis, and the other is a measurement based analysis. A static analysis is able to spend time less than a measurement based analysis method, but has low reliability of analysis result caused by hard to estimate time of I/O caused by various hardware. A measurement based analysis can be close analysis to real result, but it is hard to adapt to actual application, and spend a lot of time to get result of analysis. As such, this paper present a software monitoring architecture to supply reliability of static analysis process. In a presented architecture, it can select target as needed measurement through static analysis, and reuse result of measurement exist. Therefore, The architecture can reduce overload of time and performance for measurement, and improve the reliability which is the worst problem of static analysis.

• Journal of Korea Society of Industrial Information Systems
• /
• v.8 no.2
• /
• pp.84-91
• /
• 2003

KOMPSAT series use software-controlled unregulated bus system in which the main bus is directly connected to a battery and the duty-ratio for PWM switch is controlled by the on-board satellite software. This paper proposes a new power-stage circuit that can be available for modularization of the power regulator which is used at the software-controlled unregulated bus system satellite. And we analyze the proposed power-stage operation according to its operating modes and verify it by performing software simulation and hardware experiment using prototype. We construct a parallel-module converter which is composed of proposed power-stages and perform experiment to verify modular characteristics of the proposed power-stage. Finally, we verify the usefulness of the proposed power-stage by comparing above results with those of a parallel-module converter made of conventional power-stages.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.6
• /
• pp.1375-1380
• /
• 2014

SaaS at a cloud computing is a framework to provide a software as a service. Depending on the difference of the tenant and the use, if the service provider re-establish a service, they are required resources In terms of costs and managerial. So we propose a technique for analysis of software structure using the process algebra to reuse existing software. A process algebra analyze the structure of the software, express in different languages and verify that it can be reused. CCS in a process algebra is useful to convert the business process or XML, by using this, we structure a process as process view and propose meta storage for comparison and management a structured document.

• Journal of Digital Contents Society
• /
• v.11 no.4
• /
• pp.537-543
• /
• 2010

According to software growth, also software maintenance has been continuously improving. In addition, the existing concept of correct maintenance demands operational management and improvement of service. However, we have various limitation matters to reflect the requirements of service base for maintenance accomplishment. Therefore, we need the study of the service based process for solving such a problem. In this paper, we propose a Service based Software Maintenance Process. Proposed process based on ISO12207 standard for software development and maintenance and compares it with the service based representative standards. In a related works, we study activity of $SM^{MM}$, ITSCMM, ITIL and find out activities to be concerned with and compare it with activity of ISO 12207 and distinguish the maintenance process activity of the service base from maintenance activities. And then, we propose a service management stage. It define four activities and eight artifacts. Finally, we validate the result by comparing the proposed process with a general service operational process.

• Aerospace Engineering and Technology
• /
• v.10 no.2
• /
• pp.105-113
• /
• 2011

During the development of flight software, the processor emulator and satellite simulator are essential tools for software development and verification, which can be substituted for the actual hardware. LEO satellites being developed by KARI recently use the MCM-ERC32SC processor for on-board computer (OBC). For the flight software (FSW) development and testing, the software-based spacecraft simulator was developed using TSIM-ERC32 processor emulator from Aeroflex Gaisler. It is needed to get rid of the constraints and dependencies of TSIM-ERC32 processor emulator and to obtain high performance processor emulator to develop full satellite simulator. This paper presents the development of the ERC32 emulator based on open source dynamic translator, QEMU, as the first step. And it describes the software development and testing/debugging on the developed emulator.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.543-554
• /
• 2004

In Requirements engineering, requirements elicitation and analysis are very important tasks to develop software systems successfully. Even though various methods have been proposed including scenario-based analysis, goal based analysis, and coupling goal with scenario, each method has its own strengths and weaknesses. If you use only one method, it is very difficult to elicit and to analyze system requirements completely. Since these methods don't support a comprehensive elicitation process, this paper proposes an integrated approach. This integrated approach is focused on two viewpoints. One is what factors are comprised and the other is how they are integrated. This paper also shows how the proposed approach can be applied to Meeting Reservation System (MRS) development. An experiment has been conducted using this approach to demonstrate how complete requirements are elicited and analyzed and to show relative time savings during elicitation in comparison to each method.