Anslut till disputationen från Pc, Mac, Linux, iOS eller Android via zoom
The seminar can be accessed through Zoom, and it will open shortly before 13:00. We would kindly ask you to keep the video off and mute the microphone during the seminar. At the end of the session there will be an opportunity to ask questions through Zoom. In case there will be any updates about the event, these will be posted on this website.
Zahra är doktorand i forskargruppen Automation, Avdelningen för System- och reglerteknik
Opponent är professor Thao Dang. Verimag, University Grenoble Alpes, Frankrike
Examinator är professor Knut Åkesson, Avdelningen för System- och reglerteknik, Chalmers
In what is commonly referred to as cyber-physical systems (CPSs), computational and physical resources are closely interconnected. An example is the closed-loop behavior of perception, planning, and control algorithms, executing on a computer and interacting with a physical environment. Many CPSs are safety-critical, and it is thus important to guarantee that they behave according to given specifications that define the correct behavior. CPS models typically include differential equations, state machines, and code written in general-purpose programming languages. This heterogeneity makes it generally not feasible to use analytical methods to evaluate the system’s correctness. Instead, model-based testing of a simulation of the system is more viable.
Optimization-based falsification is an approach to, using a simulation model, automatically check for the existence of input signals that make the CPS violate given specifications. Quantitative semantics estimate how far the specification is from being violated for a given scenario. The decision variables in the optimization problems are parameters that determine the type and shape of generated input signals.
This thesis contributes to the increased efficiency of optimization-based falsification in four ways. (i) A method for using multiple quantitative semantics during optimization-based falsification. (ii) A direct search approach, called line-search falsification that prioritizes extreme values, which are known to often falsify specifications, and has a good balance between exploration and exploitation of the parameter space. (iii) An adaptation of Bayesian optimization that allows for injecting prior knowledge and uses a special acquisition function for finding falsifying points rather than the global minima. (iv) An investigation of different input signal parameterizations and their coverability of the space and time and frequency domains.
The proposed methods have been implemented and evaluated on standard falsification benchmark problems. Based on these empirical studies, we show the efficiency of the proposed methods. Taken together, the proposed methods are important contributions to the falsification of CPSs and in enabling a more efficient falsification process.
Keywords: Cyber-Physical Systems, Model-Based Testing, Optimization-Based Falsification, Quantitative Semantics, Bayesian Optimization, Input Generators
HA3, lecture hall, Hörsalar HA, Campus Johanneberg