SIES 2018

13th International Symposium on Industrial Embedded Systems


June 06 – 08, 2018, Graz, Austria, ICT for a Dependable Internet of Things

2nd Symposium on Dependable Internet of Things


05 June 2018, Graz, Austria

Invited Keynote Speakers

Lothar Thiele (Swiss Federal Institute of Technology Zurich)

"Internet of Things - The Quest for Trust"

Bio: Lothar Thiele  joined ETH Zurich, Switzerland, as a full Professor of Computer Engineering, in 1994.
His research interests include models, methods and software tools for the design of embedded systems, cyberphysical systems, sensor networks, embedded software and bioinspired optimization techniques.
Lothar Thiele is associate editor of INTEGRATION - the VLSI Journal, Journal of Signal Processing Systems, IEEE Transaction on Industrial Informatics, Journal of Systems Architecture, IEEE Transactions on Evolutionary Computation, Journal of Real-Time Systems, ACM Transactions on Sensor Networks, and ACM Transactions on Cyberphysical Systems.
In 1986 he received the "Dissertation Award" of the Technical University of Munich, in 1987, the "Outstanding Young Author Award" of the IEEE Circuits and Systems Society, in 1988, the Browder J. Thompson Memorial Award of the IEEE, and in 2000-2001, the "IBM Faculty Partnership Award". In 2004, he joined the German Academy of Sciences Leopoldina. In 2005, he was the recipient of the Honorary Blaise Pascal Chair of University Leiden, The Netherlands. Since 2009 he is a member of the Foundation Board of Hasler Foundation, Switzerland. Since 2010, he is a member of the Academia Europaea. In 2013, he joined the National Research Council of the Swiss National Science Foundation. Lothar Thiele received the "EDAA Lifetime Achievement Award" in 2015. Since 2017, Lothar Thiele is Associate Vice President of ETH for Digital Transformation.

Abstract of the talk: If visions and forecasts of industry come true then we will be soon surrounded by billions of interconnected embedded devices. We will interact with them in a cyber-human symbiosis, they will not only observe us but also our environment, and they will be part of many visible and ubiquitous objects around us. We have the legitimate expectation that the individual devices as well as the overall system behaves in a reliable and predictable manner. This is an indispensable requirement as it is infeasible to constantly maintain such a large set of devices. In addition, there are many application domains where we rely on a correct and fault-free system behavior. We expect trustworthy results from sensing, computation, communication and actuation due to economic importance or even catastrophic consequences if the overall system is not working correctly, e.g., in industrial automation, distributed control of energy systems, surveillance, medical applications, or early warning scenarios in the context of building safety or environmental catastrophes. Finally, trustworthiness and reliability are mandatory for the societal acceptance of human-cyber interaction and cooperation. It will be argued that we need novel architectural concepts, an associated design process and validations strategies to satisfy the strongly conflicting requirements and associated design challenges of platforms for CPS: Handle at the same time limited available resources, adaptive run-time behavior, and predictability. These challenges concern all components of an IoT system, e.g., computation, storage, wireless communication, energy management, harvesting, sensing and sensor interfaces, and actuation. The talk will be driven by examples from various application domains such as smart watches, zero-power systems, environmental sensing, and air pollution sensing.

 

Daniel Lohmann (Leibniz University Hannover)

"Tailorable System Software for the Internet of Things: Rethinking the HW–SW Bridge"

Bio: Daniel Lohmann received his diploma (Dipl.-Inform.) from Universität Koblenz, Germany in 2002. In 2003 he joined the group of Wolfgang Schröder-Preikschat at Friedrich-Alexander-Universität Erlangen-Nürnberg, where he received his PhD (Dr.-Ing.) in 2009 and his venia legendi (Dr.-Ing. habil.) in 2014. Since 2017 he is full professor and head of the Systems Research and Architecture (SRA) group at Leibniz Universität Hannover.

Prof. Lohmann's research activities are centered around the architecture of computing systems: From hardware over system software up to languages and compilers. His work targets fundamental research for special-purpose systems that have to cope with tight demands regarding nonfunctional properties, such as noise reduction, timeliness, robustness and hardware resources. Focus is on constructive methods for the design and development of versatile (real-time) operating systems that provide an extreme degree of (automatic) tailorability towards concrete (nonfunctional) application requirements and hardware properties.
Prof. Lohmann is a member of GI, EuroSys, ACM, and IEEE. 
https://sra.uni-hannover.de/

Abstract of the talk: System software provides no business value of its own. Its utility and sole purpose is to serve a concrete application's needs, that is, to map the functional and nonfunctional requirements of a particular software precisely and efficiently to the functional and nonfunctional properties offered by the employed hardware.
This is particularly challenging in the case of highly heterogeneous, but special-purpose systems, such as embedded control systems for the internet of things: Efficiency calls for specific, hand-crafted system software; reuseability demands generic, versatile solutions. Automatic tailoring is the key: In the talk I adress static and dynamic analysis techniques to analyze the application's specific requirements in order to automatically generate application-specific instances of system software that, in the extreme cases, could even be pushed down directly into the hardware.

Speakers from the Dependable IoT Project

Klaus Witrisal (TU Graz) from Subproject 1 (Dependable Wireless Communication and Localization)

"High-accuracy Positioning in Indoor Environments: Location-Awareness for Industrial Applications"

© TU Graz Lunghammer

© TU Graz Lunghammer

  

 

Bio: Klaus Witrisal received the Dipl.-Ing. degree in electrical engineering from Graz University of Technology, Graz, Austria, in 1997, the Ph.D. degree (cum laude) from Delft University of Technology, Delft, The Netherlands, in 2002, and the Habilitation from Graz University of Technology in 2009.

He is currently an Associate Professor at the Signal Processing and Speech Communication Laboratory (SPSC) of Graz University of Technology and head of the Christian Doppler Laboratory for Location-aare Electronic Systems. His research interests are in signal processing for wireless communications, propagation channel modeling, and positioning.

Klaus Witrisal served as an associate editor of IEEE Communications Letters, co-chair of the TWG “Indoor” of the COST Action IC1004, cochair of the EWG “Localisation and Tracking” of the COST Action CA15104, leading chair of the IEEE Workshop on Advances in Network Localization and Navigation (ANLN), and TPC (co)-chair of the Workshop on Positioning, Navigation and Communication (WPNC).

Abstract of the talk: Highly accurate and reliable indoor positioning---at accuracy levels in the 10~cm range---will enable a  large a number of innovative location-based applications because such accuracy levels essentially allow for a useful real-time interaction of humans and cyber-physical systems. Activity recognition, navigation at "shelf" level, geofencing, process monitoring and process control are among the envisioned services that will yield numerous applications in various domains, such as manufacturing and logistics. This talk reviews the difficulties faced by indoor positioning systems, motivating the requirement for a large signal bandwidth and how it can be compensated by multi-antenna systems. The foreseen capabilities of upcoming generations of wireless systems will increasingly make high-accuracy positioning available in near future.

 

Marcel Baunach (TU Graz) from Subproject 2 (Dependable Computing)

"Compositional Computing Platforms for the Internet of Things"

Bio: Marcel Baunach is professor for "Embedded Automotive Systems" and head of the corresponding working group at the Institute for Technical Informatics at Graz University of Technology, Austria. He received his Diploma and PhD from the University of Würzburg, Germany. There he also founded the research area "Wireless Sensor/Actuator Networks" with a focus on Operating Systems, Radio Communication, and Indoor Localization. In 2011 he changed to the automotive industry as head of hardware development for "Automotive Diagnostics". In 2013 he returned to academia and joined Graz University of Technology.

His research area is the dynamic composition of hardware and software for embedded systems – both at development time and at runtime. Focus is on the co-design of adaptive multi-core microcontrollers and operating systems, as well as on related programming paradigms for highly dependable and dynamically changeable real-time applications. Application areas comprise the Internet of Things, autonomous driving, future production systems, smart robotics, etc.

Abstract of the talk:  A central requirement of tomorrow’s Internet of Things is the ability to execute modular but continuously changing software dependably on an unprecedented number of heterogeneous IoT devices. Dependable execution in particular means that the software composition can be modified at runtime for updating services and functions (maintenance), while operations are still completed within guaranteed response times (real-time) and the devices are not altered or compromised due to environmental perturbation or deliberate attacks (security, safety). This talk addresses novel approaches in hardware and software that aim on co-designing OS kernels and MCU architectures for the IoT setting of physical attacks on compositional real-time systems.

 

Bernhard K. Aichernig (TU Graz) from Subproject 3 (Dependable Composition)

"Smart Testing of IoT Protocols - Combining Model Learning and Model-based Testing"

Bio: Bernhard K. Aichernig is a tenured associate professor at Graz University of Technology, Austria. He investigates the foundations of software engineering for realising dependable computer-based systems. Bernhard is an expert in formal methods and testing. His research covers a variety of areas combining falsification, verification and abstraction techniques. Current topics include the Internet of Things, model learning, and statistical model checking. Since 2006, he
participated in four European projects. From 2004-2016 Bernhard served as a board member of Formal Methods Europe, the association that organises the Formal Methods symposia. From 2002 to 2006 he had a faculty position at the United Nations University in Macao S.A.R., China. Bernhard holds a habilitation in Practical Computer Science and Formal Methods, a doctorate, and a diploma engineer degree from Graz University of Technology.

Abstract of the talk:  Testing has always been a challenge due to (1) its incompleteness by nature, (2) the lack of good specifications and (3) by its high demand for resources. With the growing complexity of the systems-under-test the situation is not likely to improve. The combination of model-learning with model-based testing offers an opportunity to
master this complexity. In my talk I will introduce this line of research and report about our recent results including applications in the Internet of Things.  Our goal is a natural evolution of testing: with the trend of our environment becoming "smarter", e.g. smart homes, smart cars, smart production, smart energy, our testing process needs to become smart as well. We are seeing the advent of smart testing.

 

Martin Horn (TU Graz) from Subproject 4 (Dependable Control)

"Sliding-Mode Control for Networked Control Systes - Theory and Applications"

Bio: From 2003 to 2008 Martin Horn was associate professor at the Institute of Automation and Control at Graz University of Technology. In 2008 he was appointed as a full professor of Control and Measurement Systems at the Faculty of Technical Sciences of Klagenfurt University. Since 2014 he is head of the Institute of Automation and Control at Graz University of Technology.

Martin’s main research areas are currently in robust and networked control theory. He participates in several international research projects. He is head of a newly founded research lab focusing on application-oriented basic research in the field of Model Based Control of Complex Testbed Systems. He is reviewer for several important journals, such as International Journal of Control, International Journal of Robust and Nonlinear Control, IEEE/ASME Transactions on Mechatronics or Control Engineering Practice. Martin is author and co-author of numerous journal and conference papers. He has been co-operating with a number of research groups, e.g., in Germany, Mexico and Italy.

Abstract of the talk: In networked control systems, spatially distributed plants and control algorithms are connected via shared media to reduce wiring costs and to enable increased flexibility. However, the presence of a communication network in the feedback loop makes it necessary to re-evaluate conventional control theories. Sliding-mode control is one such classical controller synthesis approach. It is known to render feedback loops immune with respect to certain classes of disturbances. This talk gives an overview of sliding-mode based algorithms for networked systems developed by our research group.

Submission Link

Paper Submission


Important Dates

Regular Papers

Paper Submission

March 11, 2018 (extended, hard)

Notification

April 9, 2018

Camera Ready

May 4, 2018

Work-in-Progress Papers and Posters

Paper Submission

April 18, 2018 (extended, hard)

Notification

April 26, 2018

Camera Ready

May 4, 2018