Worst-case analysis of discrete systems based on conditional abstractions

Recently, a methodology for worst-case analysis of systems with discrete observable signals has been 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 response-time analysis for single-processor systems is particularly well suited for use of such abstractions. We use an example to demonstrate that significantly better response-time bounds can be obtained using conditional abstractions.