Sökning: WFRF:(Feng Lei 1976 ) >
Integration of Lear...
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems
-
- Zhang, Huimin (författare)
- School of Electro-Mechanical Engineering, Xidian University
-
- Feng, Lei, 1976- (författare)
- KTH,Mekatronik,Mechatronics
-
- Wu, Naiqi (författare)
- Institute of Systems Engineering, Macau University of Science and Technology
-
visa fler...
-
- Li, Zhiwu (författare)
- School of Electro-Mechanical Engineering, Xidian University
-
visa färre...
-
(creator_code:org_t)
- IEEE, 2018
- 2018
- Engelska.
-
Ingår i: IEEE Transactions on Automation Science and Engineering. - : IEEE. - 1545-5955 .- 1558-3783. ; 15:1, s. 2-15
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- A fundamental requirement of the supervisory control theory (SCT) of discrete-event systems is a finite automaton model of the plant. The requirement does not hold for black-box systems whose source code and logical model are not accessible. To apply SCT to black-box systems, we integrate automaton learning technology with SCT and apply the new method to improve the requirements conformance of software reuse. If the reused software component does not satisfy a requirement, the method adds a supervisor component to prevent the black-box system from reaching ''faulty sections.'' The method employs learning-based testing (LBT) to verify whether the reused software meets all requirements in the new context. LBT generates a large number of test cases and iteratively constructs an automaton model of the system under test. If the system fails the test, the learned model is applied as the plant model for control synthesis using SCT. Then, the supervisor is implemented as an executable program to monitor and control the system to follow the requirement. Finally, the integrated system, including the supervisory program and the reused component, is tested by LBT to assure the satisfiability of the requirement. This paper makes two contributions. First, we innovatively integrate LBT and SCT for the control synthesis of black-box reactive systems. Second, software component reuse is still possible even if it does not satisfy user requirements at the outset.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Nyckelord
- Automata learning
- black-box reactive system
- learning-based testing
- supervisory control theory
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas