Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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.
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, 2016, 7733636Conference 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. 7733636
Series
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
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.7733636ISI: 000389524200143ScopusID: 2-s2.0-84996483346ISBN: 978-1-5090-1314-2 (print)ISBN: 978-1-5090-1313-5 (print)OAI: 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: 2017-01-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

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: 56 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf