Release YAP 0.8 contains new features and feature enhancements.

New features:

  • Test Model Generation: Added a new facility for the generation of symbolic finite state machines to be used as reference models for robustness-oriented conformance tests of generated controller code. This facility comes with support for the libfsmtest input format.

Feature Enhancements:

  • Code Generation: Extended the existing facility with a new generator for lean discrete-event safety supervisors written in C++. The generated controller code is more agnostic about the target platform and more efficient in comparison with the previous code generator.

Miscellaneous:

  • Parts of the software have been further extended and refactored to consolidate functionalities and feature prototypes. Downward compatibility with older model files as well as command-line and logging interface compatibility can be affected in the current stages of development.
  • This release contains the evaluation package for our recent paper accepted at FMAS
  • An updated manual will be provided as soon as possible.