Reconstruction of function block controllers based on test scenarios and verification

Daniil Chivilikhin; Ilya Ivanov; Anatoly Shalyto; Valeriy Vyatkin

doi:10.1109/INDIN.2016.7819240

Reconstruction of function block controllers based on test scenarios and verification

Daniil Chivilikhin, Ilya Ivanov, Anatoly Shalyto, Valeriy Vyatkin

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	Englanti
Otsikko	Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016
Kustantaja	IEEE
Sivut	646-651
Sivumäärä	6
ISBN (elektroninen)	9781509028702
DOI - pysyväislinkit	https://doi.org/10.1109/INDIN.2016.7819240
Tila	Julkaistu - 2016
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisussa
Tapahtuma	IEEE International Conference on Industrial Informatics - Poitiers, Ranska Kesto: 19 heinäk. 2016 → 21 heinäk. 2016 Konferenssinumero: 14 https://ieee-indin2016.sciencesconf.org/

Julkaisusarja

Nimi	IEEE International Conference on Industrial Informatics
Kustantaja	IEEE
ISSN (painettu)	1935-4576
ISSN (elektroninen)	2378-363X

Conference

Conference	IEEE International Conference on Industrial Informatics
Lyhennettä	INDIN
Maa/Alue	Ranska
Kaupunki	Poitiers
Ajanjakso	19/07/2016 → 21/07/2016
www-osoite	https://ieee-indin2016.sciencesconf.org/

Pääsy asiakirjaan

10.1109/INDIN.2016.7819240

Muut tiedostot ja linkit

Link to publication in Scopus

Siteeraa tätä

Chivilikhin, D., Ivanov, I., Shalyto, A., & Vyatkin, V. (2016). Reconstruction of function block controllers based on test scenarios and verification. teoksessa Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016 (Sivut 646-651). Artikkeli 7819240 (IEEE International Conference on Industrial Informatics). IEEE. https://doi.org/10.1109/INDIN.2016.7819240

@inproceedings{6022a39d83554f84b174d690d5718180,

title = "Reconstruction of function block controllers based on test scenarios and verification",

abstract = "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.",

author = "Daniil Chivilikhin and Ilya Ivanov and Anatoly Shalyto and Valeriy Vyatkin",

year = "2016",

doi = "10.1109/INDIN.2016.7819240",

language = "English",

series = "IEEE International Conference on Industrial Informatics",

publisher = "IEEE",

pages = "646--651",

booktitle = "Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016",

address = "United States",

note = "IEEE International Conference on Industrial Informatics, INDIN ; Conference date: 19-07-2016 Through 21-07-2016",

url = "https://ieee-indin2016.sciencesconf.org/",

}

Chivilikhin, D, Ivanov, I, Shalyto, A & Vyatkin, V 2016, Reconstruction of function block controllers based on test scenarios and verification. julkaisussa Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016., 7819240, IEEE International Conference on Industrial Informatics, IEEE, Sivut 646-651, IEEE International Conference on Industrial Informatics, Poitiers, Ranska, 19/07/2016. https://doi.org/10.1109/INDIN.2016.7819240

Reconstruction of function block controllers based on test scenarios and verification. / Chivilikhin, Daniil; Ivanov, Ilya; Shalyto, Anatoly et al.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016. IEEE, 2016. s. 646-651 7819240 (IEEE International Conference on Industrial Informatics).

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

TY - GEN

T1 - Reconstruction of function block controllers based on test scenarios and verification

AU - Chivilikhin, Daniil

AU - Ivanov, Ilya

AU - Shalyto, Anatoly

AU - Vyatkin, Valeriy

N1 - Conference code: 14

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85012918742&partnerID=8YFLogxK

U2 - 10.1109/INDIN.2016.7819240

DO - 10.1109/INDIN.2016.7819240

M3 - Conference article in proceedings

T3 - IEEE International Conference on Industrial Informatics

SP - 646

EP - 651

BT - Proceedings of the 14th IEEE International Conference on Industrial Informatics, INDIN 2016

PB - IEEE

T2 - IEEE International Conference on Industrial Informatics

Y2 - 19 July 2016 through 21 July 2016

ER -

Reconstruction of function block controllers based on test scenarios and verification

Abstrakti

Julkaisusarja

Conference

Pääsy asiakirjaan

Muut tiedostot ja linkit

Sormenjälki

Siteeraa tätä