DOI QR코드

DOI QR Code

A Study on the Formal Specification of Civil Defense Alarm

민방위 경보음의 정형 명세에 관한 연구

  • Oh, Hye-Yoon (Dept. of Computer Science, Kyonggi University) ;
  • Jung, Sun-il (Dept. of Computer Science, Kyonggi University) ;
  • Kwon, Gihwon (Dept. of Computer Science, Kyonggi University)
  • 오혜윤 (경기대학교 컴퓨터과학과) ;
  • 정선일 (경기대학교 컴퓨터과학과) ;
  • 권기현 (경기대학교 컴퓨터과학과)
  • Published : 2015.10.28

Abstract

본 논문에서는 신호 시제 논리 명세를 통하여 민방위 경보음을 정형적으로 명세한다. 논리를 기반으로 한 정형 명세는 비정형 명세에 비하여 분명하고, 간결하며, 기계처리가 가능한 이점을 제공한다. 민방위 경보음에 대한 시간의 흐름에 따른 주파수의 변화를 그래프로 그린 후에 이를 신호시제 논리로 명세하고자 한다.

Keywords

Acknowledgement

Supported by : 정보통신기술진흥센터