News

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