Abstract. Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification procedure of formally spec- ified temporal properties, exploiting the robustness semantics of Signal Temporal Logic. The scaling of this approach to highly complex engi- neering systems requires efficient falsification procedures, which should be applicable also to black box models. Falsification is also exacerbated by the fact that inputs are often time-dependent functions. We tackle the falsification of formal properties of complex black box models of Cyber- Physical Systems, leveraging machine learning techniques from the area of Active Learning. Tailoring these techniques to the falsification prob- lem with time-dependent, functional inputs, we show a considerable gain in computational effort, by reducing the number of model simulations needed. The effectiveness of the proposed approach is discussed on a challenging industrial-level benchmark from automotive.

An active learning approach to the falsification of black box cyber-physical systems

Silvetti, Simone;Policriti, Alberto
;
2017-01-01

Abstract

Abstract. Search-based testing is widely used to find bugs in models of complex Cyber-Physical Systems. Latest research efforts have improved this approach by casting it as a falsification procedure of formally spec- ified temporal properties, exploiting the robustness semantics of Signal Temporal Logic. The scaling of this approach to highly complex engi- neering systems requires efficient falsification procedures, which should be applicable also to black box models. Falsification is also exacerbated by the fact that inputs are often time-dependent functions. We tackle the falsification of formal properties of complex black box models of Cyber- Physical Systems, leveraging machine learning techniques from the area of Active Learning. Tailoring these techniques to the falsification prob- lem with time-dependent, functional inputs, we show a considerable gain in computational effort, by reducing the number of model simulations needed. The effectiveness of the proposed approach is discussed on a challenging industrial-level benchmark from automotive.
2017
9783319668444
File in questo prodotto:
File Dimensione Formato  
Bortolussi-Policriti-Silvetti arxiv.pdf

accesso aperto

Tipologia: Documento in Pre-print
Licenza: Creative commons
Dimensione 461.5 kB
Formato Adobe PDF
461.5 kB Adobe PDF Visualizza/Apri
Bortolussi-Policriti-Silvetti.pdf

non disponibili

Tipologia: Versione Editoriale (PDF)
Licenza: Non pubblico
Dimensione 329.69 kB
Formato Adobe PDF
329.69 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1126260
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 17
  • ???jsp.display-item.citation.isi??? ND
social impact