• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• Journal of Korea Port Economic Association
• /
• v.20 no.2
• /
• pp.217-234
• /
• 2004

Information technology has been transforming the relationship between shippers and carriers, but an unresolved question remains: what is the relative importance to shippers of service versus cost benefits of e-logistics solutions? This research develops and empirically tests a model to determine how Internet-based logistical operations in international shipping impact on the relative importance of cost versus service benefits to shippers. Contrary to expectations, results show that shippers perceived cost benefits from well-designed web sites, undoubtedly a consequence of perceptions that multi-function portals with ease of access contributed to savings in time and money. Another result was the confirmation of the positive effects of cargo tracing and bill of lading issuance on service-related factors. Finally, this study draws attention to the need for improvements in on-line booking capabilities and development of a comprehensive common portal; issues that must be addressed for shipping lines to succeed in an increasingly competitive e-logistics market.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.9A
• /
• pp.2258-2270
• /
• 1998

Recently, the distributed processing environments provide various open multimedia serivces through telecommunication network and have been developing into information networking structure based on object oriented concepts and distributed systems which can apply new services with a few changes the existing networks. This paper proposes the object group model which is the collection of objects and can functionally and efficiently manage the individual object. this paper presents the analysis of the requirement and the function specifications to propose the object group model, and depicts the functional structure in details using its analysis. The goal of this paper is to decrease the complexity of the object's management and to voercome the limitations of among the components of object group for management and service functions based on our proposed the object group model and show interaction procedures to eTD (event tracing diagram)s and finally we design the object group model by TINA-ODL.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.2
• /
• pp.177-185
• /
• 2010

Ray-object intersection is an important element in ray tracing that takes up a substantial amount of computing time. In general, such spatial data structure as kd-tree has been frequently used for static scenes to accelerate the intersection computation. Recently, a few variants of kd-tree traversal have been proposed suitable for the GPU that has a relatively restricted computing architecture compared to the CPU. In this article, we propose yet another two implementation techniques that can improve those previous ones. First, we present a cached stack method that is aimed to reduce the costly global memory access time needed when the stack is allocated to global memory. Secondly, we present a rope-with-short-stack method that eases the substantial memory requirement, often necessary for the previous rope method. In order to show the effectiveness of our techniques, we compare their performances with those of the previous GPU traversal methods. The experimental results will provide prospective GPU ray tracer developers with valuable information, helping them choose a proper kd-tree traversal method.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.531-538
• /
• 2009

Domestic software market is struggling with product's low quality and low return-on-investment. The cause for the problems is due to unclear requirements at the early stage of software project. Studies show that, to lessen the problem, the requirements specification must reflect the right project scope and quantifiable quality goal. To achieve such features, this paper describes a standard guideline for SRS (Software Requirements Specification), which helps in defining the scope of project, measuring and quantifying quality, linking and tracing of requirements, and improving usability. The proposed SRS enables separating the requirements analysis activity from implementation activity and thus can improve subcontract management process in software project.

• Journal of Astronomy and Space Sciences
• /
• v.31 no.3
• /
• pp.265-276
• /
• 2014

The application of software engineering is not common in the development of astronomical observation system. While there were component-wise developments in the past, large-scale comprehensive system developments are more common in these days. In this study, current methodologies of development are reviewed to select a proper one for the development of astronomical observation system and the result of the application is presented. As the subject of this study, a project of operation software development for an astronomical observation system which runs on the ground is selected. And the output management technique based on Component Based Development which is one of the relatively recent methodologies has been applied. Since the nature of the system requires lots of arithmetic algorithms and it has great impact on the overall performance of the entire system, a prototype model is developed to verify major functions and performance. Consequently, it was possible to verify the compliance with the product requirements through the requirement tracing table and also it was possible to keep to the schedule. Besides, it was suggested that a few improvements could be possible based on the experience of the application of conventional output management technique. This study is the first application of the software development methodology in the domestic astronomical observation system area. The process and results of this study would contribute to the investigation for a more appropriate methodology in the area of similar system development.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• Smart Media Journal
• /
• v.4 no.2
• /
• pp.68-76
• /
• 2015

Recently, research on indoor locating techniques using smart device sensors has been conducted actively, Owing to the exponential increase in the use of various smart devices. However, in order to develop indoor location techniques, there are limitations due to the requirement that the tracking system has to function without GPS. In this paper, we propose an accurate indoor locating system that does not require additional infrastructure. The proposed scheme is developed based on the idea that the advantages and disadvantages of "Wi-Fi Fingerprinting" and "Step Detection" techniques are complementary. In the proposed scheme, we track users with "Step Detection," and correct errors with "Wi-Fi Fingerprinting." In this paper, we demonstrate the effectiveness and feasibility of our proposed scheme through experiments.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.30.2-30.2
• /
• 2011

In this report, we present in-orbit radiometric performance prediction for the Amon-Ra (Albedo Monitor and Radiometer) energy channel instrument. The Integrated Ray Tracing (IRT) computational technique uses the ray sets arriving at the Amon-Ra instrument aperture orbiting around the L1 halo orbit. Using this, the variation of flux arriving at the energy channel detector was obtained when the Amon-Ra instrument including the energy channel design observes the Sun and Earth alternately. The flux detectability was verified at the energy channel detector (LME-500-A, InfraTecTM). The detector time response and RMS signal voltage were then derived from the simulated flux variation results. The computation results demonstrate that the designed energy channel optical system satisfies the in-orbit detectability requirement. The technical details of energy channel instrument design, IRT model construction, radiative transfer simulation and output signal computation results are presented together with future development plan.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.30.1-30.1
• /
• 2011

We present construction of 3D Earth optical Model for in-orbit performance prediction of L1 halo orbiting earth remote sensing instrument; the Albedo Monitor and Radiometer (Amon-Ra) using Integrated Ray Tracing (IRT) computational technique. The 3 components are defined in IRT; 1) Sun model, 2) Earth system model (Atmosphere, Land and Ocean), 3)Amon-Ra Instrument model. In this report, constructed sun model has Lambertian scattering hemisphere structure. The atmosphere is composed of 16 distributed structures and each optical model includes scatter model with both reflecting and transmitting direction respond to 5 deg. intervals of azimuth and zenith angles. Land structure model uses coastline and 5 kinds of vegetation distribution data structure, and its non-Lambertian scattering is defined with the semi-empirical "parametric kernel method" used for MODIS (NASA) missions. The ocean model includes sea ice cap with the sea ice area data from NOAA, and sea water optical model which is considering non-Lambertian sun-glint scattering. The IRT computation demonstrate that the designed Amon-Ra optical system satisfies the imaging and radiometric performance requirement. The technical details of the 3D Earth Model, IRT model construction and its computation results are presented together with future-works.