• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1129-1132
• /
• 2000

최근 인터넷 수요의 증가로 통신망에서 음성, 영상 및 데이터(data)를 복합적으로 지원할 수 있는 멀티서비스(multiservice)의 교환 기술이 필수적이다. 또한 망 사업자들이 여러 벤더(vendor)들로부터 최적의 장비를 선택하여 망을 구축할 수 있도록 통신 장비들의 상호 운용성을 지원하는 개방형 구조의 망 및 스위치 시스템(switch system)을 정의하는 작업이 필요하다. 페트리 넷(Petri Nets)은 시스템(system)을 분석하기 위한 도구로서, 시스템은 페트리 넷 이론에 의해 시스템의 수학적 표현인 페트리 넷으로 설계될 수 있다. CPN(Colored Petri Nets)은 페트리넷의 확장형으로서, 토근(token)에 칼라를 부여하여 다양한 특성을 지닌 시스템을 표현하기에 적합하다. Design/CPN은 CPN의 사용을 지원하는 소프트웨어 패키지(software package)이다. 본 논문에서는 개방형 멀티서비스 교환 시스템의 핵심으로 스위치와 제어기(Controller) 사이의 표준 프로토콜인 GSMP(General Switch Management Protocol) 프로토콜을 Design/CPN 으로 변환하고, 이로부터 시험열을 생성한다.

• Journal of Satellite, Information and Communications
• /
• v.1 no.2
• /
• pp.38-44
• /
• 2006

The COMS(Communication, Ocean & Meteorological Satellite) is the geostationary satellite which will be performing three main objectives such as meteorological service, ocean monitoring and Ka-band satellite communications. In order to accomplish these missions, the COMS system needs to implement a specific electrical/mechanical interface functions which are requested by each payload units. This paper describes a on-board interface hardware design for COMS Meteorological Imager(MI). The Meteorological Imager Interface Unit(MI2U) achieves, through MIL-STD-15533 system bus, the interface between the Spacecraft Computer Unit(SCU) and the instrument which is dedicated to MI. MI2U provides a necessary power input to MI from +50V Power Supply Regulator(PSR), and allows adaptation of the specific payload interfaces and protocol to COMS spacecraft.

• Journal of the Society of Disaster Information
• /
• v.10 no.2
• /
• pp.254-262
• /
• 2014

KISStool is developed and established by KIGAM, in order to link and share the earthquake data easily with institutes related, this study includes the development of a KISStool program format and protocol supporting Kit. The Kit has functions such as transforming and sending a seismic data. The functions of the kit are implemented in modules, which are running on the realtime basis. The firmware is embedded into the Kit, which transforms the seismic data into the formats, miniSEED and QSCD20. These data are sent to KISStool program. We have confirmed the results of the data transforming, transmissions and storage functions are conducted normally, the speed of transmission shows same level when comparing with a standard system. We expect that the firmware developed in this study will have high usability not only for linking with KISStool program through being embedded into incompatible digitizers, but also for improving performance of older ones.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.2
• /
• pp.173-178
• /
• 2019

Recently, the types and amount of data generated, collected, and measured in IoT such as smart home, security, and factory are increasing. The technologies for IoT service include sensor devices to measure desired data, embedded software to control the devices such as signal processing, wireless network protocol to transmit and receive the measured data, and big data and AI-based analysis. In this paper, we focused on developing a gateway for interfacing heterogeneous sensor network protocols that are used in various IoT devices and propose a heterogeneous network interface IoT gateway. We utilized a OpenWrt-based wireless routers and used 6LoWAN stack for IP-based communication via BLE and IEEE 802.15.4 adapters. We developed a software to convert Z-Wave and LoRa packets into IP packet using our Python-based middleware. We expect the IoT gateway to be used as an effective device for collecting IoT big data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.451-453
• /
• 2000

메시지 순서도(Message Sequence Chart,MSC)는 ITU-T에서 국제적인 표준으로 제안되어 주로 전기 통신 교환 시스템과 같은 실시간 시스템을 위한 통신 행위에 대한 개괄적인 표현 방법으로서 널리 사용되어지고 있으며 요구 명세, 인터페이스 명세, 시뮬레이션 및 검정을 위해 사용되어지고 있다. MSC의 장점이라면 표현된 시스템의 행위를 직관적으로 이해할 수 있게 해주는 그래픽 표현을 제공하는 것이다. 의미론 입장에서 보면 MSC는 폴세스 대수 ACP의 변형인 PA$\varepsilon$에 의해 의미를 부여받고 있긴 하지만 이해하기가 난해한 것이 사실이다. 본 논문에서는 MSC의 동작적 의미를 분석하며 ACSR로 변환하여 그 의미를 보다 쉽게 파악하는 방법론에 대해 다룬다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.787-789
• /
• 2004

MEGACO(MEdia GAteway COntro) 프로토콜은 VoIP(Voice over IP) 시스템에서 MGC(Media Gateway Controller)와 MG(Media Gateway)간에 통신을 정의하는 표준이다. MEGACO 명세서에는 통신규약에 대한 내용을 ABNF (Argumented BNF)형식으로 제공하고 있으나, 이것을 그대로 사용하여 MEGACO 메시지를 분석하는 파서(Parser)를 개발하기에는 많은 어려움이 있다. 규칙(rule)과 규칙간의 비결정적인 요소와 토큰과 토큰간의 모호성이 많이 존재하기 때문에 적절한 변환을 통하여 파서를 제작하여야 한다. 본 논문에서는 ANTLR 파서 생성기와 MEGACO 명세서에서 제공되는 ABNF문법을 사용하여 MEGACO 파서(Parser)를 개발하였다. ANTLR에서 제공하는 Syntactic predicate와 Semantic Predicate등을 적절하게 사용하여 명세서에 존재하는 여러 가지 형태의 비결정적인 구문과 모호한 토큰들을 제거하였다.

• Journal of Navigation and Port Research
• /
• v.39 no.4
• /
• pp.299-305
• /
• 2015

Modbus is a serial communications protocol, it has since become a practically standard communication protocol, and it is now a commonly available means of connecting industrial electronic devices. Therefore, it can be connected with all devices using Modbus protocol to the measurement and remote control on the ships, buildings, trains, airplanes and etc.. In this paper, we add the Modbus communication protocol to the existing lighting controller sensitivity to enable verification and remote control by external environmental factors, and also introduces a fuzzy inference system was configured by external environmental factors to control LED lighting. External environmental factors of temperature, humidity, illuminance value represented by the LED through a fuzzy control algorithm, the values accepted by the controller through the sensor. Modbus is using the RS485 Serial communication with other devices connected to the temperature, humidity, illumination and LED output status check is possible. In addition, the remote user is changed to enable it is possible to change the RGB values in the desired color change. Produced was confirmed that the LED controller output is based on the temperature, humidity and illumination.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.2
• /
• pp.165-182
• /
• 2001

In this paper, we describe a design and implementation of the Wireless Markup Language(WML) compiler to deploy wireless Internet services effectively. The WML compiler translates textual WML decks into binary ones in order to reduce the traffic on wireless links that have relatively low bandwidth to wireline links and mitigate the processing overhead of WML decks on, wireless terminals that have relatively low processing power to fixed workstations. In addition, it takes over the overhead of eXtensible Markup Language(XML) well-formedness and validation processes. The WML compiler consists of the lexical analyzer and parser modules. The granunar for the WML parser module is LALR(1) context-free grammar that is designed based on XML 1.0 and WML 1.2 DTD(Document Type Definition) with the consideration of the Wireless Application Protocol Binary XML grammar. The grammar description is converted into a C program to parse that grammar by using parser generator. Even though the tags in WML will be extended or WML DTD will be upgraded, this approach has the advantage of flexibility because the program is generated by modifying just the changed parts. We have verified the functionality of the WML compiler by using a WML decompiler in the public domain and by using the Nokia WAP Toolkit as a WAP client. To measurethe compressibility gain of the WML compiler, we have tested a large number of textual WML decks and obtained a maximum 85 %. As the effect of compression is reduced when the portion of general textual strings increases relative to one of the tags and attributes in a WML deck, an extended encoding method might be needed for specific applications such as compiling of the WML decks to which the Hyper Text Markup Language document is translated dynamically.

• Asia-pacific Journal of Multimedia Services Convergent with Art, Humanities, and Sociology
• /
• v.8 no.10
• /
• pp.25-32
• /
• 2018

Recently, the complexity of underground utilities has increased and it has became more difficult to identify and manage information about all underground utilities due to changes such as road extension or building relocation. As a result, number of accidents related to underground utilities caused by excavation works or disasters are in rise, and naturally damages as well are increasing due to the accidents. Therefore, there is a need for a management system capable of easily registering or retrieving information of underground utilities from a remote place. In our previous work, we have developed a utility labelling system based on NFC (Near Field Communication) tag and a utility management system based on IoT (Internet of Things). However, in general, there are diverse communication devices and protocols in IoT environment. Therefore, in this paper, we propose management system and IoT gateway that enables smooth communication even in different types of devices based on the previous our work.