Keynote Speakers

Karl Henrik Johansson (KTH, Sweden), "Wireless Networked Control: Challenges and Opportunities in Road Transport Applications"
Bio: Karl Henrik Johansson is Director of the Stockholm Strategic Research Area ICT The Next Generation and Professor at the School of Electrical Engineering, KTH Royal Institute of Technology. He received MSc and PhD degrees in Electrical Engineering from Lund University. He has held visiting positions at UC Berkeley, Caltech, NTU, HKUST Institute of Advanced Studies, and NTNU. His research interests are in networked control systems, cyber-physical systems, and applications in transportation, energy, and automation. He is a member of the IEEE Control Systems Society Board of Governors and the European Control Association Council. He has received several best paper awards and other distinctions, including a ten-year Wallenberg Scholar Grant, a Senior Researcher Position with the Swedish Research Council, the Future Research Leader Award from the Swedish Foundation for Strategic Research, and the triennial Young Author Prize from IFAC. He is member of the Royal Swedish Academy of Engineering Sciences, Fellow of the IEEE, and IEEE Distinguished Lecturer.
Abstract of the talk: Freight transportation is of outmost importance for our society. Despite the influence the transportation system has on our energy consumption and the environment, road goods transportation is mainly done by individual long-haulage trucks with no real-time coordination or global optimization. In this talk, we will discuss how wireless communication technology supports a cyber-physical transportation system architecture with an integrated logistic system coordinating fleets of trucks traveling together in vehicle platoons. From the reduced air drag, platooning trucks traveling close together can save more than 10% of their fuel consumption. Control and estimation challenges and solutions on various level of this transportation system will be presented. It will be argued that a system architecture utilizing vehicle-to-vehicle and vehicle-to-infrastructure communication enable optimal and safe control of individual trucks as well as optimised vehicle fleet collaborations and new markets. Extensive experiments done on European highways will illustrate system performance and safety requirements. The presentation will be based on joint work over the last ten years with collaborators at KTH and at the truck manufacturer Scania.
Gian Pietro Picco (University of Trento, Italy), "Data Prediction + Synchronous Transmissions = Ultra-low Power Wireless Sensor Networks".
Bio: Gian Pietro Picco is a professor in the Department of Information Engineering and Computer Science (DISI) at the University of Trento, Italy. His research spans the fields of software engineering, middleware, and networking, and is oriented in particular toward wireless sensor networks, mobile computing, and large-scale distributed systems. He holds a European patent on a WSN-based adaptive lighting system for road tunnels. In terms of academic impact, Gian Pietro’s papers have 10200+ citations, with an h-index of 46 (based on Google Scholar). He has been the recipient of several awards, including a “Most Influential Paper” at ICSE’07 (for a paper published a decade earlier) and Best Paper Awards at IPSN (2009, 2011, 2015) and PerCom (2012). He is an associated editor for ACM Trans. on Sensor Networks (TOSN) and IEEE Trans. on Software Engineering (TSE).  Abstract of the talk: The premise for this talk is a 90-node wireless sensor network (WSN) deployment we completed a few years ago in a road tunnel, as part of a patented closed-loop, adaptive control system that reduced the energy consumption of the tunnel lighting system up to 50%. The WSN nodes lasted for 1.5 to 2 years, which met the original project goals. In this talk, however, we show how this real-world baseline can be extended by two orders of magnitude.
First, we replace the periodic reporting in our deployed system with one based on data prediction. At each node, a model predicts the sampled data; when the latter deviate from the current model, a new model is generated and sent to the data sink. Data prediction is known to achieve a remarkable suppression of application traffic; nevertheless, its interplay with the underlying WSN stack had never been ascertained, nor its feasibility on resource-scarce WSN devices. In contrast, our novel Derivative-Based Prediction (DBP) technique is simple, implementable on mote-class devices, and  performs better than the state of the art in 7 public datasets (including the one from our tunnel deployment) where it achieves a data suppression rate up to 99%. However, we also showed that, when executed atop a staple WSN stack (CTP + BoX-MAC), data prediction "only" achieves a 7x lifetime improvement due to the overhead of idle listening and topology maintenance. Therefore, we replace this staple stack with a novel one, called Crystal, we expressly design for data prediction.  Crystal exploits synchronous transmissions to quickly and reliably transmit data prediction model updates when these occur (infrequently but often concurrently), and minimizes overhead during the (frequent) periods with no updates. Based on 90-node experiments in the Indriya testbed and the same 7 public datasets above, we show that Crystal unleashes the full potential of data prediction, achieving per-mille duty cycle with perfect reliability and very small latency. In our original tunnel deployment, Crystal would achieve an 80x lifetime improvement, effectively achieving energy-neutrality with a software-only solution.
Martin Leucker (University of Lübeck, Germany), "Dependable systems with runtime verification".
Bio: Martin Leucker is Director of the Institute for Software Engineering and Programming Languages at the University of Lübeck, Germany. He obtained his Habilitation at TU München (awarded in 2007) while being a member of Manfred Broy’s group on Software and Systems Engineering. At TU Munich, he also worked as a Professor of Theoretical Computer Science and Software Reliability. Martin Leucker is the author of more than 100 reviewed conference and journal papers in software engineering, formal methods, and theoretical computer science. He is frequently a PC member of top-ranked conferences and has been the principal investigator in several research projects with industry participation, especially in the medical devices, automotive, and energy domains. Abstract of the talk: Runtime verification is a formal method for analyzing the execution of complex systems. To this end, monitors observing the system are synthesized from formal correctness specifications. The respective monitors may be used to detect anomalies of the overall system on which the system may be reconfigured. In this way, the dependability of the overall system may be increased. In this presentation, we recall the main ideas of runtime verification, mention recent trends, and show several possibilities for its application in engineering dependable systems.