FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems
Satellite Workshop of STAF 2016
July 8, 2016, Vienna, Austria
Collective Adaptive Systems (CAS) consist of a large number of spatially distributed heterogeneous entities with decentralised control and varying degrees of complex autonomous behaviour that may be competing for shared resources even when collaborating to reach common goals. It is important to carry out thorough quantitative modelling and analysis and verification of their design to investigate all aspects of their behaviour before they are put into operation. This requires combinations of formal methods and applied mathematics which moreover scale to large-scale CAS. The primary goal of FORECAST is to raise awareness in the software engineering and formal methods communities of the particularities of CAS and the design and control problems which they bring.
The complete call for papers is available at the following links: pdf txt.
Important Dates
Proceedings are available at the following link.
Programme (Room EI 11)
9:00 - 10:00 Modeling and simulation of collective adaptive systems - a case for self-adaptive software and domain specific languages
Adelinde Uhrmacher
10:00 - 10:30 A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems
Alessandro Aldini
10:30 - 11:00 Coffee break
11:00 - 12:00 Probabilistic Programming, Estimation, and Euclidean Model Checking for Aggregate Behavior of Concurrent Systems
Gul Agha
12:00 - 12:30 Data as processes: introducing measurement data into CARMA models
Stephen Gilmore
12:30 - 13:00 Modelling movement for collective adaptive systems with CARMA
Natalia Zoń, Vashti Galpin and Stephen Gilmore
13:00 - 14:00 Lunch
14:00 - 15:00 Challenges in Quantitative Abstractions for Collective Adaptive Systems
Mirco Tribastone
15:00 - 15:30 Stochastic and Spatial Equivalence for PALOMA
Paul Piho and Jane Hillston
15:30 - 16:00 Coffee break
16:00 - 17:00 Resiliency once and for all with Aggregate Computing
Mirko Viroli
17:00 - 17:30 From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
Gina Belmonte, Vincenzo Ciancia, Diego Latella and Mieke Massink
17:30 - 18:00 Discussion and Closing
Due to unforeseen circumstances, the invited talk of Diego Latella On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques has had to be cancelled.
FORECAST welcomes research papers, experience reports, reports of case studies, tool papers, and short papers (describing work in progress or exploratory ideas), in all areas related to formal methods for the quantitative evaluation of CAS (on the crossroads of formal methods, applied mathematics, and software engineering).
Submission Guidelines
We solicit the submission of original and unpublished contributions not under review for publication elsewhere. All papers must be prepared in LaTeX using the EPTCS style. Additional details omitted due to space limitations may be included in a clearly marked appendix. Submit a PDF via:
Special Issue
A special issue in a highly-reputed journal is planned.
Invited Speakers
PC Chairs
Program Committee