• Journal of the Korea Society of Computer and Information
• /
• v.16 no.12
• /
• pp.1-10
• /
• 2011

As requirements of embedded system get complicated, the tool for analyzing the reliability of embedded software is being needed. A probabilistic modeling is used as the way of analyzing the reliability of a software and to apply it to embedded software controlling multiple devices. So, it is necessary to specialize that to embedded software. Also, existing reliability analyzers should measure the transition probability of each condition in different ways and doesn't consider reusing the model once used. In this paper, we suggest a reliability analyzer for embedded software using embedded software Markov chin model and a unit testing tool. Embedded software Markov chain model is model specializing Markov chain model which is used for analyzing reliability to an embedded software. And a unit testing tool has host-target structure which is appropriate to development environment of embedded software. This tool can analyze the reliability more easily than existing tool by automatically measuring the transition probability between units for analyzing reliability from the result of unit testing. It can also directly apply the test result updated by unit testing tool by representing software model as a XML oriented document and has the advantage that many developers can access easily using the web oriented interface and SVN store. In this paper, we show reliability analyzing of a example by so doing show usefulness of reliability analyzer.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.7
• /
• pp.33-43
• /
• 2012

In With increase of a demand on the spatial data, the need of spatial data model which can effectively store and manege spatial objects becomes more important in many GIS applications. There are many researches on the spatial data model. Several data models were proposed for some special functions, however, there are still many problems in the management and applications. Digital Map is one of spatial data model which is being used in Korea. The existing Digital Map is based on the Tiles. This approach needs more cost in its construction and management. Therefore, in this paper, we propose a feature-based seamless data model with Digital map 2.0 which is based on Tiles. This model can be easily constructed and managed in the large databases so that it is able to apply to any systems. The proposed model uses the relationships between features to correct updated data and the Unique Feature IDentifier(UFID) also makes system to search and manage the feature data more easily and efficiently.

• Journal of Science and Technology Studies
• /
• v.18 no.1
• /
• pp.177-217
• /
• 2018

This study examines the case of living lab applied in the R&D initiatives for solving societal problems and challenges. It discusses how to use the living lab in national R&D projects. The analyzed cases are 'Develop portable fundus camera for eye disease screening test to resolve health inequalities' and 'Auto-sensing integrated system development in rural pedestrian crosswalk'. As a result of the analysis, both cases were designed as a user participatory R&D structure by utilizing living lab. In other words, living lab has operated as a system that evolves technology-products-services into an infrastructure. It can realize final demand specification, product, service improvement and demonstration through continuous interaction of end users. As a result of the case analysis, the following policy tasks can be derived. First, living lab is a new concept and it is in the early stage of implementation in Korea. Therefore, it is necessary to monitor and evaluate living lab experiments and build suitable models for Korean society by sharing cases and achievements. Second, the strategic niche management are necessary for the introduction of living lab. Third, living lab can be used as a tool to transform the existing technology acquisition centered innovation policy to the policy for customer needs and problem solving. Fourth, there is a need for flexibility and adaptability in strategy and system to correct errors that appear in the living lab processes.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.1 s.343
• /
• pp.57-70
• /
• 2006

This paper descWireless Sensor Network consisting of a number of small sensors with transceiver and data processor is an effective means for gathering data in a variety of environments. The data collected by each sensor is transmitted to a processing center that use all reported data to estimate characteristics of the environment or detect an event. This process must be designed to conserve the limited energy resources of the sensor since neighboring sensors generally have the data of similar information. Therefore, clustering scheme which sends aggregated information to the processing center may save energy. Existing multi-hop cluster energy consumption modeling scheme can not estimate exact energy consumption of an individual sensor. In this paper, we propose a new cluster energy consumption model which modified existing problem. We can estimate more accurate total energy consumption according to the number of clusterheads by using Voronoi tessellation. Thus, we can realize an energy efficient cluster formation. Our modeling has an accuracy over $90\%$ when compared with simulation and has considerably superior than existing modeling scheme about $60\%.$ We also confirmed that energy consumption of the proposed modeling scheme is more accurate when the sensor density is increased.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.44 no.4
• /
• pp.55-62
• /
• 2007

This paper proposes a defective pixel detection algorithm and its hardware structure for CCD/CMOS image sensor. In previous algorithms, the characteristics of image have not been considered. Also, some algorithms need quite a time to detect defective pixels. In order to make up for those disadvantages, the proposed defective pixel detection method detects defective pixels efficiently by considering the edges in the image and verifies them using several frames while checking scene-changes. Whenever scene-change is occurred, potentially defective pixels are checked and confirmed whether it is defective or not. Test results showed that the correct detection rate in a frame was increased 6% and the defective pixel verification time was decreased 60%. The proposed algorithm was implemented with verilog HDL. The edge indicator in color interpolation block was reused. Total logic gate count was 5.4k using 0.25um CMOS standard cell library.

• Journal of Advanced Marine Engineering and Technology
• /
• v.38 no.3
• /
• pp.342-348
• /
• 2014

Onshore great fires can normally be extinguished by firefighters using special firefighting equipment and its suitable method. However, offshore fires on the ships are to be extinguished by the crew without any supports from the onshore. Also, crews working on board are exposed to high risk of emergency evacuation due to the complicated structure arrangement of the ships and different accident types such as fire and ship collisions. As most of damage and loss of life in fire are associated with suffocation, shortening of evacuation time is an important factor to improve a survival rate. In this study, visibility in the accommodation area is analyzed by using the temperature and smoke flow which are obtained by the Fire Dynamic Simulator(FDS) as a Three-Dimensional Fire Analysis program to understand the survival rate of the crew upon the fire. The fire doors for most of ships are designed to close automatically when the fire alarm is activated. These automatic closing of the fire doors is a very effective system to delay the spread of flame and smoke flow for the unmanned spaces of the fire protected area. However, if the crew cannot escape within the estimated time, the crew inside the fire protected area will be damaged a lot. In this paper, the comparative analysis between the evacuations by using the fire door from the fire protected area and the suggested fire shielding structure in this study is carried out by the smoke flow rate and the temperature rise rate.

• Journal of Korea Multimedia Society
• /
• v.11 no.8
• /
• pp.1059-1071
• /
• 2008

Users in ubiquitous computing environment can easily access and use a multitude of devices and services anywhere and anytime. The key technology to realize this scenario is the method to intuitively provide proper user interfaces for each device and service. Previous attempts simply provided a designated user interface for each device and service or provided an abstract user interface to control common functions of different services. To select a target appliance, either user directly specified the target device or depended on sensors such as RFID tags and readers limiting the applicable scenarios. In this paper, we present UbiController which uniquely uses camera on the mobile device to recognize markers of appliances to acquire user interface for controlling task. UbiController aims to provide automatic discovery of multiple services in the smart home environment, support traditional GUI and novel camera-based recognition method as well as intuitive interaction methods for users. In this paper, we show experiments on the performance of UbiController's discovery and recognition methods and user feedback on interaction methods from a user study.

• Journal of Korea Multimedia Society
• /
• v.7 no.1
• /
• pp.132-144
• /
• 2004

With the rapid development of internet technology, the number of internet users and the amount of multimedia information on the internet is ever increasing. Recently, the web sites, such as e-business sites and shopping mall sites, deal with lots of image information. As a result, it is required to support content- based image retrieval efficiently on such image data. This paper proposes an intelligent image retrieval system, which adopts XML, technology. To support object-based col)tent retrieval on product catalog images containing multiple objects, we describe a multi -level metadata structure which represents the local features, global features, and semantics of image data. To enable semantic-based and content-based retrieval on such image data, we design a XML-Schema for the proposed metadata and show how to represent such metadata using XML- documents. We also describe how to automatically transform the retrieval results into the forms suitable for the various user environments, such as web browser or mobile browser, using XSLT The proposed scheme can be easily implemented on any commercial platforms supporting XML technology. It can be utilized to enable efficient image metadata sharing between systems, and it will contribute in improving the retrieval correctness and the user's satisfaction on content-based e-catalog image retrieval.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.11C
• /
• pp.1064-1073
• /
• 2002

In this paper, we design and implement the Wireless Transaction Protocol (WTP) proposed by the Wireless Application Protocol (WAP) forum using a protocol development tool, SDL Development Tool (SDT). And we conduct a comparative performance evaluation of the WTP implementation with other three implementations that are based on different implementation models respectively: the server model, the coroutine model, and the activity-thread model. To implement WTP, we first use Unified Modeling Language (UML) for analyzing the protocol requirement and defining the protocol engine architecture. Next, we use Software Development Language (SDL) to design the protocol engine in details and then generate the WTP implementation automatically with the aid of SDT The code size of the WTP implementation generated by SDT is 62% larger than the other three implementations. However, its throughput and system response time for transaction processing is almost equal to the other three implementations when the number of concurrent clients is less than 3,000. If more than 5,000 concurrent clients tries, the transaction success rate abruptly decreases to 10% and system response time increases to 1,500㎳, due to the increased protocol processing time. But, it comes from the fact that the load overwhelms the capacity of the PC resource used in this experimentation.

• Journal of KIISE:Software and Applications
• /
• v.33 no.9
• /
• pp.787-801
• /
• 2006

Ontology merging describes the process of integrating two ontologies into a new ontology. How this is done best is a subject of ongoing research in the Semantic Web, Data Integration, Knowledge Management System, and other ontology-related application systems. Earlier research on ontology merging, however, has studied for developing effective ontology matching approaches but missed analyzing and solving methods of problems of merging two ontologies given correspondences between them. In this paper, we propose a specific ontology merging process and a generic operator, T-MERGE, for integrating two source ontologies into a new ontology. Also, we define a taxonomy of merging conflicts which is derived from differing representations between input ontologies and a method for detecting and resolving them. Our T-MERGE operator encapsulates the process of detection and resolution of conflicts and merging two entities based on given correspondences between them. We define a data structure, MergeLog, for logging the execution of T-MERGE operator. MergeLog is used to inform detailed results of execution of merging to users or recover errors. For our experiments, we used oriental philosophy ontologies, western philosophy ontologies, Yahoo western philosophy dictionary, and Naver philosophy dictionary as input ontologies. Our experiments show that the automatic merging module compared with manual merging by a expert has advantages in terms of time and effort.