Creating and Validating Embedded Assertion Statecharts
IEEE Distributed Systems Online
Architectural design, behavior modeling and run-time verification of network embedded systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
| Hi-index | 0.00 |
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given time and time-series constraints that must be satisfied over a period of time. Traditional schedulability analysis only works for the former kind of timing properties. It is not effective in verifying time-series constraints over a period of time. This paper presents a hybrid approach that combines the traditional schedulability analysis of the design and the monitoring of timing constraint satisfaction during prototype execution based on a time-series temporal logic.The effectiveness of the approach is demonstrated with a prototype of the fish farm control system software.