Volume 4, Number 2, June 2003


   

Title:

Retransmission Tree Configuration with Backup Links for Reliable Multicast Protocols

   

Author & Affiliation:

Fumiaki Sato, Satoshi Morita
Shizuoka University
   

Abstract:

Some reliable multicast protocols are based on the retransmission tree that is used for the packet retransmission through the tree. In the dynamic network, such as the mobile environment, the retransmission tree should be configured dynamically. The tree should be compact so that the efficient retransmission is achieved, and the link of the tree should be balanced so that the retransmission load is balanced. In this paper, we propose a simple configuration algorithm of the retransmission tree in the dynamic environment. In the algorithm, the joining node to the retransmission tree must connect to the point of the tree based on the tree size from the point, degree of the point and distance from the joining node. Simulation results show that our algorithm can configure the balanced and compact tree. The reliability of the algorithm is improved by the additional backup links.
   

Title:

The Design and Implementation of an ADL Model Checker
   

Author & Affiliation:

Dong-ik Shin, Sung-hwan Roh, and Taewoong Jeon, Seung-yun Lee
Korea University, Electronics & Telecommunications Research Institute

   

Abstract:

Though a number of architecture description languages (ADLs) have been introduced to help developers specify the architecture of a software system explicitly and precisely, they have rarely been adopted in developing commercial component software systems in the industries. One major reason for this is that current ADLs are aimed at the description of the conceptual and logical architectures of software. Current ADLs do not fully support mapping or translating to the integration architecture composed of concrete components which conform to a standard component model such as EJB (Enterprise JavaBeans) and COM (Common Object Model).
To address this problem, we designed and implemented a C2 style-based ADL that can be used in describing the integration architecture of EJB component systems. This paper describes the ADL we designed and the implementation of an ADL model checker that automates syntax-, topology-, and type-checking of an architecture model written in the ADL. The ADL and its model checker was successfully used as part of a CBD toolset that supports the automated assembling of EJB components based on the architecture model described in the ADL.
   

Title:

Design Scheme of The Multi-Sharing Mobile Remote Monitoring System

 

 

Author & Affiliation:

Yoshitoshi Murata, Katsuhisa Sugiura, Susumu Ishihara, Fumiaki Sato, Tadanori Mizuno
NTT DoCoMo Tokai, inc, Shizuoka University

   

Abstract:

A remote monitoring of various device distributed over wide area is strongly demanded to cut down their maintenance cost. With the introduction of wireless packet systems, the mobile remote monitoring system has started to propagate, because of a less limit to establish remote monitoring devices and its characteristic of always connectivity.  Many small to medium sized corporations have been hesitating, although they understand this necessity, because of high investment costs involved in the maintenance of monitoring systems. One solution to this problem is the ASP (Application Service Provider). 
We developed the multi-sharing mobile remote monitoring system MMRM.  This paper will present the requirements and a design scheme to implement MMRM.  The system structure and the function block diagram of the practical system in which Toshiba Machine’s TC-mini is used as a data logger will be introduced.  In addition, system characteristics such as the delay period from trouble detection to sending alarm message will also be described.
   
Title: Study on Package Software Test Process and Evaluation Module
Author & Affiliation: Hae-Sool Yang, Ha-Yong Lee, Suk-Hyung Hwang
Hoseo University,Korea, Hoseo University,Korea, SunMoon University,Korea
   
Abstract:

Package software should have the feature that purchasers can discriminate a product suitable for them among a number of software, which belong to the similar kind of product. Purchasers' ability to choose a package software depends on that they can judge whether a package software has the relevant standard conforming through objective quality test process and method or not. For building this system, there are the standards that can be applicable to package software, such as <ISO/IEC 14598-4 : Quality Evaluation Process for Dev-eloper> and <ISO/IEC 12119 : Information Technology - software package - Quality Requirements & Test.

This study built the System that purchasers can effectively select a package software suitable for their needs, building Quality Test Process for package software and developing Test Metric and application method

   
Title:

GAMMA-LOMAX Software Reliability Growth Model for Multiple Errors Debugging

Author & Affiliation: Hye-Jung Jung, Won-Tae Jung, Hae-Sool Yang
PyongTaek University, KyungMoon College, Hoseo University
   
Abstract: Reliability represents a user-oriented view of software quality. Initial approaches to measuring software quality were based on attempting to count the faults and defects found in a program. Reliability is a much richer measure. Software reliability model has been studied by many authors who have introduced various software reliability models for single error debugging at each testing stage. In this paper, we study possibility that multiple errors occur in each testing stage. Also, we consider software reliability growth modeling for the multiple errors debugging at each testing stage. And we proposed parameter estimation of software reliability model for multiple errors debugging.

We study that parameter estimation of software reliability model for Maximum Likelihood Estimation Method, Bayesian Estimation Method

   
Title: Design and Implementation of Supplementary Block based Video Coder for Error Resilient Transmission over the Internet
Author & Affiliation: Joo-Kyong Lee, Tae-Uk Choi, Ki-Dong Chung
Pusan National University
   
Abstract: Compressed video packets can be lost during transmission over the Internet, which degrades not only the quality of the corresponding frame but also the subsequent frames. In this paper, we propose and implement a video coder called Supplementary Block based Video Coder or SBVC to protect a video sequence from the propagation of transmission errors. In the SBVC, the encoder, for a macroblock in a frame, selects the two best matching blocks out of the preceding K frames. The best matching block is exploited for the motion compensation of the current macroblock and the second best matching block is a substitution for the former for the preparation for its corruption during transmission. The decoder recovers the current macroblock using the second best matching block in the event of corruption of the best matching block. This scheme has the advantages of reducing both the frequency and the impact of error propagation in comparison with the H.263 standard coder. We implemented the proposed coder by modifying the H.263 standard source code, and we evaluated the performance through simulations. The results show that the proposed scheme is more efficient than the H.263 standard coder for both little and heavy motion video sequences.
   
Title: Retrieving Scene Change Points using Sum of Square Difference
Author & Affiliation: Hong-sang Yoon , Chang-ryul Jung , Moon-jai Jeong , Jin-gwang Koh
Gwangju University, Korea, Sunchon National University, Korea, Gwangju University, Korea, Sunchon National University, Korea
   
Abstract:

When retrieving voluminous capacity of video image data, it is necessary to user to grabbing the whole situation in a lump, and it is also important to provide synopsized frame lists of video image data for indexing and replaying at the exact point where the user want to retrieve. In this paper, we suggest an effective method, the Sum of Square Difference, for detecting scene change of video image data which is a fundamental element of video image indexing. By conversing video image as stillness image from extracting pixel values, we provide a way to seize entire structure of video image and the point of scene changes. As a conclusion, we analyze and prove that this method has better performance compared with the others.