Browsing by Author "Giantamidis, Georgios"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    On Pragmatic System Design through Learning and Implementation-oriented Reachability Analysis
    (Aalto University, 2023) Giantamidis, Georgios; Tripakis, Stavros, Assoc. Prof., Northeastern University, USA; Basagiannis, Stylianos, Dr., Collins Aerospace, Ireland; Tietotekniikan laitos; Department of Computer Science; Perustieteiden korkeakoulu; School of Science; Brzuska, Chris, Assoc. Prof. Aalto University, Department of Computer Science, Finland
    The need for formalization and verification in the design of complex systems is now more evident than ever. However, formal methods practices can sometimes be challenging to adopt in industrial environments. In particular, two broad categories of challenges can be identified: (a) The algorithmic challenge, which is about the ability of related tools and algorithms to scale to industrial size problems, and (b) the modeling challenge, which is about obtaining a formal system model as well as a formal specification of its behavior. To the end of easing integration of formal methods in industrial model based system engineering workflows, a solution is developed in this thesis aiming to help address the modeling challenge through contributions to four key areas of the process: (1) requirements formalization, (2) monitor generation, (3) model extraction from example behavior traces, and (4) reachability analysis for dynamical system implementations (C/C++ code).