Verification of timing properties in rapid system prototyping

D. Drusinky, Man-Tak Shing
14th IEEE International Workshop on Rapid Systems Prototyping, 2003. Proceedings.  
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
more » ... bility 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.
doi:10.1109/iwrsp.2003.1207029 dblp:conf/rsp/DrusinkyS03 fatcat:rfbsxbdwzrdvlgzvhykqlrhzn4