On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract
This work addresses the problem of engineering and verifying complex adaptive systems for researchers and practitioners, but it appears incremental as it builds on existing mathematical theories without claiming major breakthroughs.
The paper tackles the challenge of analyzing collective adaptive systems by presenting two formal methods: Scalable Approximated Population DTMC Model-checking and Spatial Model-checking for Closure Spaces, developed within the EU project QUANTICOL, with tools built to support these techniques.
In this extended abstract a view on the role of Formal Methods in System Engineering is briefly presented. Then two examples of useful analysis techniques based on solid mathematical theories are discussed as well as the software tools which have been built for supporting such techniques. The first technique is Scalable Approximated Population DTMC Model-checking. The second one is Spatial Model-checking for Closure Spaces. Both techniques have been developed in the context of the EU funded project QUANTICOL.