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
Reconstruction of function block controllers based on test scenarios and verification
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Computer Technologies Laboratory, ITMO University, Saint Petersburg.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Number of Authors: 4
2017 (English)In: IEEE International Conference on Industrial Informatics (INDIN), Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017, 646-651 p., 7819240Conference paper (Refereed)
Abstract [en]

The paper addresses the problem of reverse engineering a function block (FB) in situations when its source code is either not available or is too complex to understand. The proposed approach builds up on a recent method for reconstructing FBs based on testing and a search-based optimization algorithm. In our work the method is augmented with candidate solution verification using the NuSMV model checker. Verification is done in a closed-loop way using a manually constructed surrogate model of the plant and environment

Place, publisher, year, edition, pages
Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), 2017. 646-651 p., 7819240
Series
IEEE International Conference on Industrial Informatics INDIN, ISSN 1935-4576
National Category
Computer Science
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-62193DOI: 10.1109/INDIN.2016.7819240ISI: 000393551200098ScopusID: 2-s2.0-85012918742ISBN: 9781509028702 (electronic)OAI: oai:DiVA.org:ltu-62193DiVA: diva2:1077538
Conference
14th IEEE International Conference on Industrial Informatics, INDIN 2016, Poitiers, France, 19-21 July 2016
Available from: 2017-02-28 Created: 2017-02-28 Last updated: 2017-03-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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