Ä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
Scalable methods of discrete plant model generation for closed-loop model checking
Department of Electrical Engineering and Automation, Aalto University.
VTT Technical Research Centre of Finland, Espoo.
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap. Department of Electrical Engineering and Automation, Aalto University.ORCID-id: 0000-0002-9315-9920
2017 (Engelska)Ingår i: Proceedings IECON 2017: 43rd Annual Conference of the IEEE Industrial Electronics Society, Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, s. 5483-5488Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

To facilitate correctness and safety of mission-critical automation systems, formal methods should be applied in addition to simulation and testing. One of such formal methods is model checking, which is capable of verifying complex requirements for the system's model. If both the controller and the controlled plant are formally modeled, then the variant of this technique called closed-loop model checking can be applied. Recently, a technique of automatic plant model generation has been proposed which is applicable in this scenario. This paper continues the work in this direction by presenting two plant model construction approaches which are much more scalable with respect to the previous one, and puts this work into a more practical context. The approaches are evaluated on a case study from the nuclear automation domain

Ort, förlag, år, upplaga, sidor
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017. s. 5483-5488
Serie
IEEE Industrial Electronics Society, ISSN 1553-572X
Nationell ämneskategori
Datorsystem
Forskningsämne
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-68266DOI: 10.1109/IECON.2017.8216949ISI: 000427164805068Scopus ID: 2-s2.0-85046669884ISBN: 9781538611272 (digital)OAI: oai:DiVA.org:ltu-68266DiVA, id: diva2:1196450
Konferens
43rd Annual Conference of the IEEE Industrial Electronics Society, IECON 2017, Bejing, China, 29 October - 1 November 2017
Tillgänglig från: 2018-04-10 Skapad: 2018-04-10 Senast uppdaterad: 2018-05-22Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Vyatkin, Valeriy
Av organisationen
Datavetenskap
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 9 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