Skip to content

Snapshot 2023-01-08
Compare
Choose a tag to compare
@danielratiu danielratiu released this 08 Jan 11:44
· 50 commits to maintenance/MPS-2021.1 since this release
snapshot/v2023_01_08
8297f4f

This release features improvements for structured assurance cases, fault trees and contains many bug fixes.

Highlights

  • GSN confidence - improved support for confidence propagation
  • Improved the auto-layouter of GSN diagrams
  • Improved annotation providers for GSN diagrams
  • Enable generators from GSN to XML
  • Enable specification of custom model-checks on structured arguments
  • Enhanced technical documentation with support for tabular documentation of safety arguments
  • Safety argument process artifacts - support lazy references to models
  • Enable unique-prefixes for FTs
  • Improved auto-layouter of Fault-Trees
  • Enable taking screenshot of FTs
  • Experimental support for attaching reviews to model entities
  • STAMP added plain text notation to enable diff-ing

This release is based on MPS 2021.1.

Assets 3
Loading