We propose a methodology for worst-case analysis of systems with discrete observable
signals. The methodology can be used to verify different properties of systems such as …

Worst-case execution time analysis is the fundament of real-time system design, and is
therefore an area which has been subject to great scientific interest for a long time. However …

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 …

Verification and Performance Analysis for Embedded Systems Page 1 Verification and
Performance Analysis for Embedded Systems Kim Guldstrand Larsen Aalborg University …

In the last years the number of electronic control systems has increased significantly. In
order to stay competitive more and more functionality is integrated into more and more …

Execution time analysis is used in the development of real time and embedded systems to
derive the timing estimates required for schedulability analysis. The execution time of the …

Embedded systems are becoming more and more ubiquitous in our daily lives. Since the
embedded systems interact with the physical environment, they often have to behave within …

We propose a performance verification technique for cyber-physical systems that consist of
multiple control loops implemented on a distributed architecture. The architectures we …

Estimating the worst-case execution time (WCET) of tasks is a key step in the design of
reliable real-time software and systems. In this paper, we present a new, game-theoretic …

This paper examines the problem of statically analyzing the performance of embedded
software. This problem is motivated by the increasing growth of embedded systems and a …