SymTA/S is a system-level performance and timing analysis approach based on formal
scheduling analysis techniques and symbolic simulation. The tool supports heterogeneous …

Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …

A large part of safety-critical embedded systems has to satisfy hard real-time constraints.
These need sound methods and tools to derive run-time guarantees that are not only …

Models of computation (MoC) are reviewed and organised with respect to the time
abstraction they use. Continuous time, discrete time, synchronous and untimed MoCs are …

We present an analytical method to evaluate embedded network packet processor
architectures, and to explore their design space. Our approach is in contrast to those based …

Advances in microelectronics allow the integration of more and more functionality on a
single chip. Emerging system-on-a-chip architectures include a large amount of …

The analysis of real-time properties of an embedded system usually relies on the worst-case
execution times (WCET) of the tasks to be executed. In contrast to that, in real world …

We present a performance analysis technique for distributed real-time systems in a setting
where certain components are modeled in a purely functional manner, while the remaining …

Most existing performance analysis techniques for multi-processor systems with dynamic
scheduling assume simple task dependencies. In realistic system, task dependencies are …

Performance verification is key during the design of embedded systems. It must be ensured
that a system meets all performance constraints, in particular hard real-time constraints. The …