User: Guest  Login
Title:

Automatic Program Verification of Continuous Function Chart based on Model Checking

Document type:
Konferenzbeitrag
Author(s):
Wardana, Awang Noor Indra ; Folmer, Jens ; Vogel-Heuser, Birgit
Abstract:
Continuous function chart (CFC) is a graphical-oriented programming language that is widely used as application programs in process industry (e.g. pharmaceutical plants, chemical plants and power plants). The CFC programs have to be validated whether they fulfill the safety requirements that are specified in the control task specifications to verify their correctness before they are being tested by user in the plant. Nowadays, this verification is being done manually. This potentially causes err...     »
Book / Congress title:
Annual Conference of the IEEE Industrial Electronics Society (IECON)
Publisher address:
Porto, Portugal
Year:
2009
Pages:
2422-2427
Covered by:
Scopus; Web of Science
Fulltext / DOI:
doi:10.1109/IECON.2009.5415231
WWW:
http://ieeexplore.ieee.org.eaccess.ub.tum.de/stamp/stamp.jsp?tp=&arnumber=5415231
 BibTeX