Keynote & Plenary Invited Talks

Professor & Chair of Embedded Systems
The Goethe University Frankfurt am Main, Germany

Wolfgang Kastner

Professor, Automation Systems
The Institute of Computer Engineering
Vienna University of Technology, Austria

Professor of Embedded Systems
Division for Embedded Systems
University of Siegen, Germany

Professor of Electrical and Computer Engineering
Computational Intelligence Laboratory & Department of Electrical and Computer Engineering
University of Louisville, USA

Professor of Economics and International Business
Leonard N. Stern School of Business, NYU, New York, USA

Professor of Computing Systems
Fellow of Trinity College
University of Oxford, UK

Edgar L. and Harold H. Buttner Chair & Professor
of Electrical Engineering and Computer Sciences
University of California at Berkeley, USA

brinks

The Artificial Hormone System and the Artificial DNA: an Organic Computing approach to handle complex dynamic systems

Uwe Brinkschulte

Professor & Chair of Embedded Systems, the Goethe University Frankfurt am Main, Germany

Abstract: Embedded systems are growing very complex and dynamic because of the increasing chip integration density, larger number of chips in distributed applications and demanding application fields e.g. in cars or households. Bio-inspired techniques like self-organization and emergence are a key feature to handle this complexity. Organic Computing [1] has been introduced as a research focus to devolve such techniques to embedded systems. Its basic aim is to improve the control of complex embedded systems by using organization principles found in organic entities. This approach allows systems to dynamically adapt to changing operational conditions, realizing self-x properties at run-time. It leads to significant advantages like reduced development efforts, increased adaptability and robustness.

The artificial hormone system (AHS) [2] and the artificial DNA (ADNA) [3] have been developed as such a bio-inspired approach. They allow the implementation of completely decentralized self- organizing and self-building distributed embedded real-time systems. The ADNA represents the building plan for the system stored in each node of the distributed structure. It is inspired by the biological DNA, where the building plan of an organism is stored in each cell. Having the complete building plan of the distributed system available in each node allows to setup the system at runtime, adapt it to the currently available nodes and reconstruct it in case of system failures. The AHS manages the decentralized allocation of the components (tasks) of the building plan to the nodes. It mimics the biological endocrine system by representing hormones as short messages spread between the nodes. Antagonistic hormones form robust closed control loops. Component allocation is controlled by reaching a hormone balance. A disturbance of this balance by changes in the environment or system failures therefore is automatically counteracted. The combination of ADNA and AHS result in self-building, self-adaptation and self-healing features, which enable the creation of very robust and flexible distributed dynamic embedded systems.

[1] Schmeck, H.: Organic Computing – A New Vision for Distributed Embedded Systems. In: 8th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005). pp. 201– 203. Seattle, USA (May 2005)
[2] Brinkschulte, U., Pacher, M., v. Renteln, A.: An Artificial Hormone System for Self-Organizing Real-Time Task Allocation in Organic Middleware. In: Organic Computing. Springer (2008)
[3] Brinkschulte, U.: Prototypic implementation and evaluation of an artificial dna for self-descripting and self-building embedded systems. Springer EURASIP Journal on Embedded Systems (February 2017), https://jes-eurasipjournals.springeropen.com/articles/10.1186/s13639-016-0066-2

Biography: Uwe Brinkschulte received his Dipl.-Ing. degree in electrical engineering in 1982 and his Dr.rer.nat. degree in 1990 from the University of Karlsruhe, Germany. In 1993 he became professor in computer science of the University of Applied Science in Heidelberg. In 1995 he became full professor at the University of Karlsruhe. Since 2008, he is full professor and chair of Embedded Systems at the Goethe University Frankfurt am Main.

His current research interest are in self-organizing and dependable embedded systems and Organic Computing.

luis_cabral

Luís Cabral

Professor of Economics and International Business, Leonard N. Stern
School of Business, NYU, New York, USA

Biodata: Luís Cabral graduated from Stanford University (PhD, Economics, 1989) and is currently the Paganelli-Bull Professor of Economics and Chair of the Economics Department, both at NYU’s Stern School of Business. His research interests include the dynamics of firm competition, both from the antitrust and from the strategy perspectives, and has a focus on the media and entertainment industries. In addition to various journal articles, he is the author of Introduction to Industrial Organization, a textbook translated and adopted by universities in dozens of countries worldwide.

Marta Kwiatkowska

Professor of Computing Systems and Fellow of Trinity College, University of Oxford, UK

Biography: Marta Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College, University of Oxford. She is known for fundamental contributions to the theory and practice of model checking for probabilistic systems, focusing on automated techniques for verification and synthesis from quantitative specifications. She led the development of the PRISM model checker (www.prismmodelchecker.org), the leading software tool in the area and winner of the HVC Award 2016.

Probabilistic model checking has been adopted in diverse fields, including distributed computing, wireless networks, security, robotics, healthcare, systems biology, DNA computing and nanotechnology, with genuine flaws found and corrected in real-world protocols. Kwiatkowska is the first female winner of the Royal Society Milner Award and was awarded an honorary doctorate from KTH Royal Institute of Technology in Stockholm. She won two ERC Advanced Grants, VERIWARE and FUN2MODEL, and is a coinvestigator of the EPSRC Programme Grant on Mobile Autonomy.

Kwiatkowska is a Fellow of the Royal Society, Fellow of ACM and Member of Academia Europea.

Adaptive Context Dependent Electronic Systems for Autonomous Ground- and Air-transport Systems

Adaptive Time-Triggered Multi-Core Architecture for Context Awareness, Energy-Efficiency and Robustness in Mixed-Criticality Systems

Roman Obermaisser

University of Siegen, Germany

Abstract: In recent years the field of safety-critical embedded systems has evolved towards novel application areas that combine stringent real-time constraints, reliability requirements and the need for runtime adaptation. Adaptation is a key factor for energy management, fault tolerance using fault recovery and service degradation. Adaptation also enables the dynamic incorporation of new components into the system based on an open-world assumption. Examples are autonomous ground- and air-transport systems, Ambient-Assisted Living (AAL) systems for elderly care, networked medical devices and health management systems, applications for electrical power distribution and command/control systems. These systems are based on an open-world assumption where new components are integrated at run-time in order to dynamically realize emerging global services. At the same time, reliable operation and support for stringent real-time requirements are essential to support closed-loop control and guaranteed response times. In conventional safety-critical systems, time-triggered architectures provide significant advantages for developing dependable systems. The coordination of message exchanges is based on a communication schedule and a global time base in protocols such as Time Sensitive Networking and Time-Triggered Ethernet, thereby improving the temporal predictability, fault containment and safety certification. However, static schedules are not suitable for constructing adaptive systems that must react to context events.  Adaptive time-triggered architectures offer a solution to overcome these limitations by establishing at runtime suitable time-triggered communication plans, thereby combining the benefits of predictability, fault containment and safety with the support for context-dependent adaptation. We present the Adaptive Time-Triggered Multi-Core Architecture (ATMA), which supports adaptation using multi-schedule graphs while preserving the key properties of time-triggered systems including implicit synchronization, temporal predictability and avoidance of resource conflicts. We highlight the overall architecture for safety-critical systems based on a time-triggered network-on-a-chip and time-triggered off-chip networks with building blocks for context agreement, adaptation and deployment. Context information is established in a globally consistent manner, providing the foundation for the temporally aligned switching of schedules in the network interfaces. A meta-scheduling algorithm computes schedule graphs and avoids state explosion by reconvergence horizons for context events. For each network interface, the relevant part of the schedule graph is efficiently stored using difference encodings and interpreted by the adaptation logic. Furthermore, artificial neural networks are trained with feasible schedules for different types of context events, thereby enabling at run-time the inference on schedule changes and the support for the open-world assumption. The architecture is evaluated using experimental scenarios and discussed for handling the requirements of autonomous ground- and air-transport systems.

Biography: Prof. Dr. Roman Obermaisser is full professor at the Division for Embedded Systems of University of Siegen. He has studied computer sciences at Vienna University of Technology, and received the Master’s degree in 2001. In February 2004, Roman Obermaisser has finished his doctoral studies in Computer Science with Prof. Hermann Kopetz at Vienna University of Technology as research advisor. In July 2009, Roman Obermaisser has received the habilitation (“Venia docendi”) certificate for Technical Computer Science. His research work focuses on system architectures for distributed embedded real-time systems. He wrote a book on an integrated time-triggered architecture published by Springer-Verlag, USA. He is the author of several journal papers and conference publications. He has also participated in numerous EU research projects (e.g., SAFEPOWER, universAAL, DECOS, NextTTA) and was the coordinator of the European research projects DREAMS, GENESYS and ACROSS.

Alberto L. Sangiovanni-Vincentelli

Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences
University of California at Berkeley, USA

Biography: Prof. Alberto Sangiovanni Vincentelli is the Edgar L. and Harold H. Buttner Chair of Electrical Engineering and Computer Sciences at the University of California at Berkeley. He is an author of over 800 papers, 17 books and 2 patents in the area of design tools and methodologies, large scale systems, embedded systems, hybrid systems and innovation.

Prof. Sangiovanni-Vincentelli was a co-founder of Cadence Design Systems, Inc., San Jose, CA, USA; and Synopsys Inc., Mountain View, CA, USA – the leading Electronic Design Automation companies.

Prof. Sangiovanni-Vincentelli, IEEE Fellow and Member of the National Academy of Engineering, USA, received Kaufman Award from the IEEE Electronic Design Automation Council in 2001; IEEE/RSE Wolfson James Clerk Maxwell Medal in 2008; ACM/IEEE A. Richard Newton Technical Impact Award in Electronic Design Automation in 2009; EDA a Lifetime Achievement Award in 2012.

He is also on the Scientific Council of the Italian National Science Foundation (CNR), on the Executive Committee of the Italian Institute of Technology, and Chairperson of the Comitato Nazionale Garanti per la Ricerca, Italy.

Prof. Sangiovanni-Vincentelli was awarded in 2009 an Honorary Doctorate by the combined EE and CS departments of the University of Aalborg in Denmark. In 2012, he was given an Honorary Doctorate from KTH in Sweden.

Jacek M. Zurada

Computational Intelligence Laboratory & Department of Electrical and Computer Engineering
University of Louisville, USA

Biography: Dr. Jacek Zurada is a Professor of Electrical and Computer Engineering at the University of Louisville, Louisville, Kentucky, USA. He was a post-doc at Swiss Federal Institute of Technology, Zurich, a Visiting Professor at Princeton University, and a Distinguished Visiting Professor at NUS and NTU (Singapore). Dr. Zurada was 2014 vice president, IEEE Technical Activities, and president of the IEEE Computational Intelligence Society in 2004 and 2005. He was editor in chief of the IEEE Transactions on Neural Networks from 1998 to 2003 and chaired the IEEE Technical Activities Board (TAB) periodicals committee in 2010 and 2011.

He has authored several textbooks including the pioneering neural networks text and over 420 refereed publications in deep learning, neural networks and image/signal processing that have resulted in over 11,900 citations. He has advised 22 PhD students, now leaders in academia, Google, Facebook and Amazon. He has also served industry and start-ups as a consultant. Dr. Zurada has delivered over 160 invited plenary conference presentations and seminars, including Distinguished Lectures for three IEEE Societies. He received numerous IEEE, university and scholarly society awards for research, teaching and service. He was elected to the Polish Academy of Sciences and received six honorary doctorates and professorships.