SEsCPS 2019

SEsCPS 2019

5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'19)

In conjunction with ICSE 2019, Montreal, Canada on May 25 – May 31, 2019

Workshop programme available

Slides inroducing the group discussion and topic can be downloaded here.

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.