You are here

Event Details

MP Associates, Inc.
SUNDAY October 15, 8:30am - 12:30pm | Peacock, 36F
EVENT TYPE: TUTORIAL
SESSION 3T
Beyond the Deadline: New Interfaces Between Control and Scheduling for the Design and Analysis of Critical Embedded Systems

Speakers:
Dirk Ziegenbein - Bosch Research
Steffen Linsenmayer - Univ. Stuttgart
Marco di Natale - Scuola Superiore Sant'Anna
Organizers:
Rolf Ernst - Technische Univ. Braunschweig
Rafik Henia - Thales Research and Technology
Sophie Quinton - INRIA
The objective of this tutorial is to put into perspective the role of deadlines in the design and analysis of critical embedded systems as well as to propose and discuss alternatives.

In current industrial practice, deadlines are used to isolate the control design process from the timing verification process. The control engineer can then work with idealized timing assumptions while the timing architect focuses on establishing that the specified deadline (derived from the sampling period) is always met. This use of deadlines as the interface between control and timing presents several limitations. First, the functional behavior of a system is influenced by timing effects such as sampling jitter even if deadlines are met. Second, and more importantly, requiring all deadlines to be met is an unnecessarily strong requirement.

There is a need for a more efficient approach to the co-design of industrial control applications between control engineering and real-time systems engineering. The purpose of this tutorial is to motivate and present state of the art and recent results in this direction. The invited speakers are academics and practitioners who are recognized experts in control and/or real-time systems design and verification working with new interfaces between these two worlds.

Biographies:

Rafik Henia graduated from the Technical University of Braunschweig (TUBS) in 2003. He worked as a research assistant at the Institute of Computer and Network Engineering at TUBS with research topics related to the timing verification for real-time embedded systems. Since 2009, he has been a Research Engineer at Thales Research and Technology France, Critical Embedded Systems Lab. He works on several R&D projects with Thales avionics, aerospace, telecommunication and defense divisions, whose goals deal with model-based performance design and verification of real-time embedded systems. He was involved in several national and European research projects.

Rolf Ernst received a diploma in computer science and a Dr.-Ing. in electrical engineering from the University of Erlangen-Nuremberg, Germany. He was a Member of Technical Staff in the Computer Aided Design & Test Laboratory at Bell Laboratories, Allentown, PA. Since 1990, he has been a professor of electrical engineering at the Technical University of Braunschweig, Germany, where he chairs a university institute of 50 researchers and staff covering embedded systems research from computer architecture and real-time systems theory to challenging automotive, aerospace, or smart building applications. His research is or was funded by national and European programs as well as by companies, such as BMW, Bosch, Daimler, Ford, GM, Toyota, Volkswagen, Intel, EADS, Siemens, or Thales. He chaired major events, such as ICCAD, DATE or ESWEEK. He is an IEEE Fellow, a DATE Fellow, and served as an ACM-SIGDA Distinguished Lecturer. He is a member of the German National Academy of Science and Engineering, acatech. He received the EDAA Lifetime Achievement Award 2014.

Sophie Quinton is a researcher at Inria Grenoble – Rhône-Alpes in France. She received her Ph.D. degree from the University of Grenoble, in 2011. She was a graduate research assistant at the VERIMAG laboratory and a postdoc in the Embedded System Design Automation group of the Institute of Computer and Network Engineering at TU Braunschweig. Her research focus is mostly on real-time schedulability analysis and contract-based design and verification of systems of components. She has been a PC member of a dozen conferences and workshops and has published in conferences such as CAV, RTSS, DATE, ECRTS, etc.

Dirk Ziegenbein studied Electrical Engineering at Technical University of Braunschweig and Virginia Tech. He received a Ph.D. at Technical University of Braunschweig for his dissertation on modeling and design of embedded systems. In 2002, Dirk Ziegenbein joined Bosch Research and worked on topics such as software component technology and scheduling analysis. From 2007 to 2012, he was responsible for the product management of embedded software engineering tools at ETAS GmbH. Then, Dirk Ziegenbein took over the roles of senior expert for embedded software design and analysis and section manager for software systems engineering at Bosch Research. Dirk Ziegenbein serves in various technical program committees as well as an expert for the European Commission.

Arne Hamann obtained his PhD in Computer Science in 2008 from the Technical University of Braunschweig, Germany. His PhD thesis was awarded the EDAA Outstanding Dissertation Award 2009 in the category “New directions in embedded system design and embedded software”. Currently, Arne Hamann is working for Bosch Corporate Research in the division of “Software-intensive Systems”. There, he acts as senior expert for real-time system design principles for physically dominated embedded systems. Additionally, he is in charge of the Bosch-internal project researching into novel model-centric system and software design methods for multi-core systems. In the academic context, he is member of the editorial board of the ACM journal “Transactions on Cyber Physical Systems”, and regularly serves as program committee members for international conferences such as ECRTS, DAC, EMSOFT, and ETFA.