VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS

Cited 13 time in webofscience Cited 0 time in scopus
  • Hit : 350
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorYoo, Junbeomko
dc.contributor.authorCha, Sungdeokko
dc.contributor.authorJee, Eunk Youngko
dc.date.accessioned2013-03-08T16:27:43Z-
dc.date.available2013-03-08T16:27:43Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2009-02-
dc.identifier.citationNUCLEAR ENGINEERING AND TECHNOLOGY, v.41, no.1, pp.79 - 90-
dc.identifier.issn1738-5733-
dc.identifier.urihttp://hdl.handle.net/10203/93568-
dc.description.abstractVerification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.-
dc.languageEnglish-
dc.publisherKOREAN NUCLEAR SOC-
dc.subjectSPECIFICATION-
dc.subjectSYSTEMS-
dc.subjectDESIGN-
dc.titleVERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS-
dc.typeArticle-
dc.identifier.wosid000264223300008-
dc.identifier.scopusid2-s2.0-62249114181-
dc.type.rimsART-
dc.citation.volume41-
dc.citation.issue1-
dc.citation.beginningpage79-
dc.citation.endingpage90-
dc.citation.publicationnameNUCLEAR ENGINEERING AND TECHNOLOGY-
dc.contributor.nonIdAuthorYoo, Junbeom-
dc.contributor.nonIdAuthorCha, Sungdeok-
dc.type.journalArticleArticle-
dc.subject.keywordAuthorVerification-
dc.subject.keywordAuthorEquivalence Checking-
dc.subject.keywordAuthorVIS-
dc.subject.keywordAuthorVerilog-
dc.subject.keywordAuthorFunction Block Diagram-
dc.subject.keywordAuthorProgrammable Logic Controller-
dc.subject.keywordAuthorIEC-61131-
dc.subject.keywordPlusSPECIFICATION-
dc.subject.keywordPlusSYSTEMS-
dc.subject.keywordPlusDESIGN-
Appears in Collection
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 13 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0