|
Electronic
Systems Design Seminar
|
|
A Compositional Approach to
Embedded
|
Embedded systems
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
challenges.
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.
From
'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
Distinguished
Lecturer.
His current research interests include embedded system architectures,
hardware-/software co-design, real-time systems, and embedded systems
engineering.