YAP 0.8 released
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.