Digital tools

Safety Digitalization Hub


Digital systems engineering for the next generation of Safety Critical Systems

Anzen Wiki

scroll down

In Anzen we are at the forefront of Safety and Reliability Model Based Systems Engineering (MBSE) software applications.

Because the aerospace industry is turning to these methodologies, Anzen aims to provide to its customers the best Model Based Safety Analysis (MBSA) applications.

Our ATICA suite aims at collecting all the Safety and Reliability related data in a unique platform which helps the System Safety engineers to develop safety analyses faster and minimizes the risk of human error.

Given a unique system model, ATICA works in several layers:

  • Product architecture
  • System and subsystem
  • Component

Each layer collects the necessary information, both high and low level, considering the project requirements in order to collect the required evidence and produce the demonstrations needed by end users and authorities to get an aerospace certification.

ATICA provides solutions along the whole V-Cycle, making the development phase easier and reducing development costs. It also keeps the end-to-end traceability, making system safety analysis simpler.

Our portfolio of products is designed to support all system safety activities and includes the following packages:

Ope r ations Assembl y I n t eg r ation and T e s t F unctional V alidation End-Use r needs Conce p tual Design D e t ailed Design PLM PLM Digi t al T win MBSE MBD R E Qs A TIC A @ r eqs A TIC A @mbd A TIC A @r p f A TIC A @d t A TIC A @ f di r A TIC A @mbsa

Add-on definition



Model Based Safety Analisis

  • Support to system definition: from concept of operations to physical architecture
  • Compatibility with off-the-shelf model-based tools
  • Safety analysis: Functional Hazard Analysis (FHA), Fault Tree Analysis (FTA),
    Failure Modes and Effects Analysis (FMEA)


Requirements Toolbox

  • Support to safety requirement identification and authoring
  • Implementation of safety standards (ARP-4761 for aviation, ECSS for space)


Reliability Prediction Framework

  • Component data base
  • Support to Failure Modes and Effects Summary (FMES)
  • Implementation of reliability prediction standards (MIL-HDBK-217, FIDES)


Failure Detection,
Isolation and Recovery

  • Failure observability characterization
  • State-machines verifications (Markov chains, model checking)
  • Support to embedded software design and verification


Model Based Framework

  • Failure mode characterization and modeling
  • Montecarlo simulations including failure models
  • Support through MIL/SIL/PIL/HIL test campaigns


Digital Twin

  • Support to verification of operational procedures in contingency scenarios
    (considering failures)
  • Equipment behavior characterization through the product operational lifetime
  • Data analytics oriented to failure prediction (prognosis)

Implementation Strategy


  • Joint effort between ANZEN and the end user.
  • Continuous engineering support in RAMS activities
  • Development of new tool features adapted to end-user demands


  • Tool adaptation specific to client needs
  • Continuous IT support to use the tool


  • Tool distribution under license
  • Continuous IT support to use the tool


ATICA4CAPELLA is a model based safety analysis (MBSA) plugin that extends Capella functionalities and allows to perform safety and reliability analysis directly from the system models.