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á bibliografie

Vydáno v:	International journal on software tools for technology transfer Ročník 23; číslo 5; s. 783 - 796
Hlavní autoři:	Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2021 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!