AiSoS 2013

The first edition of AiSoS was held March 16 2013 in Rome as an ETAPS workshop.

The proceedings was published as EPTCS volume 133.

Programme, March 16, 2013:

  • 9:00 – 10:00: Invited talk: Dr. Eric Honour - Verification and Validation Issues in Systems of Systems
  • 10:00 – 10:30: Goetz Botterweck – Variability and Evolution in Systems of Systems
  • 10:30 – 11:00: Luca Pazzi – Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism
  • 11:00 – 11:30: Coffee break
  • 11:30 – 12:30: Invited talk: Hermann Kopetz - Systems-of-Systems Complexity
  • 12:30 – 14:00: Lunch
  • 14:00 – 15:00: Invited talk: Boudewijn R. Haverkort – On the changing role of data in embedded systems and systems of systems
  • 15:00 – 15:30: Discussion
  • 15:30 – 16:00: Coffee break
  • 16:00 – 16:30: Axel Legay – Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach
  • 16:30 – 17:00: Leonardo Mangeruca - SoS contract verification using statistical model checking
  • 17:00 – 17:30: Manuela L. Bujorianu – A coordination model for ultra-large scale systems of systems
  • 17:30 – 18:00: Discussion