User: Guest  Login
Original title:
Formal Methods for Sandboxing Controllers in Cyber-Physical Systems
Translated title:
Formale Methoden zur Abschottung von Controllern in Cyber-Physical Systems
Author:
Zhong, Bingzhuo
Year:
2023
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Advisor:
Caccamo, Marco (Prof. Dr.)
Referee:
Caccamo, Marco (Prof. Dr.); Zamani, Majid (Prof. Dr.); Arcak, Murat (Prof. Dr.)
Language:
en
Subject group:
MSR Meßtechnik, Steuerungs- und Regelungstechnik, Automation
TUM classification:
DAT 260
Abstract:
This dissertation is motivated by the growing demand for deploying high-performance but unverified controllers, especially those developed using artificial intelligence (AI) techniques, in safety-critical Cyber-Physical Systems (CPS). Specifically, by utilizing formal methods, a correct-by-construction control architecture called Safe-visor architecture is designed to sandbox unverified controllers and provide system-level safety guarantees for CPS.
Translated abstract:
Motivation dieser Dissertation ist die steigende Nachfrage nach hochleistungsfähigen, aber unverifizierten Controllern, insbesondere auf Basis künstlicher Intelligenz (KI), in sicherheitskritischen Cyber-Physical Systems (CPS). Mit formalen Methoden wird eine korrekte-durch-Konstruktion-Steuerungsarchitektur, genannt Safe-visor architecture, entworfen, um nicht verifizierte Controller abzuschotten und systemweite Sicherheitsgarantien für CPS zu gewährleisten.
WWW:
https://mediatum.ub.tum.de/?id=1704680
Date of submission:
26.04.2023
Oral examination:
17.07.2023
File size:
14984761 bytes
Pages:
212
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20230717-1704680-1-7
Last change:
11.08.2023
 BibTeX