FASTEN is an extensible platform to experiment with rich models for requirements-, system- and safety-engineering.

Break silos + Semantically rich models + Deep integration + High automation.

• • make systems modeling more intuitive for practicing engineers

    • write tests right away

    • auto-completion and editor guidance

  • use high-level abstractions which are easy to understand

  • automate safety assurance

    • create special GSN entities that deeply integrate system models

    • enable automated checks on GSN-based assurance case models

  • integrate safety and system models

    • use STPA for performing hazard analysis

    • create DFMEA for an architecture

    • automate failure propagation analyses with HiP-HOPS

  • increase productivity when specifying and verifying systems

    • modern IDE support

    • multi-paradigm modeling: write models using low level languages or use DSLs

    • higher-level abstractions with appropriate notations

    • plethora of consistency checks performed on-the-fly in the editor

    • easy to start the verification and interpret results

  • support modern workflows

    • git based, pull requests

    • CI/CD, DevOps

  • create an open and extensible DSLs stack

    • we offer a baseline of DSLs which can be extended in modular fashion

    • create new DSLs to reflect

      • specific verification problems

      • specific business domains

• teaching formal modeling

  • • show different patterns of use of NuSMV, Spin and other FM tools

      • lift patterns at the language level