Base trait for acceptability analyses
Trait checking if the order requirement is met by the initial architecture
trait checking if the reliability requirement is met by the initial architecture
Created by kdelmas on 23/12/15.
Order computation trait
Trait for Circuit Graph exportation
Created by kdelmas on 08/04/16.
Base trait for cutsets computation
Cut enumeration implementing all the possible cut computation techniques
Cutsets computation with BDD method
Cutsets computation with Pseudo-Boolean method
Base trait for solving Design Space Problem (DSE)
Trait containing DSE problem resolution with HIPHOPS and SMT
Trait for DSE solving using HIPHOPS
Trait for DSE solving of KCR modelled problems
Trait for DSE solving using SMT based STMDD computation
Trait for DSE solving using Interpreter based STMDD computation
Base trait for exporter of KCR models to other languages
Trait for HIPHOPS based computation of cutsets
Trait for HIPHOPS exportation
Trait for OpenPSA exportation
Reliability computation trait
Cutsets computation with Iteration SMT method
Trait for KCR translation to SMT
Trait for SMV exportation
Base trait for computation of the STMDD
Trait for computing the STMDD with SMT problem solving
Trace tree computation based on interpretation
Base trait for safety indicator computing
Created by kdelmas on 25/09/17.
Created by kdelmas on 08/04/16.
Analysis of the substitutions given in the design space of a DSE problem using SMT problem solving
Analysis of the substitutions given in the design space of the DSE problem by using the interpreter
Trait for failure rate exportation
Cutsets computation with XFTA method
Cutset computation with XSAP tool