Unexpected deadline overruns become more and more a problem encountered in mission critical software. There are, for example, a number of expensive recalls in the automotive industry, because the industrial practice of using end-to-end measurements topped up by an additional 10% to 20% "safety margin" did not cater for all circumstances outside the testing performed.
In this talk the pWCET tool suite will be introduced and future improvements and use for a timing verification of L4 will be indicated. The pWCET suite implements a probabilistic worst-case execution time analysis technique aimed to solve the problem of test coverage and worst-case execution time analysis in such a way, that it is acceptable for development engineers. At the heart of it lies the measurement of the execution time of basic blocks.
The results are transformed into execution time profiles. The resulting execution time profiles are then combined in a compositional manner by the use of an extended syntax tree, representing the logical structure of the program under investigation. The resulting overall execution time profile can be interpreted as the profile of the worst-case path of a program.
| Stefan M. Petters |
| Senior Researcher, ERTOS, NICTA |
| Date: | Thu Sep 2 2004 |
| Time: | 1 to 2pm |
| Location: | Applied Science Building, Level 10, Meeting Room, UNSW |
Last updated by rhuuck at Tue Aug 24 14:17:10 2004 GMT+1000