• Korea Information Processing Society Review
• /
• v.18 no.1
• /
• pp.33-42
• /
• 2011

컴포넌트의 외부 행위는 파라미터를 가진 인터페이스로 정의된다. 소프트웨어 개발자는 컴포넌트를 테스트하기 위해 인터페이스를 통해 각기 다른 파라미터의 값을 반복적으로 입력하고, 입력값에 따른 출력값을 관찰한다. 테스팅에 소요되는 시간을 줄이기 위해 테스트 케이스를 자동으로 실행하는 테스팅 자동화 도구가 효율적이지 않은 테스트 시퀀스를 수행한다면 테스팅 자동화의 효과는 줄어든다. 유한 상태 머신을 기반으로 하는 기존의 테스트 시퀀스 생성 기법들은 파라미터를 가진 인터페이스 테스팅에 최적화된 테스트 시퀀스를 제공하지 않는다. 이 연구는 컴포넌트 인터페이스를 파라미터를 고려한 상태 모델로 표현하고 최적의 시퀀스 생성 기법을 제안한다. 최적의 시퀀스 생성 기법은 파라미터를 가진 상태 기반의 행위 모델에서 특정 간선을 원하는 회수만큼 수행을 보장하는 시퀀스를 생성하며, 생성된 시퀀스는 최적의 테스트 수행 시간을 갖는다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.6C
• /
• pp.601-606
• /
• 2005

Recently with the high expectation of voice over WLAN service, to supped fast inter-AP security transition in WLAN AP is one of the most actively investigating issues. It is also very important to minimize inter-AP security transition latency, while maintaining constantly the secure association from old AP when a station transits to new AP. Hence, this paper first defines secure transition latency as a primary performance metric of AP system in WLAN supporting IEEE802.11i, 802.1x, and 802.11f, and then presents low latency inter-AP security transition mechanism and its security FSM whose objective is to minimize inter-AP transition latency. Experiment shows that the proposed scheme outperforms the legacy 802.1X AP up to $79\%$ with regard to the transition latency.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1937_1938
• /
• 2009

이 논문에서는 1차원 혼돈맵들 중의 하나인 톱니맵을 8비트의 유한정밀도로 이산화시켜 설계하였고, 이 이산화된 톱니맵을 사용한 혼돈 2진 순서 발생기의 회로도도 제시하였다. 설계된 혼돈맵의 실제 구현은 이산화된 진리표로부터 얻어진 출력변수의 간략화된 부울함수에 따른 입력선과 출력선들의 정확한 연결만에 의해 실현하였다. 최대길이를 발생시키는 선형궤환시프트레지스터(mLFSR)에 의해 발생되는 난수성 2진 출력 순서들을 이산화된 톱니맵의 입력순서로 사용함으로써 결과적으로 최소 8배 더 긴 주기를 갖는 혼돈 2진 순서들을 발생시켰다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.349-351
• /
• 2003

무선 센서 네트웍은 동작 환경과 구조가 매우 특이하du 개발자들은 센서 네트웍의 노드를 디자인할 때 많은 제약 조건들과 요구 조건들을 고려해야 한다. 먼저 우선 센서 네트웍 상의 각 센서 노드에는 극도로 제한된 하드웨어 자원 조건 하에서도 무선 통신 기능뿐만 아니라 동시에 여러 이벤트를 재빠르게 처리할 수 있는 기능이 포함되어야 한다. 또한 환경과 응용 프로그램의 변화에 잘 대처하기 위해 런타임(run-time)에 각 센서 노드들을 동적으로 재구성할 수 있는 기능이 제공되어야 한다. 이러한 디자인 요구 조건들과 제약 조건들은 얼핏 서로 상반된 것처럼 보이는데, 무선 센서 노드들을 위한 실행 환경을 디자인할 때는 이러한 조건들을 모두 만족시킬 수 있는 운영 체제가 반드시 필요하다. 본 논문에서 우리는 무선 센서 노드들을 위한 매우 효율적이고 효과적인 유한 상태 머신(finite state machine) 기반의 운영체제, SenOS를 제안한다. 또한 새로운 운영 체제인 SenOS가 극도의 제한적인 자원에서도 동시성과 반응성, 재구성성의 요구 조건을 모두 만족시키면서 동작할 수 있다는 것을 보일 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06d
• /
• pp.189-194
• /
• 2007

자원 제약적인 무선 센서네트워크상에서 전송비용을 최대한 줄이기 위하여 데이터의 수집 및 처리를 분산된 형태로 처리하는 방법이 필수적이다. 이에 따라 Declarative Query Language를 이용하여 다양한 질의를 표현하고, 이와 같은 질의를 효율적으로 처리하기 위한 에너지 분산 질의처리 방법이 중요한 이슈로 부각되고 있다. 본 논문은 [3]의 확장된 논문으로써 유한 상태 머신 기반 운영체제인 SenOS상에서 질의를 처리할 수 있는 시스템의 구조 중 SenOS의 동적 재구성 기능적 특성을 적용한 SenDB의 동적 Aggregation Function 추가 기능에 대하여 살펴보았다. 아울러 [3]에서 제안한 이기종 센서노드 연동기능의 개선점 및 구현 방법에 대하여 살펴보겠다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.295-298
• /
• 2008

본 논문에서는 물리엔진 기반으로 지능형 주행 시스템을 구현하여 사용자에게 쾌적한 주행 환경을 제공하여 사용자가 즐거움을 느낄 수 있도록 하는 것에 목적을 두고 있다. 이를 위해 시스템 환경 내에서 사용자의 위치 및 회전각을 추출한 다음 유한 상태 머신과 베이즈 이론에 입각하여 구현된 모듈에 입력하여서 분석을 한다. 그리고 모듈에서 나온 분석 결과를 장애물이나 커브 구역에서 제공 함으로서 사용자가 현 위치에 따른 환경을 인지하여 좀 더 나은 주행을 할 수 있도록 하였다. 또한 시스템 내부적으로 분석된 자료가 주행 시스템에 피드백 과정을 통해 입력되어 자동적으로 환경에 적응하여 주행 시간을 단축하는 시스템을 설계 하였고, 일부 기능에 대한 구현을 완료하였다.

• Proceedings of the Korea Institute of Convergence Signal Processing
• /
• 2006.06a
• /
• pp.17-20
• /
• 2006

본 논문에서는 잡음이 첨가된 연속음성에서의 자동 음절분할을 위해 기존에 사용되고 있는 특징 파라미터인 단구간 에너지 이외에 잡음에 강인한 특성을 가지고 있는 새로운 특징인 스펙트럼 밀도비교척도와 의사역행렬을 이용한 선형판별함수를 제안한다. 기존에 사용되는 단구간 에너지는 잡음이 없는 환경에서는 좋은 성능을 나타내지만 잡음환경에서는 그렇지 못하다. 반면에 논문에서 제안한 척도들은 반대의 성능을 가지므로 주변잡음의 크기에 따라 각각의 파라미터를 적절한 가중치로 조합하는 음절구간 결정함수와 유한상태 머신을 추가로 사용면 무 잡음 환경뿐만 아니라, 잡음이 첨가된 연속음성에서도 일정수준 이상의 음절구간을 분리해 낼 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.335-339
• /
• 2006

자원 제약적인 무선 센서네트워크상에서 전송비용을 최대한 줄이기 위하여 데이터의 수집 및 처리를 분산된 형태로 처리하는 방법이 필수적이다. 또한 Declarative Query를 이용하여 다양한 질의를 표현하고 처리할 필요성이 있다. 센서네트워크 데이터베이스는 이와 밀접한 관련이 있고 본 논문에서는 기존의 센서네트워크 데이터베이스 시스템의 문제점을 분석해보고 해결책을 제안하고자 한다. 아울러 유한 상태 머신 기반의 실행모델을 이용하고 응용의 변화에 대처할 수 있게 동적 재구성 기능을 지원하도록 설계된 SenOS상에서 센서네트워크 질의 처리 시스템의 구조와 설계방법에 대하여 살펴보겠다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.390-394
• /
• 2006

센서 노드는 정보 수집, 데이터 통신, 협력을 통한 모니터링과 같은 작업들을 수행하기 위해 군사 작전 지역, 산업 시설, 생태 환경 등에 배치된다. 응용 프로그램과 운영체제가 설치된 센서 노드를 센서 필드에 배치하고 나면 센서 노드는 쉽게 수거되기 어렵고 재프로그래밍을 위한 물리적인 연결이 힘들게 되어 응용의 변화에 따른 새로운 응용 프로그램의 설치, 수정과 같은 업데이트가 쉽지 않다. 또한 제한적인 시스템 자원을 가진 센서 노드의 특성상 이러한 재구성 기능은 업데이트에 사용되는 비용이 고려 되어야한다. 본 논문에서는 유한 상태 머신 (finite state machine) 기반의 운영체제인 SenOS에서 응용의 변화에 대처할 수 있도록 동적 재구성 기능이 구현된 형태와 특징을 기술한다.

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

본 논문에서는 물리엔진 기반으로 지능형 주행 시스템을 구현하여 사용자에게 쾌적한 주행 환경을 제공하여 사용자가 즐거움을 느낄 수 있도록 하는 것에 목적을 두고 있다. 이를 위해 시스템 환경 내에서 사용자의 위치 및 회전각을 추출한 다음 유한 상태 머신과 베이즈 이론에 입각하여 구현된 모듈에 입력하여서 분석을 한다. 그리고 모듈에서 나온 분석 결과를 장애물이나 커브 구역에서 제공 함으로서 사용자가 현 위치에 따른 환경을 인지하여 좀 더 나은 주행을 할 수 있도록 하였다. 또한 시스템 내부적으로 분석된 자료가 주행 시스템에 피드백 과정을 통해 입력되어 자동적으로 환경에 적응하여 주행 시간을 단축하는 시스템을 설계 하였고, 일부 기능에 대한 구현을 완료하였다.