A collection of screencasts about FASTEN features:

• Basic Features

  • First steps and the integration of NuSMV

  • Using GIT in FASTEN

• Modeling Requirements

  • Modeling requirements

  • Modeling ODD Ontologies and Specifications

• Modeling Architecture

  • Contract-based Design

• Modeling Assurance Cases

  • Basic modeling of assurance

  • Integrating assurance cases with system models

• Modeling Support for Safety Analysis

  • Modeling accidents (losses) and hazards

  • Modeling STPA outputs (control structures and unsafe control actions)