We are proud to announce the release of version 2.0 of our safety modeling tool safeTboxâ¢. In this version, the following capabilities have been added:Â
Goal Structuring Notation (GSN)
Create structured and modular safety arguments with the well-known GSN modeling technique. You can use it to create process-related argumentation, such as safety cases, as well as product-specific arguments, such as safety concepts. Moreover, you can easily create references/traces to other model constructs (e.g., UML/SysML blocks, components, ports, fault trees, â¦). Traceability is supported in an efficient manner by a customizable auto-completion user interface suggesting elements based on the current word written.