Bio: Roberto Passerone is an Associate Professor at the Department of Information Engineering and Computer Science at the University of Trento, Italy. He received his MS and PhD degrees in EECS from the University of California, Berkeley, in 1997 and 2004, respectively. Before joining the University of Trento, he was Research Scientist at Cadence Design Systems. Prof. Passerone has published numerous research papers on international conferences and journals in the area of design methods for systems and integrated circuits, formal models and design methodologies for embedded systems, with particular attention to image processing and wireless sensor networks. He was track chair for the Real-Time and Networked Embedded Systems at ETFA from 2008 to 2010, and general and program chair for SIES in several editions from 2010 to 2018. He has participated to various European projects on design methodologies, including SPEEDS, SPRINT, DANSE, DALi and ACANTO, and was local coordinator for ArtistDesign, COMBEST, and CyPhERS. Abstract of Talk: Architecture exploration of complex cyber-physical systems (CPSs) is an important part of the design flow as well as one of its major challenges. This work proposes a novel exploration methodology for system architectures at a high level of abstraction. We leverage optimization techniques to select correct-by-construction configuration and interconnection of components taken from predefined libraries, while meeting a set of system requirements and minimizing a cost function. Using a graph-based representation of the system architecture, we identify a common semantic domain of exploration problems as a set of decision variables and mixed integer linear constraints over graph vertices, edges and paths. In this domain, we are able to instantiate a variety of CPS design requirements, such as interconnection, balance, timing, reliability, workload and energy. Our resulting mathematical formulation is a mixed integer linear program (MILP) that includes the topology selection problem, i.e., whether a component should be used in the final configuration and how it is connected to other components, and the mapping problem, i.e., how the topology is implemented by library components.  We have implemented ArchEx [1], an extensible toolbox that supports all steps of the proposed methodology.  We demonstrate our methodology on diverse areas of application, including an aircraft power distribution network, a reconfigurable manufacturing system and a data collection sensor network.

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.

Picture: © 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).

Bio: Stefan Mangard is professor at Graz University of Technology since November 2013 and heading the secure systems group. Before he was working as leading security architect at Infineon Technologies in Munich. In this role he was responsible for defining the security concepts for all the smart card platforms. His research interests include security architectures, cryptography, as well as all kinds of side-channel attacks and corresponding countermeasures. He received an ERC consolidator grant in 2015 and he is chair of the steering committee of CHES, which is the foremost conference on cryptographic hardware and embedded systems. He is co-author of the Meltdown/Spectre attacks published in January this year. Abstract of talk: While the Internet of Things (IoT) enables a huge range of novel applications, also the security challenges arising by the deployment of IoT technologies are unprecedented. In fact, IoT devices are exposed to a wide range of attacks ranging from remote attacks via the network to local physical attacks. At the same time, the value of information that is collected and processed by IoT devices is continuously rising. This talk provides an overview of IoT security challenges. Besides focusing on classical security questions and countermeasures, the talk in particular also focusses on side-channel attacks, which allow bypassing security mechanisms by exploiting properties, such as the timing behavior or the power consumption, of the underlying hardware.

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.

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.