Worst-case analysis of discrete systems based on conditional abstractions
Felice Balarin · 1999
Recently, a methodology for worst-case analysis of systems with discrete observable signals has bee" proposed [4].We extend this methodology to make use of conditional system abstractions that are valid only in some system states.We show that the responsetime analysis for single-processor systems is particularly well suited for "se of such abstractions.We "se a" example to demonstrate that significantly better response-time bounds can be obtained using conditional abstractions.