Preface

This volume contains the proceedings of the first workshop on Advances in Systems of Systems (AISOS'13), held in Roma, Italy, March 16. 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. AISOS'13 aims to gather people from different communities in order to encourage exchange of methods and views.

Each workshop paper submission was reviewed by 3-4 committee members. The program committee of AISOS 2013 consisted of:

• John Fitzgerald (Newcastle University, UK)
• Boudewijn Haverkort (University of Twente and Embedded Systems Institute, Netherlands)
• Kim G. Larsen (Aalborg University and CISS, Denmark)
• Peter Gorm Larsen (Aarhus University, Denmark)
• Axel Legay (INRIA Renne, France and Aalborg University, Denmark)
• Oded Maler (CNRS-Verimag, France)
• Ulrik Nyman (Aalborg University, Denmark)

• Hermann Kopetz
• Eric Honour
• Boudewijn Haverkort

The final proceedings will appear in the Electronic Proceedings in Theoretical Computer Science (EPTCS) series. We thank Rob Van Glabbeek for their support.

March 2013, Kim. G. Larsen, Axel Legay, and Ulrik Nyman.