동적 SDL 분석기 개발

SDL(functional Specification and Description Language)은 통신 시스템의 동작을 계층적 구조로 표현하고 설계하기 위해 CCITT에서 표준화한 언어이다. 당 연구소에서는 앞으로 개발할 차세대 전전자 교환기(TDX-10)를 개발하기 위해 통합된 SDL 개발환경을 제안하고 관련 도구들을 개발하였다. 본 논문에서는 통합된 SDL 개발환경 구축을 위해 개발한 도구 중에서 PN(Petri Nets)에 기초를 둔 동적 SDL 분석기(Dynamic SDL Analyzer)에 대해 기술한다. 동적 SDL 분석기는 SDL을 이용한 시스템 명세를 PN으로 변환하는 SDL to PN 변환기능과 시스템 초기 상태로부터 도달가능한 모든 시스템 생성하는 도달성 그래프(reachability graph) 생성기능 및 도달성 그래프 생성을 통해 deadlock, 비도달성(unreachability), 시스템 상태의 주기성, no receiver 가능성과 같은 동적특성을 분석하는 동적특성 분석기능 등으로 구성되어 있다.