Sciweavers

Share
RSP
2003
IEEE

Verification of Timing Properties in Rapid System Prototyping

11 years 11 months ago
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.
Doron Drusinsky, Man-tak Shing
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where RSP
Authors Doron Drusinsky, Man-tak Shing
Comments (0)
books