BRACE: An assertion framework for debugging cyber-physical systems

Kevin Boos, Chien-Liang Fok, Christine Julien, Miryung Kim
2012 2012 34th International Conference on Software Engineering (ICSE)  
Developing cyber-physical systems (CPS) is challenging because correctness depends on both logical and physical states, which are collectively difficult to observe. The developer often need to repeatedly rerun the system while observing its behavior and tweak the hardware and software until it meets minimum requirements. This process is tedious, error-prone, and lacks rigor. To address this, we propose BRACE, a framework that simplifies the process by enabling developers to correlate cyber
more » ... , logical) and physical properties of the system via assertions. This paper presents our initial investigation into the requirements and semantics of such assertions, which we call CPS assertions. We discusses our experience implementing and using the framework with a mobile robot, and highlight key future research challenges.
doi:10.1109/icse.2012.6227084 dblp:conf/icse/BoosFJK12 fatcat:odd4aqvfwvdlbeqcqla643jq2y