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
Modular Plant Model Synthesis from Behavior Traces and Temporal Properties
Department of Electrical Engineering and Automation, Aalto University.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Department of Electrical Engineering and Automation, Aalto University.ORCID iD: 0000-0002-9315-9920
2018 (English)In: IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Piscataway, Nj: Institute of Electrical and Electronics Engineers (IEEE), 2018, Vol. F134116Conference paper, Published paper (Refereed)
Abstract [en]

Reliability of industrial automation software, which is usually ensured with testing and simulation, can be improved using formal analysis and, in particular, the technique of model checking. In model checking, considering the closed loop composition of the plant model and the controller model allows checking a larger class of properties than in the more traditional open-loop case, where the model of the controller is verified alone. Constructing the formal model of the plant automatically may significantly reduce human workload and mitigate the human factor issue. Commonly, complex industrial plants and controllers have modular structure, and thus the problem of automatic construction of a modular plant model is important. This paper proposes two techniques which extend an earlier proposed method of monolithic plant model construction to the modular case.

Place, publisher, year, edition, pages
Piscataway, Nj: Institute of Electrical and Electronics Engineers (IEEE), 2018. Vol. F134116
Series
IEEE International Conference on Emerging Technologies and Factory Automation-ETFA, ISSN 1946-0740
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-68194DOI: 10.1109/ETFA.2017.8247578ISI: 000427812000013Scopus ID: 2-s2.0-85044480825ISBN: 978-1-5090-6505-9 (electronic)OAI: oai:DiVA.org:ltu-68194DiVA, id: diva2:1195431
Conference
22nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Limassol, Cyprus, 12-15 September 2017
Available from: 2018-04-05 Created: 2018-04-05 Last updated: 2018-04-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Vyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 3 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