FBDtoVerilog: A vendor-independent translation from FBDs into Verilog programs

Junbeom Yoo, Jong Hoon Lee, Sehun Jeong, Sungdeok Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

FBD (Function Block Diagram) is one of the widely used PLC (Programmable Logic Controller) programming languages in plant automation industry. Many vendors and products have their own forms and formats, which are not compatible with others. Formal verification techniques and tools for FBDs should have provided vendor- and product-specific versions. PLCopen, a vendor/product independent worldwide association, provides a standardized way to define FBDs in an XML format. This paper proposes a CASE tool, FBDtoVerilog, which translates the PLCopen-FBDs into Verilog programs. Verilog is an input programming language for formal verification tools such as VIS (Verification with Interaction and Synthesis). It had been efficiently used as an input front-end of formal verifications, when developing software controllers of nuclear power plants in Korea. We demonstrate its usefulness and effectiveness with a prototype version of FBDs which had developed for APR-1400 nuclear power reactor in Korea.

Original languageEnglish
Title of host publicationSEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering
Pages48-51
Number of pages4
Publication statusPublished - 2011
EventSEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering - Miami, FL, United States
Duration: 2011 Jul 72011 Jul 9

Publication series

NameSEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering

Other

OtherSEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering
CountryUnited States
CityMiami, FL
Period11/7/711/7/9

Keywords

  • CASE
  • FBD
  • PLCopen
  • Translation
  • Verilog

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'FBDtoVerilog: A vendor-independent translation from FBDs into Verilog programs'. Together they form a unique fingerprint.

  • Cite this

    Yoo, J., Lee, J. H., Jeong, S., & Cha, S. (2011). FBDtoVerilog: A vendor-independent translation from FBDs into Verilog programs. In SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (pp. 48-51). (SEKE 2011 - Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering).