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...

Celý popis

Podrobná bibliografia

Vydané v:	International journal on software tools for technology transfer Ročník 23; číslo 5; s. 783 - 796
Hlavní autori:	Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2021 Springer Nature B.V
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!