YAP 0.7 released
Release YAP 0.7 contains new features and several improvements.
The list of new features includes …
- a code generator for a C#-based digital twin platform
- a LaTeX exporter for the visualisation of PRISM simulation traces
- an extension of YAP Script to support enumerations
This release also contains several improvements, including …
- DTMC/MDP generator: improved parametric mishap modelling
- DTMC/MDP generator: refined reward calculation
- Generic generator: improved parameter substitution
- YAP Script: generalised and standardised handling of severity intervals
This release focuses experimentation and research demonstration. An updated manual will be provided as soon as possible.