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