Welcome and Keynote (8:30 – 9:45)
Smart cyber-physical systems: Too big to fail, too smart to be secure? (keynote)
Eric Bodden (University of Paderborn, Germany)
Many industrialized nations are currently pushing for smart cyber-physical systems as a major hope for new revenue models. But such systems become smart through connectivity, which opens them up to a whole range of new attack vectors. One may ask: why are current software-heavy cyber-physical systems as insecure as they are? My answer would be: why shouldn’t they be? Many such systems are designed and engineered by companies who never developed software engineering as a core competency. And how should such companies succeed where even the most prominent software vendors struggle? In this talk I will discuss my view of the challenges in secure software engineering and how the inclusion of hardware brings a whole new set of challenges to the game. I will outline my vision of secure systems engineering and raise a set of challenges that need to be addressed to make this vision become reality.
Session #1: Formal modeling and Planning (9:45 – 10:30)
Adding Static and Dynamic Semantics to Building Information Models
Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale and Bashar Nuseibeh
Politecnico di Milano, Italy and Lero, Ireland
Constraint-based Graceful Degradation in Smart Grids
Pragya Kirti Gupta and Bernhard Schaetz
fortiss GmbH, Germany
Multiscale Time Abstractions for Long-Range Planning under Uncertainty
Roykrong Sukkerd, Javier Camara, David Garlan and Reid Simmons
Carnegie Mellon University, USA
--- Break (10:30 – 11:00) ---
Session #2: Safety and Security (11:00 – 12:00)
Model-Based Security Analysis of a Water Treatment System
Eunsuk Kang, Sridhar Adepu, Daniel Jackson and Aditya Mathur
Massachusetts Institute of Technology, USA and Singapore University of Technology and Design, Singapore
Imposing Security Awareness on Wearables
Charles Walter, Matthew Hale and Rose Gamble
University of Tulsa, USA and University of Nebraska at Omaha, USA
Towards State-of-the-Art and Future Trends in Testing of Active Safety Systems
Alessia Knauss, Christian Berger and Henrik Eriksson
Chalmers University of Technology, Sweden and University of Gothenburg, Sweden and SP Technical Research Institute of Sweden
On the Role of Latent Design Conditions in Cyber-Physical Systems Security
Sylvain Frey, Awais Rashid, Alberto Zanutto, Jerry Busby and Karolina Follis
Lancaster University, UK
Session #3: Frameworks (12:00 – 12:30)
A Development Framework for Programming Cyber-Physical Systems
Saurabh Chauhan, Pankesh Patel, Flavia Delicato and Sanjay Chaudhary
ABB Corporate Research, India and Ahmedabad University, India and Federal University of Rio de Janeiro, Brazil
Software Engineering for Distributed Autonomous Real-Time Systems
Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle and Horst Sauer
LMU Munich, Germany
--- Lunch (12:30 – 14:00) ---
Session #4: Breakout Groups (14:00 – 15:30)
--- Break (15:30 – 16:00) ---
Session #5: Breakout Groups and Plenary Discussion (16:00 – 17:30)