• 한국통신학회논문지
• /
• 제17권8호
• /
• pp.823-836
• /
• 1992

앞으로의 컴퓨터 네트워크는 여러 서비스를 통합하여 제공할 수 있는 통신망인 종합정보 통신망으로 발전해 갈 것이다. 이에 따라 현재 운영되고 있는 컴퓨터망이 ISDN에 접속되어 사용하는 것은 매우 중요한 문제로 부각될 것이다. 본 논문은 근거리 통신망과 ISDN의 연동화 방안을 연구하였다. 이를 위하여 기존의 근거리 통신망과 ISDN의 특성에 관하여 분석하고 연동을 위하여 고려해야 할 사항을 검토하였으며 Co와 CL서비스에 대한 연동방안을 제시하였다.이를 구체화하여 근거리 통신망과 ISDN을 연동하는 게이트웨이를 논리적으로 구성하였고, 그 연동과정을 페트리네트로 모델링하였으며 도달트리를 구성하여 프로토콜의 정확성을 검증하였다. 본 연구가 근거리 통신망과 종합 정보 통신망을 연동하는 게이트 웨이의 설계와 구현을 위하여 유용하게 이용될 수 있을 것이다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권7호
• /
• pp.471-478
• /
• 2013

본 논문은 Rapidly-exploring Random Tree(RRT) 알고리즘을 이용한 Simulink/Stateflow 모델 기반의 블랙박스 테스트 케이스 자동 생성 기법을 제안한다. RRT는 복잡한 시스템의 경로 계획을 효율적으로 해결하는 좋은 방법으로 널리 사용되고 있다. 본 논문에서 제안하는 기법은 블랙박스 테스트 케이스 생성 시 해결해야 되는 도달 가능 문제를 RRT를 통해 해결하고자 한다. RRT를 이용하여 테스트 케이스를 생성 할 때의 가장 큰 단점은 Stateflow 모델의 내부 상태가 복잡한 시스템을 위한 RRT 확장 시 시간과 메모리 측면에서 많은 비용이 발생하게 된다는 점이다. 일반적인 RRT 기법이 대상 시스템을 단일한 RRT 공간으로 구성 하는 반면 제안된 기법에서는 대상 시스템을 Stateflow의 상태를 기준으로 동적 분할하여 RRT 공간을 모델링 구성 함으로써 RRT 확장 시 필요한 비용을 감소시켰다. 본 논문에서는 분할 RRT 공간을 위한 RRT 공간의 정의와, 거리 측정 기법, 테스트 케이스 생성 알고리즘을 제시한다. 또한, 예제 Stateflow 모델을 기반으로 한 테스트 케이스 생성실험을 통해 제안된 알고리즘의 성능을 보인다.

• 정보처리학회논문지C
• /
• 제9C권1호
• /
• pp.97-106
• /
• 2002

3GPP2가 제안하는 방식에서는 Macro Mobility 지원을 위하여 MIP를 이용하며 PDSN은 FA의 기능을 수행한다. 이때 하나의 PDSN에서 다른 PDSN으로 MS가 이동할 경우 지원되는 이동성을 Macro Mobility라 하며, PDSN 관리 영역 내의 하나의 RN에서 다른 RN으로 이동 시에 지원되는 이동성을 Micro Mobility라 한다. 3GPP2가 제안하는 방식에서는 PDSN이 FA의 역할을 수행하므로 이동성 지원이 가능하지만, 이는 Macro Mobility를 지원하기 위한 메커니즘으로, Micro Mobility를 지원하기엔 빠르고 Seamless한 핸드오프에 취약하다. 본 논문은 Micro Mobility를 지원하기 위한 멀티캐스트 그룹 메커니즘 기반의 Seamless 핸드오프 알고리즘을 제안하고 있다. 제안된 알고리즘은 MS의 이동방향과 속도를 계산하여, 예상 이동경로에 인접한 RN들을 멀티캐스트 그룹으로 구성하고, 그룹 join 시점을 최대한 늦춤으로서 망의 효율성을 높인다. 또한, 기존의 멀티캐스트 연결 방법이 가지고 있는 버퍼 오버헤드에 대한 문제점을 해결하기 위해, RN은 예상 핸드오프 시간 이후의 데이터만을 버퍼링 한다. 제안된 알고리즘의 Deadlock Freeness 및 Liveness를 검증하기 위해 State Transition Diagram을 작성하고, 페트리네트 모델을 이용 도달성 트리를 작성하였다. 또한, 시뮬레이션을 통한 성능분석을 수행하였다.