Benutzer: Gast  Login
Titel:

Automatic Program Verification of Continuous Function Chart based on Model Checking

Dokumenttyp:
Konferenzbeitrag
Autor(en):
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...     »
Kongress- / Buchtitel:
Annual Conference of the IEEE Industrial Electronics Society (IECON)
Verlagsort:
Porto, Portugal
Jahr:
2009
Seiten:
2422-2427
Nachgewiesen in:
Scopus; Web of Science
Volltext / DOI:
doi:10.1109/IECON.2009.5415231
WWW:
http://ieeexplore.ieee.org.eaccess.ub.tum.de/stamp/stamp.jsp?tp=&arnumber=5415231
 BibTeX