git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
190 stars 37 forks source link

Runtime Analysis #77

Closed git-afsantos closed 2 months ago

git-afsantos commented 5 years ago

Add infrastructure and plugin support for runtime analysis. The main goal of this analysis would be to extract models from snapshots of running systems (e.g., rostopic list), and either register such models as ground truth or use them to refine models from static analysis.

Edit: this is almost a duplicate of #27, only slightly more general.