• 한국콘텐츠학회논문지
• /
• 제11권12호
• /
• pp.71-77
• /
• 2011

CEP(Complex Event Processing)는 대규모 정보시스템에서 발생하는 복잡한 이벤트 패턴을 발견하는 기법이다. 게임 사용자가 게임 서버에 접속하여 게임을 수행하는 과정에서 발생하는 이벤트들을 관찰하면서 규칙에 위배되는 행위를 검출하기 위하여 CEP 기법을 사용하는 방법이 제안된 바 있다. 본 연구는 실제 게임서버 DB를 이용하여 선행 연구를 통해 제안된 모니터링 방법에 적용하여 보았다. 이를 통해 CEP 기반의 온라인서비스 감시가 대규모 사용자들이 이용하는 온라인 게임의 부정한 사용자들을 찾아내고 감시하는 것에 효과적임을 관찰하였다.

• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• Journal of Information Processing Systems
• /
• 제15권3호
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.137-147
• /
• 2013

RFID(Radio Frequency Identification)와 WSN(Wireless Sensor Network)은 기술적 유사성과 상호 영향에도 불구하고 별개의 연구로 인식되었으며 RFID와 WSN의 기술적인 융합에 대한 연구는 미비한 수준이다. 이러한 문제점을 인식한 EPCglobal에서는 국제 표준인 EPCglobal Network를 기반으로 RFID와 WSN 기술을 효율적으로 통합/연동할 수 있는 EPC(Electronic Produce Code) 센서 네트워크를 제안하였다. 제안된 EPC 센서 네트워크는 미들웨어에서 복합 이벤트 처리(Complex Event Processing) 기법을 이용하여 RFID와 WSN을 통해 발생되는 데이터를 단일 환경에서 통합하고, 발생된 이벤트를 EPC global Network를 기반으로 연동하는 기술이다. 하지만 이러한 EPC 센서 네트워크는 미들웨어에서 복합 이벤트를 검출하기 위해 복합 이벤트를 구성하는 모든 기본 이벤트가 발생하지 못하는 경우에도 계속적인 검사를 수행하기 때문에 연산 비용이 증가되는 문제점이 있다. 이러한 EPC 센서 네트워크의 문제점들을 해결하기 위하여 본 논문에서는 미들웨어에서 복합 이벤트의 최소 조건을 정의하고 조건을 만족하는 경우에만 복합 이벤트를 검출하는 알고리즘을 제안하였다. 복합 이벤트의 최소 조건을 검사하기 위하여 인덱스 기반의 질의 색인을 사용하여 복합 이벤트를 추출한다. 제안하는 인덱스 기반의 복합 이벤트 검출 알고리즘은 기존의 검출 알고리즘과 NS2 시뮬레이션을 이용하여 성능 평가를 수행하여 복합 이벤트를 검출하는 시간에서는 기존 알고리즘과 비교하여 평균 6.8msec 적게 나타났으며, 검출에 필요한 연산수는 기존 알고리즘과 비교하여 평균 226개로 적은 연산 수를 나타내었다. 결과적으로 기존 알고리즘에 비해 복합 이벤트 검출을 위해 제안하는 알고리즘이 우수한 성능을 나타내었다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.266-269
• /
• 2008

Urban is more intelligent continuously with the help of the convergence with IT technology. And it requires an integrated control system, which can manage urban facilities or monitor large-scale events based on GIS data, to provide its citizen with various ubiquitous services such as u-Health, u-Traffic, context-awareness etc. In order to realize the intelligent city geo-sensors that have the functionalities of generic sensing as well as location awareness will be established everywhere in the near future. Our system we presented have a rule engine to handle a atomic event as well as complex events that contain control flow or branch among them. And it can allow for visualization and monitoring the results through KML (Keyhole Mark-up Language) in the Google Maps. This paper describes au-GIS event processing system that can deal effectively with u-GIS events coming from various geo-sensor data in ubiquitous computing environments.

• 한국산학기술학회논문지
• /
• 제11권6호
• /
• pp.2256-2262
• /
• 2010

비즈니스 프로세스의 자동화된 처리와 이에 대한 모니터링 요구는 기업마다 특화된 형태를 지니는 것이 일반적이다. 비즈니스 프로세스는 일반적인 데이터베이스 트랜잭션과는 달리 수행에 장시간이 소요되며, 비즈니스 상황에 따라 매우 복잡한 처리 로직을 가진다. 이러한 처리 로직들은 사업 정책이나 환경이 변함에 따라 자주 변경되기 때문에 기업은 특정 비즈니스 프로세스의 모니터링 과정에서 해당 프로세스 인스턴스의 전체적 의미를 종합적으로 파악하고자 한다. 본 연구에서는 비즈니스 프로세스의 종합적인 모니터링을 위해 GMA(Grid Monitoring Architecture)를 사용하였다. GMA는 이종 시스템 환경 하에서 모니터링 정보를 효과적으로 관리하고 감독하기 위하여 제시된 확장성이 높은 아키텍처이다. 다양한 처리 로직을 지원할 수 있도록 GMA 모델에 복합 이벤트의 처리 기능을 부가함으로써, 비즈니스 프로세스에 대한 자동화된 실행과 상위수준의 모니터링이 가능한 시스템을 구축할 수 있었다.

• Geomechanics and Engineering
• /
• 제38권5호
• /
• pp.467-476
• /
• 2024

This study investigates Tunnel Boring Machine (TBM) performance prediction by employing discrete event simulation technique, which is a potential remedy highlighting its stochastic adaptability to the complex nature of TBM tunnelling activities. The new discrete event simulation model using AnyLogic software was developed and validated by comparing its results with actual performance data for Daegok-Sosa railway project that Earth Pressure Balance (EPB) TBM machine was used in Korea. The results showed the successful implementation of predicting TBM performance. However, it necessitates high-quality database establishment including geological formations, machine specifications, and operation settings. Additionally, this paper introduces a novel methodology for daily performance updates during construction, using automated data processing techniques. This approach enables daily updates and predictions for the ongoing projects, offering valuable insights for construction management. Overall, this study underlines the potential of discrete event simulation in predicting TBM performance, its applicability to other tunneling projects, and the importance of continual database expansion for future model enhancements.

• 한국멀티미디어학회논문지
• /
• 제20권8호
• /
• pp.1379-1386
• /
• 2017

As the Internet of Things evolves, various IoT services are provided. IFTTT is an abbreviation for If This Then That and refers to a service that links different web-based services. This paper proposes a system that generates and manages rules that combine the possibility of IFTTT service and the real-time event processing according to the concept of IoT service. Conventional database-based data processing methods are burdened to process a lot of data of IoT devices coming in real-time. The IoT device's data can be classified into formal data such as the amount of power, temperature value and position information, and informal data such as video or image data. Thus, this system classifies the data stream of IoT devices coming in real-time using the CEP engine Esper into a file signature table, classifies the formal/informal data, and shows the condition of the device data defined by the user and the service to be provided by applying the service.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2018년도 춘계학술발표대회
• /
• pp.222-223
• /
• 2018

본 논문에서는 인간과 사물, 서비스 세 가지 분산된 환경 요소에 대해 인간의 명시적 개입 없이 상호 협력적으로 정보 센싱, 네트워킹, 정보 처리 등 지능적인 기능을 제공하는 표준 IoT 플랫폼 기반에 대량의 이벤트에 대한 융합분석이 가능한 CEP(Complex Event Processing) 및 시나리오 기반 자동화된 절차에 따라 대응이 가능한 워크플로우 기술을 적용하여 중요시설감지, 국경감시, 해안감시, 도시안전 분야 등 다양한 분야에 활용이 가능한 지능형 시큐리티 플랫폼을 제안하고자 한다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1464-1480
• /
• 1997

분산 시스템은 높은 성능, 결함 허용성, 정보와 자원의 공유 등을 이룰 수 있는 환경을 제공한다. 그러나 분산 시스템 내에서 발생하는 사건과 상태들을 적절히 관리하지 못하면 이러한 장점의 혜택을 받을 수 없게 된다. 이러한 사건과 상태들은 성능 저하, 동작 오류, 수상한 행위 등의 징후가 될 수 있으므로 자세히 분석되어야 한다. 사건/상태를 적절히 관리하려면 이들을 명세하고 효율적으로 탐지할 수 있어야 한다. 본 논문에서는 사건/상태의 중앙 집중 탐지 알고리즘에 대해 설명한다. 다음 계층적 구조를 갖는 분산 시스템에서 이 탐지 알고리즘을 분산화 하는 방안에 대해 설명한다. 분산 알고리즘은 사건/상태 탐지 임무를 부임무들로 분해하는 과정과 부임무들을 적절한 노드들에 할당하는 과정으로 구성된다. 또 이 분산 탐지 알고리즘이 결함 허용성을 갖도록 하는 방안에 대해서도 설명한다.