Electronic Systems Design Seminar
http://www-cad.eecs.berkeley.edu/esd-seminar


 Rolf Ernst

A Compositional Approach to Embedded
System Performance Analysis

Prof. Rolf Ernst
Computer and Communication Network Engineering Lab,
Technical University of Braunschweig, Germany

Monday, September 29th, 2003, 4pm - 5pm
540A/B Cory Hall (D.O.P. Center Classroom)

Abstract

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.

Speaker

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.



You are not logged in 
Contact 
©2002-2017 U.C. Regents