Simulation
| Tool | sdf3print-sadf --format poosl | API | SADF2POOSL() |
|---|---|
Simulation-based analysis provides an alternative when exhaustive exact analysis is infeasible due to a lack of computer resources. Such simulation-based analysis gives observation results for extrema and reachability properties, while statistical information on the accuracy of the obtained estimation results for long-run properties is provided by means of confidence intervals. In addition, the simulation may reveal deadlocks.
Simulation-based analysis is offered by converting the XML specification of an SADF graph into a model specified with the Parallel Object-Oriented Specification Language (POOSL). For this converstion, it is possible to control certain simulation settings through a separate XML file. After conversion with sdf3print-sadf, the rotalumis tool for simulating POOSL models allows performing the actual analysis by simulating the considered SADF graph. It does so by assuming a self-timed scheduling policy, which indicates that firing a process is never postponed whenever such firing is enabled.