Bounding the end-to-end latency of processing chains in distributed real-time systems is a
wellstudied problem, relevant in multiple industrial fields, such as automotive systems and …

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) …

We present a framework (Real-Time Calculus) for analysing various system properties
pertaining to timing analysis, loads on various components and on-chip buffer memory …

Abstract System level performance analysis methods play an important role in the design
process of complex embedded systems. They allow to analyze essential performance …

Multiprocessor system on chip designs use complex on-chip networks to integrate different
programmable processor cores, specialized memories, and other components on a single …

During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

This article presents a general framework to analyze and design embedded systems
minimizing the energy consumption without violating timing requirements. A set of realistic …

Considered a standard industry resource, the Embedded Systems Handbook provided
researchers and technicians with the authoritative information needed to launch a wealth of …

Motivated by a string of recent errata, the paper argues that mechanized, yet readable
schedulability proofs are desirable, feasible to create with current tools and with reasonable …