Systems Design Seminar
A Compositional Approach to
architectures are increasingly heterogeneous as a result of
specialization and reuse. Components and subsystems with vastly
different scheduling strategies and performance constraints are
combined in a single system leading to complex resource and timing
interdependencies. Today, performance verification is typically based
on timed simulation which is time consuming and incomplete. Hence,
reliable integration has become one of the key embedded system design
The talk presents a compositional approach to formal performance analysis that extends earlier work in real-time analysis to a scalable framework for heterogeneous systems analysis. It uses event stream models to compose a wide range of local techniques. Global end-to-end response times can be determined, as well as event arrival jitter and buffer sizes, for both acyclic and cyclic interdependencies. To demonstrate the capabilities, the approach is used to evaluate effects of simple flow control mechanisms.
Rolf Ernst received
a diploma in computer science and a Ph.D. in electrical engineering
from the University of Erlangen-Nuremberg, Germany, in '81 and '87.
'88 to '89, he was a Member of Technical Staff at Bell Laboratories,
Allentown, PA. Since '90, he has been a
professor of EE at the Technical University of Braunschweig,
Germany, where he heads the Institute of Computer and Communication
Networks Engineering. He is an IEEE Fellow and served as an ACM-SIGDA
His current research interests include embedded system architectures, hardware-/software co-design, real-time systems, and embedded systems engineering.