Name
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. |
Year | Venue | Field |
|---|---|---|
2016 | 2016 IEEE 14TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN) | Model checking,Source code,Computer science,Reverse engineering,Surrogate model,Real-time computing,Control chart,Scenario testing,Optimization algorithm,Iec standards |
DocType | ISSN | Citations |
Conference | 1935-4576 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniil Chivilikhin | 1 | 34 | 9.41 |
| Ilya Ivanov | 2 | 0 | 0.34 |
| Anatoly Shalyto | 3 | 98 | 20.06 |
| Valeriy Vyatkin | 4 | 1047 | 152.80 |