Runtime Monitoring for Safety-Critical Embedded Systems
The trend towards more commercial-off-the-shelf (COTS) components in complex safety-critical systems is increasing the difficulty of verifying system correctness. Runtime verification (RV) is a lightweight technique to verify that certain properties hold over execution traces. RV is usually implemen...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Research Showcase @ CMU
2015
|
| Online Access: | http://repository.cmu.edu/dissertations/532 http://repository.cmu.edu/cgi/viewcontent.cgi?article=1532&context=dissertations |