Prof. Edward A. Lee
University of California at Berkeley
Title: Trading off Consistency and Availability in Distributed Cyber-Physical Systems
Abstract – Cyber-physical systems (CPSs) are often safety-critical systems, where malfunctions imply risk to humans. As CPSs increasingly involve several componentsinteracting over networks, it becomes imperative to devise strategies that preserve safety in the face of network disruptions, whether caused by malicious intent or malfunctions. The classic “CAP Theorem,” due to Eric Brewer, states that in the face of network partitions (P), a system must give up either consistency (C) or availability (A). We have recently generalized and quantified this theorem. The generalization, called the “CAL Theorem,” gives a numerical relationship between network latency (L), consistency (C), and availability (A). The relationship takes the form of an elegant system of linear equations in a max-plus algebra. The CAL theorem shows that as network latency varies, for example when the network comes under attack, then either consistency or availability or both must also vary. I will show in this talk that a CPS must prioritize either availability or consistency and that which to prioritize depends very much on the application. I will show how the recently developed Lingua Franca coordination language enables designs that enforce these application-specific priorities and that gracefully handle fault conditions.
Biography – Edward A. Lee is Professor of the Graduate School and Distinguished Professor Emeritus in Electrical Engineering and Computer Sciences (EECS) at
the University of California at Berkeley, where he has been on the faculty since 1986. He is the author of seven books, some with several editions, including two for a general audience, and hundreds of papers and technical reports. Lee has delivered more than 200 keynotes
and other invited talks at venues worldwide and has graduated 40 PhD students. Professor Lee’s research group studies cyber-physical systems, which integrate physical dynamics
with software and networks. His focus is on the use of deterministic models as a central part of the engineering toolkit for such systems. He is the director of iCyPhy, the Berkeley Industrial Cyber-Physical Systems Research Center. From 2005-2008, he served as Chair of the EE Division and then Chair of the EECS Department at UC Berkeley. He has led the development of several influential open-source software packages, notably Ptolemy and Lingua Franca. He received his BS degree in 1979 from Yale University, with a double major in Computer Science and Engineering and Applied Science, an SM degree in EECS from MIT in 1981, and a Ph.D. in EECS from UC Berkeley in 1986. From 1979 to 1982 he was a member of technical staff at Bell Labs in Holmdel, New Jersey, in the Advanced Data Communications Laboratory. He is a co-founder of BDTI, Inc., where he is currently a Senior Technical Advisor, and has consulted for a number of other companies. He is a Fellow of the IEEE, was an NSF Presidential Young Investigator, won the 1997 Frederick Emmons Terman Award for Engineering Education, received the 2016 Outstanding Technical Achievement and Leadership Award from the IEEE Technical Committee on Real-Time Systems (TCRTS), the 2018 Berkeley Citation, the 2019 IEEE Technical Committee on Cyber-Physical Systems (TCCPS) Technical Achievement Award, the 2022 European Design and Automation Association (EDAA) Achievement Award, the 2022 ACM SIGBED Technical Achievement Award, and an Honorary Doctorate in Computer Science from the Technical University of Vienna.
Prof. Ernesto Damiani
Università degli Studi di Milano (Italy)
Title: Dynamic Data Pipelines along the Cloud Continuum
Abstract – In the past decade organizations operating in key domains like transportation, supply chain management and healthcare have taken their business processes to the cloud, with the aim of improving scalability, security and flexibility. Today, as peripheral devices become more autonomous and intelligent, the services they access must provide bounded response latency and higher throughput, as well as ubiquitous access. Furthermore, confidentiality, integrity and authenticity of device-to-service traffic need to be ensured. The 5G architecture promises to fulfil these requirements, supporting a “Cloud Continuum” that allows for micro-services deployment on the 5G operators’ core networks (edge-on-network) as a complement to classic cloud (and edge-on-premises) options. The talk describes the approach of the MUSA project to flexibly deliver data pipelines over 5G, involving run-time deployment of polymorphic containers, dynamic process orchestrations and device-to-service security.
Biography – Ernesto Damiani is a Full Professor at Università degli Studi di Milano (Italy), Senior Director of the Robotics and Intelligent Systems Institute, and Director of Center for Cyber Physical Systems (C2PS) within Khalifa University (UAE). He is the leader of the Big Data area at Etisalat British Telecom Innovation Center (EBTIC), and President of the Consortium of Italian Computer Science Universities (CINI). He is also part of the ENISA Ad-Hoc Working Group on Artificial Intelligence Cybersecurity. Ernesto’s areas of interest include cyber-physical systems, Big Data Analytics, Edge/Cloud security and performance, Artificial Intelligence, and Machine Learning. Ernesto Damiani has authored more than 700 Scopus-indexed publications and several patents. He has been a recipient of the Research and Innovation Award from the IEEE Technical Committee on Homeland Security , of the Stephen Yau Award from the Service Society, of the Outstanding contributions Award from IFIP TC2, of the Chester-Sall Award from IEEE IES, of the IEEE TCHS Research and Innovation Award, and of a doctorate honoris causa from INSA – Lyon (France) for his contribution to Big Data teaching and research..
Dustdar is recipient of multiple awards: IEEE TCSVC Outstanding Leadership Award (2018), IEEE TCSC Award for Excellence in Scalable Computing (2019), ACM Distinguished Scientist (2009), ACM Distinguished Speaker (2021), IBM Faculty Award (2012). He is an elected member of the Academia Europaea: The Academy of Europe, as well as an IEEE Fellow (2016) and an Asia-Pacific Artificial Intelligence Association (AAIA) Fellow (2021) and the AAIA president (2021).