Hipeac 2019 – Tutorial

DAS-CPS: Design of adaptive and secure CPS

Valencia (Spain), 21 January 2019

Description:

Cyber-Physical Systems (CPS) tight couple cyber components (used for computation and communication) with physical components (used for sensing and actuation). These system are extremely heterogeneous and require novel methods and tools to capture the requirements and the constraints and to formalize them.

CPSs are often operated in a dynamic environment, where self-adaptation is a crucial feature to ensure reliability and tolerance to possible faults. Finally, CPSs are increasingly used for controlling our critical infrastructure and to augment our lives, imposing extremely high security requirements.

This tutorial addresses the problem of designing adaptive and secure cyber-physical systems, presenting the approach studied and developed withing the framework of the H2020 CERBERO project. Existing design methods for cyber-physical systems have proven to not be completely effective for capturing both cyber and physical requirements, pushing for novel requirements elicitation techniques. State of the art tools do not support adaptation efficiently (or do not support it at all) and do not address security issues caused by the widespread diffusion of CPS in our everyday life.

It is of crucial importance that designers of CPS are completely aware of the most important challenges and of the most updated design techniques and tools to cope with the complexity of CPS in a correct and effective way. Talks in this tutorial will present novel methodologies for capturing the system requirements, will revisit hardware/software co-desing under the light of cyber-physical systems, will present security challenges specific to CPSs and will introduce methodologies and design tools for efficiently support adaptation.

Intended audience (subject area and level of expertise):

This tutorial targets designers and users of cyber-physical system. The attendees will learn about the main methodologies and tools for designing CPS and will be introduced to the most recent security challenges. The design of adaptive and secure CPS will be presented using meaningful and realistic cases of study. No previous knowledge o the topic is required from the attendees.

The tutorial includes the following talks:

• CPS Requirements collection and formalization
• HW/SW Cyber-System Co-Design and Modelling
• Security Challenges in CPS
• Self-adaptation of Cyber Physical Systems

Program:

10:00 AM: Opening (Francesco Regazzoni)
10:00 AM – 10:30 AM : “CPS Requirements collection and formalization” (Michael Masin and Luca Pulina)
10:30 AM – 11:00 AM : “HW/SW Cyber-System Co-Design and Modelling” (Julio De Oliveira Filho)”
11:00 AM – 11:30 AM : Coffee Break
11:30 AM – 12:10 PM : “Security Challenges in CPS” (Francesco Regazzoni)”
12:10 PM – 12:50 PM : “Self-adaptation of Cyber Physical Systems” (Tiziana Fanni and Alfonso Rodriguez)
12:50 PM – 13:00 PM: Questions and Session Closing (Francesco Regazzoni)

Speakers Bio:

Name: Alfonso Rodriguez, Affiliation: Universidad Politécnica de Madrid, Madrid, Spain

Short Bio: He received the BSc degree in industrial engineering and the MSc degree in industrial electronics from the Universidad Politécnica de Madrid (UPM), Madrid, Spain, in 2012 and 2014, respectively.  He is currently a full-time researcher and working toward the PhD degree in industrial electronics at Centro de Electrónica Industrial, UPM.  Under a HiPEAC collaboration grant, he was visiting researcher in the Computer Engineering Group at Universität Paderborn, where he worked on operating systems for reconfigurable computing.  His current research interests include artificial intelligence, high-performance embedded systems, and reconfigurable computing.

Name: Tiziana Fanni, Affiliation: University of Cagliari, Cagliari, Italy

Short Bio: She is currently a full-time researcher at the Department of Electrical and Electronic Engineering of the University of Cagliari. She received her degree in Electronic Engineering in 2014 at the University of Cagliari. In June 2014 she started to work on power saving methodologies in dataflow-based reconfigurable platforms. Her main research focus is related to reconfigurable systems design and development of code generation tools for low power reconfigurable hardware architectures.

Name: Francesco Regazzoni, Affiliation: ALaRI – USI, Lugano, Swizterland

Short Bio: Dr. Francesco Regazzoni is a senior researcher at the the ALaRI Institute of University of Lugano (Lugano, Switzerland). He received his Master of Science degree from Politecnico di Milano and his PhD degree at the ALaRI Institute of University of Lugano. He has been assistant researcher at the Université Catholique de Louvain and at Technical University of Delft, and visiting researcher at several institutions, including NEC Labs America, Ruhr University of Bochum, EPFL, and NTU Singapore. His research interests are mainly focused on embedded systems security, covering in particular side channel attacks, electronic design automation for security, hardware Trojans, and low energy cryptography. He has published more than 50 journal and conference papers in the area of security and design automation, (including CHES, DAC, DATE, and ASP-DAC) and has been in the technical program committed of top conferences of the area (including CHES, DATE, ICCAD, HOST, and COSADE).

Name: Julio De Oliveira Filho, Affiliation: TNO, Eindhoven, The Netherlands

Short Bio: He has been active in the research of large and distributed embedded systems for about 14 years. He obtained his BSc/MSc degree in Computer Engineering in 2004 at the Federal University of Pernambuce, in Brazil. Subsequently he performed a PhD research at the University of Tuebingen, Germany, and received his degree in [2008]. He was employed by the University of Tuebingen in the position of research assistant for 6 years. Since 2011, he is working at TNO as research and innovation scientist. His research activities are mainly in the field of large, distributed and autonomous systems. As a project manager he was involved in several national collaboration programmes and in two European ARTEMIS projects. He is (co-)author of about 20 scientific papers and holds 2 international patents.

Name: Michael Masin, Affiliation: IBM Research, Haifa, Israel

Short Bio: Dr. Michael Masin is a Research Staff Member in the Systems & IoT Engineering group at IBM Research – Haifa and has served as the technical lead, Principle Investigator and Coordinator for numerous projects, both with government and private customers. Michael’s research interests focus on the development of engineer-friendly tools and applications for deterministic and stochastic combinatorial multi-objective optimization. These include simulation and optimization-based engineering of complex systems and system of systems design, control, scheduling and logistics. Michael received his masters in mechanical engineering from the Moscow State University of Railway Transport, and then went on to get his masters and PhD in industrial engineering at the Technion – Israel Institute of Technology. He has published many papers in leading professional journals and conferences, filed 15 IBM patents, and continues to supervise graduate students at the Technion and Tel Aviv University.

Name: Luca Pulina, Affiliation: University of Sassari, Sassari, Italy

Short Bio: He is Associate Professor of Computer Science. He received a Ph.D. in Computer Engineering and Robotics from the University of Genoa, Italy, in 2009. His research activities focus on Automated Reasoning, Formal Verification and Knowledge Representation. He served in the organizing and technical program committee of several international conferences. He has (co-)authored more than fifty publications in peer-reviewed journals, international conferences, and workshops. He was involved as principal investigator of a regional project, while he participated in European and national projects.