Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Comparison of Formal Verification Approaches for IEC 61499
RMIT University, Melbourne.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, EISLAB.
ISEP, Instituto Superior de Engenharia do Porto.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.ORCID-id: 0000-0002-9315-9920
Visa övriga samt affilieringar
Antal upphovsmän: 52016 (Engelska)Ingår i: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA): Berlin, 6-9 Sept. 2016, Piscataway, NJ: IEEE conference proceedings, 2016, artikel-id 7733636Konferensbidrag, Publicerat paper (Refereegranskat)
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

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: IEEE conference proceedings, 2016. artikel-id 7733636
Serie
I E E E International Conference on Emerging Technologies and Factory Automation. Proceedings, ISSN 1946-0740
Nationell ämneskategori
Inbäddad systemteknik Datavetenskap (datalogi)
Forskningsämne
Inbyggda system; Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-60319DOI: 10.1109/ETFA.2016.7733636ISI: 000389524200143Scopus ID: 2-s2.0-84996483346ISBN: 978-1-5090-1314-2 (tryckt)ISBN: 978-1-5090-1313-5 (tryckt)OAI: oai:DiVA.org:ltu-60319DiVA, id: diva2:1045935
Konferens
21st International Conference on Emerging Technologies and Factory Automation (ETFA), Berlin, 6-9 Sept 2016
Tillgänglig från: 2016-11-11 Skapad: 2016-11-11 Senast uppdaterad: 2018-01-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Lindgren, PerVyatkin, Valeriy

Sök vidare i DiVA

Av författaren/redaktören
Lindgren, PerVyatkin, Valeriy
Av organisationen
EISLABDatavetenskap
Inbäddad systemteknikDatavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 574 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf