Workshop on Advances in Systems of Systems

System-of-Systems describes the large scale integration of many independent self-contained systems to satisfy global needs or multi-system requests.  Examples are smart grid, intelligent buildings, smart cities, transport systems, etc.

There is a need for new modeling formalisms, analysis methods and tools to help make trade-off decisions during design and evolution avoiding leading to sub-optimal design and rework during integration and in service. The workshop should focus on the modeling and analysis of System of Systems.

The workshop Advances in Systems of Systems aims to gather people from different communities in order to encourage exchange of methods and views. The workshop welcomes submissions on new modeling approaches, analysis techniques, tools, case studies, surveys and tutorials.

Venue

• AiSoS is arranged as a workshop in affiliation with ETAPS 2014 in Grenoble, France.
• AiSoS is a one day event held on Saturday April 12th.

Submission

Submission through Easy Chair

Submissions should be between 10 and 20 pages in EPTCS format.

Submission deadline in Monday 6th of January 2014.

The selection procedure will consist of a peer review process with at least 3 reviewers per paper. Revised versions of accepted papers will be published as post proceedings in EPTCS.

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