Workshop on FORMAL APPROACHES for SYSTEMS-of-SYSTEMS (FaSoS)
Besançon, October 18th, 2016
The complexity of software and the complexity of systems reliant on software have grown at a staggering rate. In particular, software-intensive systems have been rapidly evolved from being stand-alone systems in the past, to be part of networked systems in the present, to increasingly become software-intensive systems of systems (SoSs) in the coming future.
Oppositely to single systems, SoSs exhibit emergent behavior, i.e. global behaviors that stem from the local interactions among constituent systems, but cannot be deduced solely from the behaviors of the constituent systems themselves. Hence, whether the behavior of a single system can be understood as the sum of the behaviors of its components, in SoSs, this reductionism fails: an SoS behaves in ways that cannot feasibly be predicted from analyzing exclusively its individual constituents. An SoS is conceived to create desired emergent behaviors for fulfilling specific missions and may, by side effect, create undesirable behaviors possibly violating safety or security, which needs to be avoided. Additionally, the environment in which an SoS operates is generally known only partially at design-time, i.e. it is too unpredictable to be summarized within a fixed set of specifications, and thereby there will inevitably be novel situations to deal with at run-time. These SoS characteristics have raised substantial challenges to researchers and practitioners in formal aspects of Softwareintensive SoSs. The scientific and technological challenge is thereby to support the formal evolutionary development of trustworthy Software-intensive SoSs, harnessing emergent behaviors for achieving specified missions
This workshop will focus on formal aspects of software intensive SoSs: from the theoretical foundations for enabling trustworthy SoS, applied research including lessons learnt from controlled experiments related to formal aspects, and
experience reports from in vivo case studies or real-scale projects applying formal approaches. In this framework, the workshop will focus on the following topics (but are not limited to):
• Formal approaches for SoS requirements;
• Formal approaches for SoS mission;
• Formal approaches for SoS specification;
• Formal approaches for SoS architecture;
• Formal approaches for SoS verification and validation;
• Formal approaches for SoS construction and evolution;
• Formal approaches for SoS security and privacy;
• Experiences reports on formal approaches for SoS;
• Application of formal approaches to SoS applications.
• Future perspective, challenges, and directions on formal approaches for SoS.
One page abstract (in English or in French) should be submitted to:
Pre-proceedings will be published by using the FACS support/website, and we aim to publish post-proceedings at EPTCS.
September 25, 2016: Submission of abstracts
September 28, 2016: Notification of acceptance/rejection
October 18, 2016: Workshop at Besançon
IRISA – Univ. de Bretagne, France
Khalil Drira (main contact)