Sibilla is a Java framework designed to support analysis of Collective Adaptive Systems. These are systems composed by a large set of interactive agents that cooperate and compete to reach local and global goals.
Sibilla is thought of container where different tools supporting specification and analysis of concurrent and distributed large scaled systems can be integrated. Currently Sibilla includes:
- API for system simulation;
- API for transient analysis via statistical model checking;
- API for modelling population models.
Full documentation of Sibilla can be found in the Wiki page, with detailed examples and operational details.
- Simulation: The tool permits simulating stochastic processes modelled via different specification languages.
- Reachability Analysis: The tool permits estimating the probability that a given set of states (identified by a condition) can be reached within a given amount of time by passing through states satisfying a given predicate.
- First Passage Time: The tool permits to estimate the average amount of time needed by a model to reach a given set of states.
To start using Sibilla, follow the guide available in the wiki