Verification of Timing Properties in Rapid System Prototyping

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.

• Type: Conference
• Year: 2003
• Where: RSP
• Authors: Doron Drusinsky, Man-tak Shing
• Keywords: Rapid System Prototyping, RSP 2003, Time-series Constraints, Timing Properties, Traditional Schedulability Analysis