• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.634-648
• /
• 2001

Message Sequence Charts(MSC) has been used to describe the interactions of numerous concurrent tasks in telecommunication software. After the MSC specification is verified in requirement analysis phase, it can be used not only to synthesize state-based design models, but also to generate test sequences. Until now, the verification is accomplished by generating global state transition graph using the location information only. In this paper, we extend the condition statement of MSC to describe the activation condition of scenarios and the change of state variables, and propose an approach to construct global finite state machine (GFSM) using this information. The GFSM only includes feasible states and transitions of the system. We can generate the test sequences using the existing FSM-based test sequence generation technology.

• 한국게임학회지
• /
• v.6 no.1
• /
• pp.55-57
• /
• 2009

멀티미디어 정보 표현에 있어서 서로 다른 미디어간의 동기화를 효과적으로 처리하는 것이 아주 중요하다. 멀티미디어 특성이 적용된 게임 개발에 있어서 각각의 시각 객체들이 시간 경과에 따라 공간 영역에서 동시에 움직여야 하므로 게임에서 필요한 멀티미디어적인 게임 요소들을 게임 운용상에 적절히 배치시키기 위해서는 게임 장면을 통한 시간과 공간 개념의 동기화가 필요하고 게임 객체 자신이 가지고 있는 시공간 특성이 논리적으로 설계되어 게임을 운용시켜야 한다. 따라서 멀티미디어 시스템에서 혼합된 형태의 미디어로 구성된 데이터의 표현을 위해서는 객체가 나타내는 상대적인 위치와 상대적인 시간을 나타내 주는 공간 합성과 시간 합성을 명시할 수 있는 정형화된 표현 연구가 요구된다. 간(刊)기존 연구들은 대부분 시간적 동기화와 공간적 동기화 각각에 대한 표현에 많이 치우쳐 있으므로 시간과 공간이 통합된 미디어들의 동기화 표현에 대한 연구가 필요하다. 시공간이 통합되지 않는 기존의 멀티미디어 표현법을 게임 개발에 적용할 때에는 게임에 사용되는 미디어 객체간의 원활한 동기화 표현이 쉽지 않다. 이러한 문제를 해결하기 위하여 게임 시나리오 스케치에서 나타난 게임 객체들의 시공간 개념이 적절히 표현될 수 있는 정형적 연구가 필요하다. 간(刊)본 논문에서는 시간 개념과 공간 개념이 통합된 형태의 시공간 동기화를 표현하기 위하여 명세 단계에서 멀티미디어 데이터가 시간 및 공간 개념을 적절히 변형하여 표현될 수 있도록 시간 및 공간 동기화가 통합된 새로운 표현법을 제안한다. 이를 위하여 게임 요소들의 시간적, 공간적 동기화를 표현하기 위한 방법을 언명으로 정의하고 시공간 관계성에 대한 확장을 제시한다. 간(刊)본 논문이 제안하는 언명 기반 멀티미디어 객체의 시공간 동기화 모델(an Assertion-based Multimedia objects Spatio-TEmporal Synchronization model : AMSTES)는 시간과 공간 모두에 적용되는 게임 객체들의 시공간 동기화 표현 방법과 이를 이용하여 실제 실행 가능한 코드 생성을 위한 시공간 공식을 제공한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.187-195
• /
• 2000

Embedded software generates its outputs using current states of the system as well as external inputs. When a module in embedded software is tested, we need an automated testing tool, which generates possible sequences to reach the module as well as input data of the module, to reduce the testing time and to improve the quality of software. In this paper, we use decision table to specify the functionality of the module and data-annotated MSC (Message Sequence Charts) to describe scenarios, and implement a tool, which we call MSCTest, to automate the testing process. MSCTest consists of MSC graphic editor, test sequence and data generator, and test driver generator. MSCTest is effectively applied to test EsWin which is a kind of window library used in embedded systems.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.9
• /
• pp.1788-1795
• /
• 2017

In this paper, we proposed a service that provides CPA/TCPA information to ships, without ARPA/ATA devices to support decision making of the navigator for maritime safety based on various services at shore and off-shore. To verify the proposed service, we use SiNAS (scenario-based simulator for NAS) with CPA/TCPA information providing software to evaluate its usability, because executing the test in real ship has many limitations and difficulties. To do this, we specify two simulation scenarios for the required purpose, and we liaise twelve participants with various navigation experience to conduct the simulations. Also, we analyze the results of simulation using mission success or not, the minimum approaching distance with the target ship, the time of a recognition the target ship, the time of a first action for collision avoidance with the target ship, and so on. Then, we evaluate usability of the proposed service based on the three elements which are effectiveness, efficiency and satisfaction.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.732-748
• /
• 2009

The technology of Semantic Web realizes the base technology for context-awareness that creates new services by dynamically and flexibly combining various resources (people, concepts, etc). According to the realization of ubiquitous computing technology, many researchers are currently working for the embodiment of web service. However, most studies of them bring about the only predefined results those are limited to the initial description by service designer. In this paper, we propose a new service supporting model to provide an automatic method for plan related tasks which achieve goal state from initial state. The inputs on an planner are intial and goal descriptions which are mapped to the current situation and to the user request respectively. The idea of the method is to infer context from world model by DL-based ontology reasoning using OWL domain ontology. The context guide services to be loaded into planner. Then, the planner searches and plans at least one service to satisfy the goal state from initial state. This is STRIPS-style backward planner, and combine OWL-S services based on AI planning theory that enabling reduced search scope of huge web-service space. Also, when feasible service do not find using pattern matching, we give user alternative services through DL-based semantic searching. The experimental result demonstrates a new possibility for realizing dynamic service modeler, compared to OWLS-XPlan, which has been known as an effective application for service composition.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.9
• /
• pp.1038-1048
• /
• 2019

Recently, various systems have been developed to support ship navigation safety. In order to verify the usefulness of such a system, it is most ideal to try it on a real vessel, but there are many difficulties. As an alternative, usability verification methods applied with modelling and simulation (M&S) techniques are required such as FMSS, which is closest to reality, is very expansive to construct, and there needs the specialized operator. For this reason, this paper proposes a method to verify the navigation safety support system by modeling and simulation techniques based on the Discrete Event System Specification (DEVS) formalism. As a first step, we designed the navigation simulation architecture based on the SES/MB framework, and details on modelling ship core equipment and navigator agents based on the DEVS. Through this, we are able to implement the navigation simulation system for vessels, and evaluate the effectiveness of navigation safety support elements such as collision avoidance, etc. using developed scenarios.

• Journal of the Korean Geographical Society
• /
• v.44 no.3
• /
• pp.372-394
• /
• 2009

This study investigates the ontology-based public participation GIS(PPGIS). The major reason that ontology-based GIS has attracted attention in semantic communication in recent year is due to the wide availability of geographical variable and the imminent need for turning such recommendation into useful geographical knowledge. Therefore, this study has been focused on designing and implementing the pilot tested system for public participation GIS. The applicability of the pilot tested was validated through a simulation experiment for history tourism in Guri city Gyeongi-do, Focused on the methodology, the life cycle model which involves regional statues and user recognition, can be viewed as an important preprocessing step(specification, conceptualization, formalization, integration and implementation) for recommended geographical knowledge discovery by axiom. Focusing on practicality, ontology in this study would be recommended for geographical knowledge through reasoning. In addition, ontology-based public participation GIS would show integration epistemological and ontological approach, and be utilized as an index which is connected with semantic communication. The results of the pilot system was applied to the study area, which was a part of scenario. The model was carried out using axiom of logical constraint in the meaning of human-activity.

• Journal of IKEEE
• /
• v.19 no.2
• /
• pp.186-192
• /
• 2015

This paper proposes an automatic generation technology of test case based on API in source code for software's quality improvement. The proposed technology is comprised of four processes which are analyzing source code by using the Doxygen open source tool, defining API specification by using analyzed results, creating test design, generating a test case by adapting Pairwise test technology. Analyzing source code by using the Doxygen open source tool is the phase in which API information in source code such as the API name, input parameter and return parameter are extracted. Defined API specification by using analyzed results is the phase where API informations, which is needed to generate test case, are defined as a form of database by SQLite database on the basis of extracted API information. Creating test design is the phase in which the scenario is designed in order to be composed as database by defining threshold of input and return parameters and setting limitations based on the defined API. Generating a test case by adapting Pairwise test technique is the phase where real test cases are created and changed into database by adapting Pairwise technique on the base of test design information. To evaluate the efficiency of proposed technology, the research was conducted by begin compared to specification based test case creation. The result shows wider test coverage which means the more cases were created in the similar duration of time. The reduction of manpower and time for developing products is expected by changing the process of quality improving in software developing from man-powered handwork system into automatic test case generation based on API of source code.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.4B
• /
• pp.184-191
• /
• 2008

NanoQplus, which is an embedded operating system for wireless sensor networks (WSNs) and developed by Electronics and Telecommunications Research Institute (ETRI), provides programmer-friendly preemptive multi-threading programming technique, but it has poor network protocol stack, as compared to TinyOS, one of the famous operating systems for WSNs. In this paper, we apply dynamic MANET on-demand routing (DYMO) protocol, which is being standardized in Internet Engineering Task Force (IETF), to NanoQplus. Since DYMO has been proposed for mobile ad-hoc networks (MANETs) and MANETs have less resource restrictions than WSNs, the basic DYMO protocol cannot be applied to WSNs without modifications. Moreover, coherence with MAC protocol should be considered in order to eliminate redundant data between MAC and network layers. Thus, we propose a modified version of the basic DYMO protocol for NanoQplus. The experimental results from a real sensor network test-bed show that the DYMO implementation using NanoQplus works efficiently in WSNs.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.70-81
• /
• 2009

Ontology is an explicit specification of concepts and relationships between concepts in an interest domain. As considered as one of typical knowledge representation methods, ontology is applied to various studies such as information extraction, information integration, information sharing, or knowledge management. In IT based industries, ontology is applied to research on information integration and sharing in order to enhance interoperability between enterprises. In supply chains or logistics, several enterprises participate as business partners to plan movements of goods, and control goods and logistics flows. A number of researches on information integration and sharing for the effective and efficient management of logistics or supply chains have been addressed. In this paper, we address an ontology as a knowledge-base for semantic-based integration of logistics information distributed in the logistics flow. Especially, we focus on developing an ontology that enables to represent and translate semantic meaning of EPC data in the EPC Network applied logistics. We present a scenario for tracing products in logistics in order to show the value of our ontology.