한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
- /
- Pages.244-246
- /
- 2012
- /
- 1598-5164(pISSN)
기존 SCADA시스템 통신모듈의 정형명세 및 검증
Formal specification and verification of communication driver module in existing SCADA system
- Lee, Hyuk (Dept. of Computer Science, Korea University) ;
- Je, Jung-Kwang (LS Industrial System Advanced Technology R&D Center) ;
- Choi, Jin-Young (Graduate School of Convergence IT, Korea University)
- 발행 : 2012.06.22
초록
대규모 실시간 시스템인 SCADA 시스템은 수처리, 발전, 보일러, 제철, 석유화학 등 산업전반에 걸쳐 사용되는 시스템이다. 현재는 국산화가 잘 이루어져 아직까지 큰 문제가 없는 분야이지만, 전통적인 방법론을 통해 개발된 시스템을 사용하고 있다. 복잡하고 규모가 큰 시스템에서는 전통적인 방법론으로는 잠재된 오류나 이로 인한 피해여부를 파악할 수 있는 방법이 없다. 본 논문에서는 모델기반 명세 및 검증 언어인 Statecharts를 이용해 소프트웨어공학적 기법을 SCADA 시스템의 통신 모듈에 적용시켜 시스템의 안전성과 신뢰성을 향상시키고자 한다.
키워드