Sökning: id:"swepub:oai:DiVA.org:ltu-62193" >
Reconstruction of f...
Reconstruction of function block controllers based on test scenarios and verification
-
- Chivilikhin, Daniil S. (författare)
- Computer Technologies Laboratory, ITMO University, Saint Petersburg
-
- Ivanov, Ilya (författare)
- Computer Technologies Laboratory, ITMO University, Saint Petersburg
-
- Shalyto, Anatoly A (författare)
- Computer Technologies Laboratory, ITMO University, Saint Petersburg
-
visa fler...
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap
-
visa färre...
-
(creator_code:org_t)
- Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE), 2017
- 2017
- Engelska.
-
Ingår i: IEEE International Conference on Industrial Informatics (INDIN). - Piscataway, NJ : Institute of Electrical and Electronics Engineers (IEEE). - 9781509028702 ; , s. 646-651
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Dependable Communication and Computation Systems
- Kommunikations- och beräkningssystem
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas