Mixed-trust Computing: Safe and Secure Real-time Systems

Verifying complex Cyber-physical Systems (CPSs) is increasingly important given the push to deploy safety-critical autonomous features. Unfortunately, traditional verification methods do not scale to the complexity of these systems and do not provide systematic methods to protect verified properties...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	ACM transactions on cyber-physical systems 2025-01, Vol.9 (1), p.1-25, Article 11
Hauptverfasser:	de Niz, Dionisio, Andersson, Bjorn, Klein, Mark, Lehoczky, John, Kim, Hyoseung, Moreno, Gabriel
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer systems organization Embedded software Real-time systems
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!