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

Full description

Bibliographic Details

Published in:	International journal on software tools for technology transfer Vol. 23; no. 5; pp. 783 - 796
Main Authors:	Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo, Mateis, Cristinel, Ničković, Dejan
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.10.2021 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!