A Comparison of Formal Verification Approaches for IEC 61499

Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

4 Citations (Scopus)

Abstract

Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and maintainability, improve interoperability and portability. Among them are various techniques based on formal models to enhance testing, validation and verification. In this paper, we are concentrating on formal verification both at runtime and design time of a system. Formal verification of a system property at design time is the process of mathematically proving that the property indeed holds. At runtime, one can check the validity of the property and report deviations by monitoring the system execution. Formal verification relies on semantic models, descriptions of the system and its properties. We report on ongoing verification work and present two different approaches for formal verification of IEC 61499-based programs. We provide two examples of ongoing work to exemplify the design and the runtime verification approaches.

Original languageEnglish
Title of host publication2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation, ETFA 2016
PublisherIEEE
Number of pages4
Volume2016-November
ISBN (Electronic)9781509013142
DOIs
Publication statusPublished - 3 Nov 2016
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Emerging Technologies and Factory Automation - Berlin, Germany
Duration: 6 Sep 20169 Sep 2016
Conference number: 21
http://www.etfa2016.org/

Publication series

NameIEEE International Conference on Emerging Technologies and Factory Automation-ETFA
PublisherIEEE
ISSN (Print)1946-0740

Conference

ConferenceIEEE International Conference on Emerging Technologies and Factory Automation
Abbreviated titleEFTA
CountryGermany
CityBerlin
Period06/09/201609/09/2016
Internet address

Fingerprint

Dive into the research topics of 'A Comparison of Formal Verification Approaches for IEC 61499'. Together they form a unique fingerprint.

Cite this