Search this site
Embedded Files

F A S T E N - a Formal Specification Environment

  • Home
  • News
  • Download
  • Features
    • Requirements Models
    • ODD Models
      • Specify an ODD Ontology
      • Available ODD Ontologies
      • Graphical Representations of ODD Ontologies
      • Create an ODD Specification
    • System Models
    • Safety Engineering
    • Argument Models
  • Publications
  • Screencasts
    • Older Screencasts
      • Contract-Based Design
  • Users Manual
  • Why FASTEN?
 

Screencasts featuring the FASTEN tutorial are published on the Assurance Workbench YouTube channel.

The following topics are covered:


  1.  Basics Generic Topics

    1.  Download and install FASTEN

    2. Creating new Projects, Solutions and Models

    3. Working with Git from FASTEN

    4. Exporting Models to PDF

    5. Using Context Buttons in Diagrams

  2.  Structured Arguments

    1. Basic Topics 

      1. Creating Structured Arguments using GSN

      2. Textual Notation for Structured Arguments

      3. Export GSN Arguments to XML

    2. Re-use

      1. Defining and Using Argument Patterns

      2. Defining and Using Reusable Argument Entities

      3. Patterns Linked to System Models

    3. Modularity

      1. Splitting Large Arguments into Modules

      2. Use Assurance Claim Points for Modeling Confidence

    4. Linking Assurance Elements to Other Models

      1. Linking to Bibliography

    5. Evidence Management

      1. Linking Solutions to External Files

      2. Linking Solutions to URLs

    6. Automation and Checks

      1. Creating Custom Consistency Checks

      2. Checking External Evidence

      3. Creating Custom Linters for Enforcing Standards Compliance 

  3. ODDs

    1. Modeling ODD Ontologies and Specifications

  4. Fault Trees

    1. Modelling Basic Fault Trees

Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse