Skip to content
/ pasta Public

VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.

License

Notifications You must be signed in to change notification settings

kieler/pasta

Folders and files

NameName
Last commit message
Last commit date

Latest commit

b8cdc67 · May 15, 2024
Jun 5, 2023
Oct 13, 2023
May 15, 2024
Aug 18, 2023
Nov 4, 2022
Mar 15, 2023
Feb 21, 2022
Dec 8, 2022
Nov 19, 2021
Aug 17, 2023
Mar 9, 2023
Nov 2, 2023

Repository files navigation

STPA-DSL

The respository contains the VS Code Extension of the STPA-DSL.

Developing the VS Code extension

The following steps are required to start developing:

  1. Install Node.js and yarn.
  2. Run yarn install in the root folder to install all dependencies.
  3. Run yarn build in the root folder to compile.
  4. Open the respository in VS Code.
  5. Run the "Run PASTA Extension" launch configuration.
  6. A VS Code instance with the STPA-DSL extension should be started.

About

VS Code extension for STPA-based risk analyses with interactive diagrams and integrations for fault trees, safe-by-construction behavior model generation, and verification.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published