Program
Program
- 9:00 - 9:15 Introduction (Antonio Bucchiarone)
Engineering CAS
- 9:15 - 9:45: "Model-driven Engineering of Decentralized Control in Cyber-Physical Systems". Mirko D'Angelo, Mauro Caporuscio and Annalisa Napolitano.
- 9:45 - 10:15: "Towards a Foundational API for Resilient Distributed Systems Design". Matteo Francia, Danilo Pianini, Jacob Beal and Mirko Viroli.
- 10:30 - 11:00 Coffee Break
- 11:00 - 11:30: "Towards a Domain Specific Language for Engineering Collective Adaptive Systems". Antonio Bucchiarone, Antonio Cicchetti and Martina De Sanctis.
- 11:30 - 12:00: "For Flux Sake: The Confluence of Socially- and Biologically-Inspired Computing for Engineering Change in Open Systems". Jeremy Pitt and Emma Hart.
- 12:00 - 12:30: "Configuration Management for QoS Adaptation in Multivehicle Cruise Control Systems". Arun Adiththan and Kaliappa Ravindran.
- 12:30 - 14:00 Lunch
Management and Optimization of CAS
- 14:00 - 14:30: "RoleDiSCo: A Middleware Architecture and Implementation for Coordinated On-Demand Composition of Smart Service Systems in Decentralized Environments". Markus Wutzler, Thomas Springer and Alexander Schill.
- 14:30 - 15:00: "Error in Self-Stabilizing Spanning-Tree Estimation of Collective State". Yuanqiu Mo, Jacob Beal and Soura Dasgupta.
- 15:00 - 15:30: "Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops". Verena Klös, Thomas Göthel and Sabine Glesner.
- 15:30 - 16:00 Coffee Break
- 16:00 - 16:30: "The Principled Violation of Policy: Norm Flexibilization in Open Self-Organising Systems". David Burth Kurka and Jeremy Pitt.
Panel Discussion
- 16:30 - 17:00: “Themes and Challenges in Engineering CAS “. Chair: Jacob Beal - Panel participants: Mirko D'Angelo, Danilo Pianini, Verena Klos, David Burth Kurka.
- 17:00 - 17:10: Closing