Browse > Article

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

Back, Hyoung-Bu (건국대학교 컴퓨터공학부)
Yoo, Jun-Beom (건국대학교 컴퓨터공학부)
Cha, Sung-Deok (건국대학교 컴퓨터통신공학부)
Publication Information
Journal of KIISE:Computing Practices and Letters / v.15, no.4, 2009 , pp. 265-269 More about this Journal
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.
Keywords
Formal Specification; Programmable Logic Controller(PLC); Function Block Diagram(FBD); Digital Controller; CASE;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Henning Dierks, "PLC-Automata: A new class of implementable real-time automata," Theoretical Com-puter Science, Vol.253, No.1, pp. 61-93, 2001   DOI   ScienceOn
2 Zhou Chaochen, C. Hoare, and A. Ravn, "A Cal-culus of Duration," Information Processing Letter, Vol.40, No.5, pp. 269-276, 1991   DOI   ScienceOn
3 Doron A. Peled, SOFTWARE RELIABILITY ME-THODS, Springer-Verlag, 2001
4 Uniform - Universal Formal Methods Workbench, http://www.informatik.uni-bremen.de/uniform/
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   DOI   ScienceOn
6 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   DOI   ScienceOn
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 ProCos: Hardware Compilation, http://archive.comlab.ox.ac.uk/hwcomp/procos.html
9 K.L. Heninger, “Specifying software requirements for complex systems: New techniques and their application,” IEEE Trans. Software Engineering, SE-6(1):2-13, 1980   DOI   ScienceOn
10 Junbeom Yoo, Eunkyoung Jee, and Sungdeok Cha, "Formal Modeling and Verification of Safety-Critical Software implement in PLC," IEEE Software, to be published, 2009   DOI   ScienceOn
11 lEC, International standard for programmable con-trollers: Programming languages 61131- Part 3, 1993