Re-engineering approach for PLC programs based on formal methods.

MaRDI QIDQ3412594zbMATH OpenFDO

Authors Mohammed Bani Younis

Publication date 29 December 2006

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-5674-6

zbMATH Keywords

finite state machinesprogrammable logic controllers

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1836374
• Component-based formal modeling of PLC systems
• Automated Technology for Verification and Analysis
• Verification of programmable logic controller code using model checking and static analysis
• scientific article; zbMATH DE number 1836378

Cited in

(4)

• Component-based formal modeling of PLC systems
• Verification of programmable logic controller code using model checking and static analysis
• Transformation algorithm between ladder diagram and instruction list based on AOV diagraph and binary tree
• Automated Technology for Verification and Analysis

This page was built for publication: Re-engineering approach for PLC programs based on formal methods.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3412594)