Welcome and Keynote (8:30 – 9:45)
A Fundamental Look at Models and Intelligence
Edward A. Lee (EECS Department, UC Berkeley)
Models are central to building confidence in cyber-physical systems.
Hybrid systems theories, interface theories, formal semantics,
concurrent models of computation, component models, and ontologies all
augment classical software engineering techniques such as
object-oriented design to catch errors and to make systems more modular
and composable. Every model lives within a modeling framework, ideally
giving semantics to the model, and many modeling frameworks have been
developed that enable rigorous analysis and proof of properties. But
every such modeling framework is an imperfect mirror of reality. An
engineered system operating in the physical world may or may not
accurately reflect behaviors predicted by a model, and the model may not
reflect behaviors that are critical to correct operation of the system.
Software in a cyber-physical system, for example, has timing properties
that are rarely represented in formal models. As artificial intelligence
gets more widely used, the problem gets worse, with predictability and
explainability seemingly evaporating. In this talk, I will examine the
limitations in the use of models. I will show that two very different
classes of models are used in practice, classes that I call "scientific
models" and "engineering models." These two classes have complementary
properties, and many misuses of models stem from confusion about which
class is being used. Scientific models of intelligent systems are very
different from engineering models.
Session #1: Modeling (9:45 – 10:30)
Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges
Radu Calinescu, Javier C´amara and Colin Paterson
Department of Computer Science, University of York, UK
Towards Bridging the Gap Between Model- and Data- Driven Tool Suites for Cyber-Physical Systems
Qishen Zhang, Tamas Kecskes, Janos Mathe and Janos Sztipanovits
Vanderbilt University, USA
Modeling Semantic Dependencies to allow Flow Monitoring in Networks with Black-box Nodes
Stefan Gries, Julius Ollesch and Volker Gruhn
University of Duisburg-Essen, Germany; IBM, Germany
--- Break (10:30 – 11:00) ---
Session #2: Simulation (11:00 – 11:30)
Multi-Agent Human Activity Simulation in Indoor Spaces
Yiji Zhao, Farnoosh Fatemi Pour, Shadan Golestan, Eleni Stroulia
University of Alberta, Canada
Reference Framework for Digital Twins within Cyber-Physical Systems
Klementina Josifovska, Enes Yigitbas and Gregor Engels
Paderborn University, Germany
Session #3: Security and Trustworthiness (11:30 – 12:30)
Decentralized Access Control for Smart Buildings Using Metadata and Smart Contracts
Leepakshi Bindra, Changyuan Lin, Eleni Stroulia and Omid Ardakanian
University of Alberta, Canada
Learning-based Adversarial Agent Detection and Identification in Cyber Physical Systems applied to Autonomous Vehicular Platoon
Eshaan Khanapuri, Tarun Chintalapati, Rajnikant Sharma and Ryan Gerdes
University of Cincinnati, USA
A Just Culture is Fundamental: Extending Security Ergonomics by Design
Barnaby Craggs
University of Bristol, UK
Understanding Security Requirements for Industrial Control System Supply Chains
Ye Hou, Jose Such and Awais Rashid
Lancaster University, UK; King's College London, UK; University of Bristol, UK
--- Lunch (12:30 – 14:00) ---
Session #4: Breakout Groups (14:00 – 15:30)
Participants are invited to identify key challenges arising from the research and reference problems presented in the morning, and explore these in depth in discussion groups.
--- Break (15:30 – 16:00) ---
Session #5: Breakout Groups and Plenary Discussion (16:00 – 17:30)
Participants will present results from the breakout groups on hot topics, and work together to consolidate recommendations for future work. The output will be the basis of a public report.
