A framework for testing cyber-physical systems : input generation and causal analysis
type: CreativeWork
description: Cyber-Physical Systems (CPSs) integrate computational systems into their physical environments; components for products such as automobiles and airplanes are examples of modern CPSs. Their complexity originates from their multidisciplinary design which typically comprises discrete and continuous elements. The importance of safety and relia- bility in such complex and heterogeneous systems warrants the need for further research into their verification. In this work, we propose a framework for (conformance) testing and (causality) analysis of cyber-physical systems. The framework is divided into two stages, i) a search-based testing approach that generates effective inputs for finding faults in CPSs and ii) a notion of causality that assigns causes for the events that led to such faults. In our multi-objective search strategy the main goal is to provide input signals for a system in such a way that they maximise the distance between the system’s output and its ideal one, thus leading the system towards a fault. Additionally, we take into consideration the discrete locations (of hybrid system models) and a notion of input di- versity to increase coverage. We implement our strategy and present empirical analyses to estimate its effectiveness. As for the causality analysis, we formalised a notion of faults and causes using mathematical notations. Although these notions have been previously formalised for discrete systems, there is no formal account for continuous systems. Since the inputs and outputs of our systems are represented by trajectories (i.e., signals) the faults are expressed using a simplification of signal temporal logic properties, and causes, using the slices of trajectories that led to the falsification of such properties. To apply causality to cyber-physical systems, one needs to take time into consideration. A fault that occurred at a particular point in time could have been caused by events that oc- curred much earlier. Thus, one cannot ignore the hist…
abstract: Cyber-Physical Systems (CPSs) integrate computational systems into their physical environments; components for products such as automobiles and airplanes are examples of modern CPSs. Their complexity originates from their multidisciplinary design which typically comprises discrete and continuous elements. The importance of safety and relia- bility in such complex and heterogeneous systems warrants the need for further research into their verification. In this work, we propose a framework for (conformance) testing and (causality) analysis of cyber-physical systems. The framework is divided into two stages, i) a search-based testing approach that generates effective inputs for finding faults in CPSs and ii) a notion of causality that assigns causes for the events that led to such faults. In our multi-objective search strategy the main goal is to provide input signals for a system in such a way that they maximise the distance between the system’s output and its ideal one, thus leading the system towards a fault. Additionally, we take into consideration the discrete locations (of hybrid system models) and a notion of input di- versity to increase coverage. We implement our strategy and present empirical analyses to estimate its effectiveness. As for the causality analysis, we formalised a notion of faults and causes using mathematical notations. Although these notions have been previously formalised for discrete systems, there is no formal account for continuous systems. Since the inputs and outputs of our systems are represented by trajectories (i.e., signals) the faults are expressed using a simplification of signal temporal logic properties, and causes, using the slices of trajectories that led to the falsification of such properties. To apply causality to cyber-physical systems, one needs to take time into consideration. A fault that occurred at a particular point in time could have been caused by events that oc- curred much earlier. Thus, one cannot ignore the hist…
author: ARAUJO, Hugo Leonardo da Silva
language: eng
keywords: Engenharia de software, Teste de conformidade
license: http://creativecommons.org/licenses/by-nc-nd/3.0/br/
date published: 2023-03-23
date modified: 2026-07-24T01:19:01Z
provider: Brazil UFPE
publisher: Networked Digital Library of Theses and Dissertations
type: WebPage
source organization: Universidade Federal de Pernambuco