CPS Week 2018 – Tutorial

Design of adaptive and secure CPS

Porto (Portugal), 10 April 2018

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 (https://www.cerbero-h2020.eu). 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. We believe that 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:

09:00 AM – 09:05 AM : Opening (Francesco Regazzoni)
09:05 AM – 09:50 AM : “CPS Requirements collection and formalization” (Michael Masin and Luca Pulina)
09:50 AM – 10:30 AM : “HW/SW Cyber-System Co-Design and Modelling” (Julio De Oliveira Filho)
10:30 AM – 11:00 AM : Coffee Break
11:00 AM – 11:45 AM : “Security Challenges in CPS” (Francesco Regazzoni)
11:45 AM – 12:25 PM : “Self-adaptation of Cyber Physical Systems” (Eduardo de la Torre and Francesca Palumbo)
12:25 PM – 12:30 PM : Session Closing (Francesco Regazzoni)

Speakers Bio:

Name: Eduardo de la Torre, Affiliation: Universidad Politécnica de Madrid, Madrid, Spain
“Self-adaptation of Cyber Physical Systems”
Short Bio: He is Associate Professor of Electronics since 2002, and obtained his MSC and PhD degrees in Electrical and Electronic Engineering from Universidad Politécnica de Madrid in 1989 and 2000, respectively. His main expertise is in FPGA-based embedded systems design and, in particular, on partial and dynamic reconfiguration of digital systems and reconfigurable Hardware acceleration. He has been working more than 25 years on digital systems design, among which more than 20 have been around FPGAs, mostly in industrial applications. He has more than 50 papers on reconfigurable systems in the last five years, and around 200 papers overall. He has been General Chair of the DASIP (2014) and ReCoSoC (2017) Conferences, as well as Program Co-Chair of ReCoSoC (2015), ReConFig (2012 and 2013), DASIP (2013), DCIS (2014) and SPIE VLSI Circuits & Systems (2009 and 2011). He is Program Committee member of Conferences such as FPL, ReCoSoC, RAW, WRC, ISVLSI, or SIES. He is also reviewer of numerous Conferences and Journals such as IEEE Transactions on Computers, IEEE Transactions on Industrial Informatics, IEEE Transactions on Industrial Electronics, or Sensor Magazine, Elsevier MICPRO. Currently he is involved in two European funded Projects, Enable-S3 (ECSEL JU) and Cerbero (H2020-ICT) as group leader, as well as a National funded project. All these three projects are on the topic of embedded reconfigurable CPSs, from which the ARTICo3 architecture is being enhanced and refined.

Name: Francesca Palumbo, Affiliation: University of Sassari, Sassari, Italy
“Self-adaptation of Cyber Physical Systems”
Short Bio: She is currently an assistant professor at the University of Sassari. She received her summa cum laude “Laurea Degree” in Electronic Engineering in 2005 at the University of Cagliari, then attended the Master Advanced in Embedded System Design in 2006 at the Advanced Learning and Research Institute of the University of Lugano before starting her Ph.D. in Electronic and Computer Engineering at the University of Cagliari. Her research focus is related to reconfigurable systems and to code generation tools and design automation strategies for advanced reconfigurable hardware architectures. For her studies in the fields of dataflow-based programming and hardware customization, she received two Best Paper Awards at the Conference on Design and Architectures for Signal and Image Processing, respectively in 2011 and in 2015. At the moment, Dr. Palumbo is the scientific coordinator of the CERBERO (ID: 732105) H2020 European Project on Smart Cyber Physical System Design, member of the steering committee of the ACM Conference on Computing Frontiers and of the editorial board of the Springer Journal of Signal Processing Systems

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
“Hw/Sw Cyber-System Co-design and Modelling”
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: Karol Desnos, Affiliation: INSA de Rennes, Rennes, France
“Hw/Sw Cyber-System Co-design and Modelling”
Short Bio: He is an associate professor at the National Institute of Applied Science (INSA) of Rennes. He holds a joint appointement at the Institute of Electronics and Telecommunications of Rennes (IETR). He obtained his PhD in Signal and Image Processing from the INSA Rennes in 2014. His research interests focus on dataflow models of computation and associated implementation techniques for the rapid prototyping of applications running on heterogeneous MPSoCs. Since 2011, he contributes to the development of the PREESM open-source rapid prototyping. Karol co-authored more than 20 articles in peer-reviewed international journals and conferences. He has served as a member of the technical program committee of 3 international conferences (SiPS, DASIP, ASR-MOV). He has been actively involved in several projects including H2020 Project (CERBERO), French ANR Projects (COMPA, ARTEFACT), U.S. NSF Project (COMPACTS-SL-MODELS), and a young researcher project funded by the French research society “GdR ISIS” (MORDRED) which he leads.

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

“CPS Requirements collection and formalization”
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

“CPS Requirements collection and formalization”
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.