Title: Fault-Based Analysis of Cyber Physical Systems
Language: English
Authors: Manjunath, Niveditha 
Qualification level: Doctoral
Advisor: Bartocci, Ezio  
Assisting Advisor: Nickovic, Dejan 
Issue Date: 2021
Number of Pages: 52
Qualification level: Doctoral
Abstract: 
Cyber-physical systems (CPS) consist of computational networked and distributed components monitoring and controlling the physical environment. They are nowadays ubiquitous in many safety-critical applications including autonomous vehicles or smart medical devices. Therefore ensuring the correctness of CPS before their deployment is essential. The complexity and heterogeneity of CPS also makes them vulnerable to faults that are challenging to detect, understand and correct. These faults can propagate in time and space, producing observable misbehavior that is hard to trace to its origin because it is typically a result of complex combination of events. In this thesis, we develop methods for failure analysis of a CPS that help exposing and explaining faults. We develop theoretical, methodological and practical solutions to achieve this goal by focusing on the following topics: (1) methods to localize and explain failures, and (2) testing procedures that facilitate fault analysis. The scientific outcomes of this were implemented as prototypes and tools. The solutions developed in this thesis have been evaluated on publicly available benchmarks and industrial use cases from several domains to demonstrate the applicability of our research.
Keywords: Signal Temporal Logic; Cyber-Physical Systems; Model Verification and Validation; Fault Localization; Failure Explanation; Property Mining; Coverage Analysis; Adaptive Testing; Cooperative Games; Analog and Mixed Signal Circuits
URI: https://doi.org/10.34726/hss.2021.88181
http://hdl.handle.net/20.500.12708/17417
DOI: 10.34726/hss.2021.88181
Library ID: AC16200152
Organisation: E191 - Institut für Computer Engineering 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

Show full item record

Page view(s)

8
checked on May 6, 2021

Download(s)

3
checked on May 6, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.