CPSDebug: Automatic failure explanation in CPS models

Debugging cyber-physical system (CPS) models is a cumbersome and costly activity. CPS models combine continuous and discrete dynamics—a fault in a physical component manifests itself in a very different way than a fault in a state machine. Furthermore, faults can propagate both in time and space bef...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer Jg. 23; H. 5; S. 783 - 796
Hauptverfasser:	Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2021 Springer Nature B.V
Schlagworte:	Computer Science Continuity (mathematics) Cyber-physical systems Failure analysis Software Engineering Software Engineering/Programming and Operating Systems State machines Theory of Computation Cyber-physical systems Failure explanation Model-based development Property mining Debugging Testing
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!