News

01.02.2025 - Assurance Workbench Youtube Channel goes live containing screencasts about using FASTEN

08.01.2025 - New version with support for checking models in CI, modeling SPIs, export root nodes to PDF, modeling ODDs, usability improvements for GSN diagrams

01.04.2024 - FASTEN made it on a short list of assurance case tools considered by DoD - pdf

04.01.2024 - New version with support for dark mode, save diagrams to SVG, improved DIFF support for assurance arguments and fault trees + many small bug fixes 

08.01.2023 - New version with improved editors and layouters (FT, GSN), improved confidence modeling support, export of assurance arguments to XML + many small bug fixes 

09.01.2022 - New version with improved support for FTs, GSN, linking assurance arguments with external artifacts, define bibliography and link to assurance cases

05.04.2021 - New version with improved support for Fault Trees, GSN patterns, STPA and operator panels

14.02.2021 - New bug-fix release

14.01.2021 - Our paper describing FASTEN.Safe has been referenced  by "Assurance 2.0: A Manifesto"

24.12.2020 - New version with improvements of GSN,  confidence modeling, DFMEA, HiP-HOPS 

28.07.2020 - New version with many scattered improvements such as for STPA, GSN, Spin integration, CBD, requirements 

14.05.2020 - New version with improvements of HARA, Spin

29.03.2020 - New version with improvements of GSN, MSC, Promela

12.03.2020 - New version with DSLs for MSC, improvements of GSN, bugfixes 

30.12.2019 - New version with DSLs for GSN, STAMP, Promela, requirements specifications 

10.10.2019 - Bug fix release

27.05.2019 - Our paper describing the FASTEN approach will be presented at FormaliSE

04.05.2019 - New version with advanced support for tabular specification

27.01.2019 - New version available

17.09.2018 - Initial support for Components-based Design

21.07.2018 - Website is online