Change search
ReferencesLink to record
Permanent link

Direct link
A Comparison of Formal Verification Approaches for IEC 61499
RMIT University, Melbourne.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab. (Embedded Systems)
ISEP, Instituto Superior de Engenharia do Porto.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Show others and affiliations
Number of Authors: 5
2016 (English)In: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA): Berlin, 6-9 Sept. 2016, Piscataway, NJ: IEEE conference proceedings, 2016Conference paper (Refereed)
Abstract [en]

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

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE conference proceedings, 2016.
National Category
Embedded Systems Computer Science
Research subject
Embedded System; Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-60319DOI: 10.1109/ETFA.2016.7733636ISBN: 978-1-5090-1314-2ISBN: 978-1-5090-1313-5OAI: oai:DiVA.org:ltu-60319DiVA: diva2:1045935
Conference
21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, 6-9 Sept 2016
Available from: 2016-11-11 Created: 2016-11-11 Last updated: 2016-11-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Lindgren, PerVyatkin, Valeriy
By organisation
Embedded Internet Systems LabComputer Science
Embedded SystemsComputer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 14 hits
ReferencesLink to record
Permanent link

Direct link