Time-triggered Runtime Verification of Real-time Embedded Systems
In safety-critical real-time embedded systems, correctness is of primary concern, as even small transient errors may lead to catastrophic consequences. Due to the limitations of well-established methods such as verification and testing, recently runtime verification has emerged as a complementary ap...
| Main Author: | |
|---|---|
| Language: | en |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10012/8168 |