Validation and Verification Seminars

  • Please refer to the campus map for the exact location of lecture rooms.

2018/19 Semester One

Monday 16 September 2019 12:00

Location: Informatics G4

Speaker: Hugo Araujo

Title: Multi-objective search for effective testing of Cyber-Physical Systems


We propose a multi-objective strategy for finding effective inputs for fault detection in Cyber Physical Systems (CPSs). 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 an ideal target, thus leading the system towards a fault; this is based on Genetic Algorithm and Simulated Annealing heuristics. Additionally, we take into consideration the discrete locations (of hybrid system models) and a notion of input diversity to increase coverage. We implement our strategy and present an empirical analysis to estimate its effectiveness.



Past Seminars:

  • Date: 05/09/2019
    Diego Damasceno
    Title: Learning from Difference: An Automated Approach for Learning Family Models from Software Product Lines
  • Date: 29/03/2019
    Giuseppe Perelli
    Title: From Synthesis to Rational Synthesis: a Game-Theoretic Approach
  • Date: 15/01/2019
    Iván Arcuschin
    Title: An introduction to automatic Android test generation techniques
  • Date: 15/11/2018
    Maciej Gazda,
    Title: Logical characterisation of hybrid conformance
  • Date: 1/11/2018
    Hugo Araujo,
    Title: Effective Test Input Generation for Cyber-Physical Systems
  • Date: 18/10/2018
    Dr. Jan Oliver Ringert,
    Title: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
  • Date: 5/10/2018
    Dr. José Miguel Rojas,
    Title: Automated Generation of Unit Tests with Descriptive Names


Share this page: