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

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