Skip to content

Commit

Permalink
Update extension README.md
Browse files Browse the repository at this point in the history
Drakae authored Nov 19, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
1 parent 5507c55 commit 7da3d71
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion extension/README.md
Original file line number Diff line number Diff line change
@@ -2,6 +2,8 @@

This extension offers a Domain-Specific-Language (DSL) for System-Theoretic Process Analysis (STPA) including an automatic visualization and validity checks.

Examples can be found in [pasta-examples](https://github.com/kieler/pasta-examples).

## Features

### Validity Checks
@@ -223,4 +225,4 @@ The extension provides several diagram options to adjust the diagram.
### FTA
* Show Gate Descriptions: Shows the descriptions of the gates in the diagram.
* Show Component Descriptions: Shows the descriptions of the components in the diagram.
* Highlight Cut Set: To use this first the action to generate the cut sets must be executed. Then here a cut set can be selected. The components belonging to the cut set are highlighted in red, components and gates irrelevant for the failure are faded out, and the top event is highlighted in blue. Thus, when only a subtree is analyzed, the root of this subtree is highlighted. Additionally, the option SPoFs in the dropdown menu highlights all single point of failures.
* Highlight Cut Set: To use this first the action to generate the cut sets must be executed. Then here a cut set can be selected. The components belonging to the cut set are highlighted in red, components and gates irrelevant for the failure are faded out, and the top event is highlighted in blue. Thus, when only a subtree is analyzed, the root of this subtree is highlighted. Additionally, the option SPoFs in the dropdown menu highlights all single point of failures.

0 comments on commit 7da3d71

Please sign in to comment.