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.