WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems

Component oriented software construction approaches have gained enormous attention in recent years. A developer has to consider functional and non-functional requirements of a customer or a market segment. For real-time systems non-functional properties - such as reliability, memory consumption and performance - are at least as important as functional requirements. In our work, we focus on the prediction of worst case execution time. In this paper we deal with the problem of analyzing data flow - control flow dependencies between components with the goal of getting tight and safe WCET predictions. We use abstract interpretation for this purpose. In this paper we show how this approach can be applied to an example taken from the domain of programmable logic controllers