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:
Marco di Natale - Scuola Superiore Sant'Anna
Steffen Linsenmayer - Univ. Stuttgart
Dirk Ziegenbein - Bosch Research
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:

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.

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.

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.

Marco Di Natale is an IEEE Senior member and Full Professor at the Scuola Superiore Sant’Anna, where he held the position of Director of the ReTiS Lab until 2006. He received his PhD from Scuola Superiore Sant’Anna, he was a visiting Researcher at the University of California, Berkeley in 2006 and 2008, and is currently visiting Fellow for the United Technologies corporation. He's been a researcher in the area of realtime and embedded systems for more than 20 years, being author or co-author of more than 200 scientific papers, winner of six best paper awards and one best presentation award.

Steffen Linsenmayer obtained his M.Sc. degree in Engineering Cybernetics from the University of Stuttgart, Germany. During his Master studies he had an Internship at Robert Bosch GmbH and a stay at KTH, Royal Institute of Technology in Stockholm, Sweden. Since 2015 he is a research and teaching assistant at the Institute for Systems Theory and Automatic Control and a doctoral student in the Graduate School Simulation Technology at the University of Stuttgart under the supervision of Frank Allgöwer. His main research interests are in the area of Networked Control Systems with a focus on suitable network abstractions.

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.