v1.4.0

Version 1.4.0

GIT tag: 1.4.0-RELEASE    Release date: June 2, 2023
AGREE version: 2.10.0
OSATE version: 2.12.0
Eclipse base version: 2022-06
Java version: Java 17
Eclipse Update-Site: https://raw.githubusercontent.com/loonwerks/AMASE-Updates/main/amase_1.4.0

Notable changes

• Support OSATE version 2.12.0
• Support AGREE version 2.10.0

See User's Guide for installation instructions (https://github.com/loonwerks/AMASE/blob/master/doc/SafetyAnnexUsersGuide/SafetyAnnexUsersGuide.docx)

v1.3.0

Version 1.3.0

GIT tag: v1.3.0    Release date: March 1, 2022
AGREE version: 2.8.0
OSATE version: 2.10.2
Eclipse base version: 2021-03
Java version: Java 11
Eclipse Update-Site: https://raw.githubusercontent.com/loonwerks/AMASE-Updates/main/amase_1.3.0

Notable changes

• Support OSATE version 2.10.2
• Support AGREE version 2.8.0
• Support fault propagation in verification results of the "Verify All Layers with Faults" menu option

Fixed issues

• Re-enabled "Verify Monolithically with Faults" menu option
• Support multiple outputs of different types in Safety Annex
• Reflect correct subcomponent names in the Hierarchical Causal Factors file generated from the "Generate Minimal Cut Sets" menu option

See User's Guide for installation instructions (https://github.com/loonwerks/AMASE/blob/master/doc/SafetyAnnexUsersGuide/SafetyAnnexUsersGuide.docx)

v1.2.0

Same AMASE features as in release v1.3.0, but users need to manually install Xtext in OSATE prior to installing this AMASE.

Continuous Integration Build (1.1.1.202104051417)

Update .travis.yml

Workaround python packaging problem

Continuous Integration Build (1.1.1.202102102208)

Update .travis.yml

Work around broken Ubuntu python packaging.

v1.1.0

This release in intended to support CASE phase-3 development activities and applications.

Enhancements:

• Support for OSATE v2.8.0
• Support for AGREE 2.6.x

Issues/Problems Addressed:

• Remove inclusion of AGREE and Z3 from package causing conflicts in FMW

v1.0.0

Release v1.0.0 of of the safety annex. Compatible with OSATE v2.7.1

safety-annex_0.9

Release of Safety Annex with AGREE 2.4.0. Compatible with OSATE 2.7.0.

Safety Annex Release v0.8

This release includes features described in Safety Annex Users Guide v0.81.
SafetyAnnexUsersGuide.pdf