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
Formal Modelling of Distributed Automation CPS with CP-Agnostic Software
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Number of Authors: 3
2017 (English)In: Service Orientation in Holonic and Multi-Agent Manufacturing: Proceedings of SOHOMA 2016 / [ed] Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira, Springer International Publishing , 2017, 35-46 p.Conference paper (Refereed)
Abstract [en]

This paper introduces the application of formal modelling to cyber-physical systems for the purpose of formal verification of cyber-physical agnosticism properties of decentralised automation software. Service-oriented cyber-physical systems are modelled using the IEC 61499 function block architecture. Then, the IEC 61499 model is represented in terms of SMV formal language, which is verified using the nuXmv model checker. The timestamped events mechanism is implemented in IEC 61499 using the existing syntax of the standard. The impact of jitter on the behaviour of physical system is demonstrated in both simulation within IEC 61499 execution environment and in counter-examples extracted from nuXmv. The methodology presented in this paper creates the premise for automatic verification of the cyber-physical agnosticism of systems

Place, publisher, year, edition, pages
Springer International Publishing , 2017. 35-46 p.
Series
Studies in Computational Intelligence, ISSN 1860-949X ; 694
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-62553DOI: 10.1007/978-3-319-51100-9ScopusID: 2-s2.0-85014890468ISBN: 978-3-319-51099-6 (print)ISBN: 978-3-319-51100-9 (electronic)OAI: oai:DiVA.org:ltu-62553DiVA: diva2:1082733
Conference
6th Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, SOHOMA 2016, Lisbon, Portugal, 6-7 October 2016
Available from: 2017-03-17 Created: 2017-03-17 Last updated: 2017-03-21Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Drozdov, DmitriiPatil, SandeepVyatkin, Valeriy
By organisation
Computer Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 11 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