Scope

The increasing pervasiveness of networks has made possible to interconnect systems that were independently developed, operated, managed, and evolved, yielding a new kind of complex system, i.e. a system that is itself composed of systems, the so-called System-of-Systems (SoS). Progressively SoS has been designed as Software-intensive SoS (SiSoS) and has been applied to different domains, e.g. environmental monitoring, emergency coordination, global traffic control, smart grids and smart cities. In particular, ubiquitous platforms such as the Internet of Things and nascent classes such as Cyber-Physical SoSs are accelerating the deployment of SiSoS.

Oppositely to single systems, SiSoSs exhibit emergent behavior, i.e. global behaviors that stem from the local interactions among systems, but cannot be deduced solely from the behaviors of the constituent systems themselves. Hence, it behaves in ways that cannot feasibly be predicted from analyzing exclusively its individual constituents. A SiSoS is conceived to create desired emergent behaviors for fulfilling specific missions and may, by side effect, create undesirable behaviors possibly violating safety or security.

Thereby, SiSoS raises substantial challenges to researchers and practitioners. This track fosters original submissions ranging from SiSoS foundations to applications, from theory to practice.

Key Topics

The SiSoS track will provide the first conference forum to researchers and practitioners all-over the world to address together the SiSoS challenge. This track will focus on papers from SoS foundations to SoS applications: from the theoretical foundations for enabling trustworthy SiSoS, applied research including lessons learnt from controlled experiments, and experience reports from in vivo case studies or real-scale projects. In this framework, the SiSoS track will focus on (but is not limited to) the following topics:

  • SiSoS Mission
    • Specification and analysis
    • Formal contracts, contract-based approaches
    • Goal-orientation, task orientation
    • Ontologies, reasoning
    • Relationships with emergent behaviors
  • SiSoS Modeling
    • Model-driven engineering
    • Models-at-runtime
    • Model-based approaches
    • Formal modeling foundations
  • SiSoS Design
    • Architectural and detailed design
    • Design evaluation
    • Correction by design
    • Design for evolution, scalability or
    • Design for emergent behavior
  • SiSoS Verification and Validation
    • Testing
    • Compositional/statistical model checking
    • Simulation, co-simulation
    • Simulation of emergent behaviors
  • SiSoS Construction and Evolution
    • Evolutionary development
    • Correction by construction
    • Techniques & technologies for SoS engineering
    • Service-orientation
    • Component and middleware frameworks
  • SiSos Security and Privacy
    • SoS cybersecurity
    • SoS privacy and trust
    • Security against emergent behaviors in SoS
  • SiSoS Experience
    • Reports from real projects
    • Case studies in real-scale projects
    • Controlled experiments
    • Experience from SoS stakeholders
  • SiSoS General issues
    • Taxonomies, ontologies
    • Software processes
    • Project management
    • Acquisition in the development of SoS
  • SiSoS Applications
    • Energy
    • Transportation
    • Global traffic control
    • Emergency coordination
    • Environmental monitoring
    • Smart grids
    • Healthcare
    • Manufacturing
    • Smart cities
    • Any other application
  • Future perspectives, challenges, and directions

Important Dates

Xxxxxx, 201X
Submission of regular papers and SRC proposals
Xxxxxx, 201X
Notification of papers and posters and SRC acceptance/rejection
Xxxxxx, 201X
Camera-ready copies of accepted papers
Xxxxxx, 201X
Author registration due date
April 9-13, 2018
Conference
Call for papers Download the call for papers
::after