• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.274-276
• /
• 2004

싱크의 이동성은 대규모 센서 네트워킹에 새로운 도전을 야기한다. 이동 싱크의 위치는 센서필드 전역에 걸쳐 전달되어야 하며, 이를 위해 각 센서노드는 새로운 정보를 갱신해야 한다. 그러나 빈번한 위치 갱신은 파워의 제약을 가진 센서에는 초과 에너지 낭비를 일으키고, 무선 통신의 충돌도 증가시킬 것이다. 이에 따라 본 논문은 다중 이동 싱크와 소스가 확장가능하면서 효율적으로 데이터를 전달하는 방법을 제안한다. 각 데이터 소스와 모바일 싱크가 적극적으로 싱크가 이벤트 정보를 획득 가능하도록 그리드 구조를 형성하고, 질의를 보내려는 하는 싱크도 로컬로 질의를 전송함으로써 그리드 형성에 적극 참여하였다. 본 제안 방법은 소스와 싱크가 중간 경유 노드에서 위치 정보를 교환함으로써 낮은 오버헤드로 경로 설정이 가능하게 하였다.

• Information and Communications Magazine
• /
• v.25 no.10
• /
• pp.42-49
• /
• 2008

본고에서는 센서네트워크 기술의 역사와 배경 그리고 국방분야에 적용 가능한 센서네트워크 시스템에 대해서 기술한다. 국방 센서네트워크 시스템은 다른 센서네트워크 응용분야에 비해 유선 망 및 이동통신망 시스템에서 요구하는 신뢰성 있는 정보전달, 실시간 지원 등을 요구하고 있으며 또한 다중센서를 복합적으로 이용하여 적의 침입 또는 이벤트 발생을 100% 탐지하고 오보율 낮출 수 있는 기능을 요구한다. 본고에서는 이러한 국방 센서네트워크 시스템에서 요구하는 사항들을 만족시키기 위해 시스템의 주요 구성 요소들에서 수행해야 할 기술들, 센서 신호처리 및 식별 기술, 신뢰성 있는 패킷 전달을 위한 섹터안테나 및 섹터안테나 기반의 MAC 기술 그리고 실시간과 신뢰성 보장을 위한 라우팅 기술에 대해 논의한다.

• Journal of Intelligence and Information Systems
• /
• v.16 no.1
• /
• pp.45-56
• /
• 2010

Sensor Networks are composed of many sensor nodes, which are capable of sensing, computing, and communicating with each other, and one or more sink node(s). Sensor networks collect information of various objects' identification and surrounding environment. Due to the limited resources of sensor nodes, use of wireless channel, and the lack of infrastructure, sensor networks are vulnerable to security threats. Most research of sensor networks have focused on how to detect and counter one type of attack. However, in real sensor networks, it is impractical to predict the attack to occur. Additionally, it is possible for multiple attacks to occur in sensor networks. In this paper, we propose the Secure Routing Mechanism to Defend Multiple Attacks in Sensor Networks. The proposed mechanism improves and combines existing security mechanisms, and achieves higher detection rates for single and multiple attacks.

• The KIPS Transactions:PartD
• /
• v.11D no.7 s.96
• /
• pp.1375-1384
• /
• 2004

Streaming data processing is an area of interest with much research under way. There has been increasing attention on the demands for efficient processing of streaming data produced in the application areas such as monitoring and sensor network. We have developed a continuous query processing system for streaming data and evaluated its performance in this paper. XML, the standard for data exchange on the web, is used as the model for the streaming data and the XQuery appended with a time interval is adopted as the query language for expressing con-tinuous queries. In the proposed system, the result is produced through background processing and materialized for reute in subsequent query processing. Through a detailed set of performance experiments, we shoed the effectiveness of the proposed system.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.12C
• /
• pp.167-173
• /
• 2001

Colored thread algorithm suggested by Ohba is understood to be effective to prevent from establishing path in loop. 3 kinds of thread state, such as null, colored, transparent, defined in colored thread algorithm which makes difficult and complex to design actions of the thread events, is reconfigured and improved to a 4 states to make the finite state machines simple. The original colored thread algorithm fonds loops by receiving thread of a same color that was generated by the initiator itself and confirms the loops by hop count of unknown thread traversed again along the looped path. This method is modified as to use the same color instead of generating new colored thread for the looped path, leading to save the traversing time. And also redefined the events to make easy coupling with existing protocols.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.196-198
• /
• 2014

Wireless Sensor Networks(WSN) 기반의 Border Surveillance Networks(BSN)는 다양한 제한조건을 동반하며 침입 혹은 환경 등을 감시함을 목적으로 하고 있기 때문에 이벤트 발생시 신뢰적인 데이터 전송은 매우 중요한 부분을 차치하게 된다. 본 논문에서 적용한 대표적인 요구기반 라우팅 방법인 Ad hoc On-demand Distance Vector Routing(AODV)는 BSN 에 적용하였을 경우 홉 수(Hop Count)를 메트릭으로 최적의 경로를 계산하고 선택하여 Uni-Path 로 데이터를 전송하게 된다. 이때 AODV 는 Uni-path 로 데이터 전송을 진행하게 되며 링크의 단절이 빈번히 발생하는 BSN 의 환경적 요인으로 데이터 전송의 신뢰성이 감소하게 될 것이며 이는 비효과적인 데이터 전송을 야기하게 된다. 따라서 본 논문에서는 Multi-path 개념을 도입하여 데이터 전송 시 링크단절에 의해 발생하는 시간의 지연을 줄이고 더욱 신뢰성 있게 데이터를 전송할 수 있는 방법을 제안한다. 제안하는 방법은 송, 수신하는 두 노드의 전송범위에 공통으로 속한 노드들이 전송되는 데이터를 중복 전송하게 된다. 그리하여 링크의 단절이 일어날 경우 발생하는 경로 재 탐색 및 경로복구의 발생 빈도를 줄이고 동시에 데이터 전송률을 증가시켜 신뢰적인 데이터 전송을 하게 된다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.1018-1021
• /
• 2009

Wireless Sensor Network collects a data from the specific area and the control is composed of small sensor nodes. Like this sensors to after that is established at the beginning are operated with the battery, the operational duration until several years must be continued from several months and will be able to apply the resources which is restricted in efficiently there must be. In this paper RHC (rounting history cache) applies in Directed Diffusion which apply a data central concept a reliability and an efficiency in data transfer course set. RHC algorithms which proposes each sensor node updated RHC of oneself with periodic and because storing the optimization course the course and, every event occurrence hour they reset the energy is wasted the fact that a reliability with minimization of duplication message improved.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.710-713
• /
• 2008

센서 네트워크는 습도, 온도, 조도 등의 다양한 정보를 수집할 수 있는 센서들을 특정한 지역이나 광범위한 지역에 분포하여 특정 이벤트를 탐지하거나 계속적으로 환경을 관찰하여 수집된 정보를 효율적으로 Base Station으로 전송하는 일종의 애드 혹 네트워크이다. 본 논문은 센서 네트워크의 라우팅 프로토콜 중 PEGASIS와 동심원 형태의 클러스터링 방법에 대해 취약점을 알아보고, 이를 해결하기 위한 방법으로 클러스터 헤드 선출을 위한 두 가지 기준을 정하고, 퍼지 이론을 기반으로 적절한 선택 값을 도출하여 효율적인 클러스터 헤드를 선출하는 방법을 제안한다. 이 방법은 각 센서 노드들의 남아있는 에너지를 고려할 수 있으며, 각 레벨에서 클러스터 헤드들은 가깝게 위치하게 되어 Multi-hop으로 데이터 전송 시 기존의 방법들보다 전송 거리를 줄일 수 있는 장점을 가지고 있다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.3
• /
• pp.141-152
• /
• 2007

In this paper, we present a network-oriented lightweight real-time system, which is composed of an event-driven operating system called the Embedded Lightweight Operating System (ELOS) and a generic multi hop ad hoc routing protocol suite. In the ELOS, a conditional preemptive FCFS scheduling method with a guaranteed time slot is designed for efficient real-time processing. For more elaborate configurations, we reinforce fault tolerance by supplementing semi-auto configuration using wireless agent nodes. The developed hardware platform is also introduced, which is a scalable prototype constructed using off-the-shelf components. In addition, in order to evaluate the performance of the proposed system, we developed a ubiquitous network test-bed on which several experiments with respect to various environments are conducted. The results show that the ELOS is considerably favorable for tiny ubiquitous networked systems with real-time constraints.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.