A CASE Tool for Automatic Generation of FBD Program from NuSCR Formal Specification

NuSCR 정형 요구사항 명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구

  • 백형부 (건국대학교 컴퓨터공학부) ;
  • 유준범 (건국대학교 컴퓨터공학부) ;
  • 차성덕 (건국대학교 컴퓨터통신공학부)
  • Published : 2009.04.15

Abstract

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

정형명세기법은 안전최우선시스템 소프트웨어의 안전성을 일정 수준 이상 보장할 수 있는 기법으로서, 원자력 발전소의 디지털 제어시스템의 개발에 사용되고 있다. 정형명세기법 NUSCR로부터 Programmable Logic Controller(PLC) 시스템을 구현하기 위한 소프트웨어인 Function Block Diagram(FBD) 프로그램을 자동으로 생성하는 기법[1]이 개발되었으나, 이를 지원하는 자동화 도구가 없어 이 기법이 널리 사용되지 못하였다. 본 논문에서는 이어 자동생성 기법을 지원하기 위하여 개발된 자동화 도구 NuSCRtoFBD를 소개한다. 본 연구에서 제안하는 NuSCRtoFBD 도구를 사용하여 NuSCR로부터 FBD를 자동생성 함으로써, 기존의 수동 프로그래밍 작업에서 발생했던 다수의 오류들을 줄일 수 있다.

Keywords

References

  1. Jumbeom Yoo, Taihyo Kim, Sungdeok Cha, Jangsu Lee, and Han Seong Son, “A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems,” Jour-nal of Systems and Software, Vol.74, No.1, pp. 7:3-83, 2005 https://doi.org/10.1016/j.jss.2003.10.018
  2. Doron A. Peled, SOFTWARE RELIABILITY ME-THODS, Springer-Verlag, 2001
  3. Henning Dierks, "PLC-Automata: A new class of implementable real-time automata," Theoretical Com-puter Science, Vol.253, No.1, pp. 61-93, 2001 https://doi.org/10.1016/S0304-3975(00)00089-X
  4. lEC, International standard for programmable con-trollers: Programming languages 61131- Part 3, 1993
  5. Junbeom Yoo, Sungdeok Cha, Chang Hwoi Kim, and Duck Yong Song, "Synthesis of FBD-based PLC design from NuSCR formal specification,” Reliability Engineering and System Safety, Vol.87, No.2, pp. 287-294, 2005 https://doi.org/10.1016/j.ress.2004.05.005
  6. K.L. Heninger, “Specifying software requirements for complex systems: New techniques and their application,” IEEE Trans. Software Engineering, SE-6(1):2-13, 1980 https://doi.org/10.1109/TSE.1980.230208
  7. Junbeom Yoo, Sungdeok Cha, and Eunkyoung Jee, “Automatic Synthesis of Function Block Diagrams from NuSCR Requirements Specification” submitted to Information and Software Technology, 2008
  8. Junbeom Yoo, Eunkyoung Jee, and Sungdeok Cha, "Formal Modeling and Verification of Safety-Critical Software implement in PLC," IEEE Software, to be published, 2009 https://doi.org/10.1109/MS.2009.67
  9. ProCos: Hardware Compilation, http://archive.comlab.ox.ac.uk/hwcomp/procos.html
  10. Zhou Chaochen, C. Hoare, and A. Ravn, "A Cal-culus of Duration," Information Processing Letter, Vol.40, No.5, pp. 269-276, 1991 https://doi.org/10.1016/0020-0190(91)90122-X
  11. Uniform - Universal Formal Methods Workbench, http://www.informatik.uni-bremen.de/uniform/