FRET public release v3.1.0

[anmavrid]

Integration with the R2U2 runtime monitoring tool

• Extended FRET togenerate specifications in Mission-time Linear Temporal Logic, which can be used as direct inputs to the R2U2 runtime monitoring tool to generate C monitors.
• This code extension was developed by Collins Aerospace and contributed under a CorporateContributor License Agreement (CLA).

Requirements Editor

• Improved the toggle bar for switching between probabilistic and non-probabilistic modes.
• Added PRISM syntax option in generated formalizations.
• Improved the quality and clarity of generated English semantic explanations.

Test Case Generation:

• Added compatibility support for NuSMV version 2.7.0.
• Extended tests functionality with Kind 2 such that tests can now be loaded and inspected in the simulator.
• Added an option for users to define the length of test cases generated when using the NuSMV engine.
• Improved robustness and output message logs in the presence of errors.

Realizability Checking:

• Improved robustness and output message logs in the presence of errors.
• Adjusted tooltip of 'Simulate Realizable Requirements' option to not appear when JKind has been selected as engine.
• Fixed intricate case where diagnosis table was not properly sorting requirements after deselecting a requirement that was part of the viewed conflict.
• Improved JKind dependency check to account for every script required with its installation.

Documentation:

• Extended Notes section in the installation manual to use Github's NOTE Alert type in order to improve content readability and visibility.
• Added documentation for built-in functions.
• Test Case Generation: Updated documentation to account for new features and to clarify the latest versions of dependencies that are supported.
• Realizability Checking: Updated documentation to clarify the latest versions of dependencies that are supported.
• Fixed broken link to Troubleshooting section in the README.

---

This discussion was created from the release FRET public release v3.1.0.