Efficient input space exploration for falsification of cyber-physical systems
| dc.contributor.author | Savaliya, Meetkumar, author | |
| dc.contributor.author | Prabhu, Vinayak, advisor | |
| dc.contributor.author | Pasricha, Sudeep, committee member | |
| dc.contributor.author | Ghosh, Sudipto, committee member | |
| dc.date.accessioned | 2022-05-30T10:21:08Z | |
| dc.date.available | 2022-05-30T10:21:08Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | In recent years black-box optimization based search testing for Signal Temporal Logic (STL)specifications has been shown to be a promising approach for finding bugs in complex Cyber Physical Systems (CPS) that are out of reach of formal analysis tools. The efficacy of this approach depends on efficiently exploring the input space, which for CPS is infinite. Inputs for CPS are defined as functions from some time domain to the domain of signal values. Typically, in black-box based testing, input signals are constructed from a small set of parameters, and the optimizer searches over this set of parameters to get a falsifying input. In this work we propose a heuristic that uses the step response of the system – a standard system characteristic from Control Engineering – to obtain a smaller time interval in which the optimizer needs to vary the inputs, enabling the use of a smaller set of parameters over which the optimizer needs to search over. We evaluate the heuristic on three complex Simulink model benchmarks from the CPS falsification community, and we demonstrate the efficacy of our approach. | |
| dc.format.medium | born digital | |
| dc.format.medium | masters theses | |
| dc.identifier | Savaliya_colostate_0053N_17027.pdf | |
| dc.identifier.uri | https://hdl.handle.net/10217/235165 | |
| dc.language | English | |
| dc.language.iso | eng | |
| dc.publisher | Colorado State University. Libraries | |
| dc.relation.ispartof | 2020- | |
| dc.rights | Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright. | |
| dc.title | Efficient input space exploration for falsification of cyber-physical systems | |
| dc.type | Text | |
| dcterms.rights.dpla | This Item is protected by copyright and/or related rights (https://rightsstatements.org/vocab/InC/1.0/). You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s). | |
| thesis.degree.discipline | Computer Science | |
| thesis.degree.grantor | Colorado State University | |
| thesis.degree.level | Masters | |
| thesis.degree.name | Master of Science (M.S.) |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Savaliya_colostate_0053N_17027.pdf
- Size:
- 1.76 MB
- Format:
- Adobe Portable Document Format