STINT Initiation Grant on Runtime Verification for Autonomous Systems

Apr 2019 - Mar 2020

Funded by STINT: The Swedish Foundation for International Cooperation in Research and Higher Education.

Partners: Department of Computer Science and Engineering, University of Gothenburg (GU), Sweden
                 Department of Computer Science, Universidad de Buenos Aires (UBA), Argentina.

PI GU: Gerardo Schneider

PI UBA: Sebastián Uchitel

Participants:

GU / Chalmers: Gerardo Schneider, Alejandro Russo

UBA: Sebastián Uchitel, Diego Garbervetsky, Sebastián Zudaire


============================================

SHORT DESCRIPTION

============================================

We are witnessing tremendous advances in research on data acquisition, machine learning, artificial intelligence, embedded systems, formal methods, robotics and control theory, which together have led to the emergence of Autonomous Cyber-Physical Systems (ACPS). ACPS consist of smart and collaborative computational entities that are tightly interacting with physical components through sensors and actuators and that are able to accomplish tasks independently, or with minimal supervision from humans in complex and unpredictable environments. Unmanned Aerial Vehicle (UAV) is a special type of ACPS used for instance for land recognition in rural areas.

We are interested in building a UAV on a fixed wing airplane based on an architecture using Discrete Event Control. We will build upon a declarative mission specification (e.g., search and rescue/follow, surveillance) of a controller that runs on the plan and interacts with lower software layers that takes high-level commands in an interactive and flexible manner.

Our main aim is to solve the above problem technically, and promote the dissemination of knowledge through seminars for graduated students in the form of PhD courses as well as open presentations for a more general public.


============================================

ACTIVITIES

============================================

  • STINT (UBA-GU) Workshop on Runtime Verification and Autonomous Systems, Gothenburg, Sweden (26 Aug 2019). Organizer: GERARDO SCHNEIDER (GU)

  • Enabledness Preserving Abstractions, Gothenburg, Sweden (27-28 Aug 2019). PhD course (2 HEC). Lecturers: SEBASTIAN UCHITEL and DIEGO GARBERVETSKY (UBA)

  • STINT (UBA-GU) Workshop on Assured Software Engineering, Buenos Aires, Argentina (21 Oct 2019). Organizer: SEBASTIÁN UCHITEL (UBA)