Package

analyzers

Permalink

package analyzers

Visibility
  1. Public
  2. All

Type Members

  1. trait AcceptabilityAnalyzer extends ConfigurationAnalyzer

    Permalink

    Base trait for acceptability analyses

  2. trait AcceptableCardAnalyzer extends AcceptabilityAnalyzer

    Permalink

    Trait checking if the order requirement is met by the initial architecture

  3. trait AcceptableReliabilityAnalyzer extends AcceptabilityAnalyzer with BDDFactoryField with BDDAnalyzer

    Permalink

    trait checking if the reliability requirement is met by the initial architecture

  4. trait Analyser extends AnyRef

    Permalink

    Created by kdelmas on 23/12/15.

  5. trait CardinalityComputer extends SafetyIndicatorComputer

    Permalink

    Order computation trait

  6. trait CircuitGraphExporter extends Exporter with Z3ExprTranslators

    Permalink

    Trait for Circuit Graph exportation

  7. trait ConfigurationAnalyzer extends Analyser

    Permalink

    Created by kdelmas on 08/04/16.

  8. trait CutEnumerator extends ConfigurationAnalyzer

    Permalink

    Base trait for cutsets computation

  9. trait CutEnumeratorAll extends CutEnumerator with BDDFactoryField

    Permalink

    Cut enumeration implementing all the possible cut computation techniques

  10. trait CutEnumeratorBDD extends CutEnumerator with BDDFactoryField

    Permalink

    Cutsets computation with BDD method

  11. trait CutEnumeratorPB extends CutEnumerator

    Permalink

    Cutsets computation with Pseudo-Boolean method

  12. trait DSEProblemSolver extends ConfigurationAnalyzer

    Permalink

    Base trait for solving Design Space Problem (DSE)

  13. trait DSEProblemSolverAll extends DSEProblemSolverKCRSim with DSEProblemSolverHipHOPS

    Permalink

    Trait containing DSE problem resolution with HIPHOPS and SMT

  14. trait DSEProblemSolverHipHOPS extends ConfigurationAnalyzer

    Permalink

    Trait for DSE solving using HIPHOPS

  15. trait DSEProblemSolverKCR extends DSEProblemSolver

    Permalink

    Trait for DSE solving of KCR modelled problems

  16. trait DSEProblemSolverKCRSMT extends DSEProblemSolverKCR with ConfigurationAnalyzer with SafetyTheory

    Permalink

    Trait for DSE solving using SMT based STMDD computation

  17. trait DSEProblemSolverKCRSim extends DSEProblemSolverKCR with ConfigurationAnalyzer with SafetyTheory

    Permalink

    Trait for DSE solving using Interpreter based STMDD computation

  18. trait DelegatedParsing extends Parsing

    Permalink
  19. trait Exporter extends ConfigurationAnalyzer

    Permalink

    Base trait for exporter of KCR models to other languages

  20. trait FileParsing extends Parsing

    Permalink
  21. trait HipHOPSCutEnumerator extends CutEnumerator

    Permalink

    Trait for HIPHOPS based computation of cutsets

  22. trait HipHOPSExporter extends Exporter

    Permalink

    Trait for HIPHOPS exportation

  23. trait IterativeCutEnumerator extends CutEnumerator

    Permalink
  24. trait MonotonyAnalyser extends ConfigurationAnalyzer

    Permalink
  25. trait OpenPSAExporter extends Exporter with Z3ExprTranslators

    Permalink

    Trait for OpenPSA exportation

  26. trait Parsing extends AnyRef

    Permalink
  27. trait ReliabilityComputer extends SafetyIndicatorComputer with AcceptableReliabilityAnalyzer

    Permalink

    Reliability computation trait

  28. trait SMTCutEnumerator extends CutEnumerator

    Permalink

    Cutsets computation with Iteration SMT method

  29. trait SMTTranslation extends ConfigurationAnalyzer with Z3ExprTranslators

    Permalink

    Trait for KCR translation to SMT

  30. trait SMVExporter extends Exporter

    Permalink

    Trait for SMV exportation

  31. trait STMDDBuilder extends ConfigurationAnalyzer

    Permalink

    Base trait for computation of the STMDD

  32. trait STMDDBuilderSMT extends STMDDBuilder

    Permalink

    Trait for computing the STMDD with SMT problem solving

  33. trait STMDDBuilderSim extends STMDDBuilder

    Permalink

    Trace tree computation based on interpretation

  34. trait SafetyIndicatorComputer extends ConfigurationAnalyzer

    Permalink

    Base trait for safety indicator computing

  35. trait SafetyTheory extends AnyRef

    Permalink

    Created by kdelmas on 25/09/17.

  36. trait SubstitutionAnalyzer extends ConfigurationAnalyzer

    Permalink

    Created by kdelmas on 08/04/16.

  37. trait SubstitutionAnalyzerSMT extends SubstitutionAnalyzer with BDDFactoryField

    Permalink

    Analysis of the substitutions given in the design space of a DSE problem using SMT problem solving

  38. trait SubstitutionAnalyzerSim extends SubstitutionAnalyzer with BDDAnalyzer

    Permalink

    Analysis of the substitutions given in the design space of the DSE problem by using the interpreter

  39. trait SymbolicFailureRateComputer extends SafetyIndicatorComputer with AcceptableReliabilityAnalyzer with BDDAnalyzer

    Permalink

    Trait for failure rate exportation

  40. trait XFTACutEnumerator extends CutEnumerator

    Permalink

    Cutsets computation with XFTA method

  41. trait XSAPCutEnumerator extends CutEnumerator

    Permalink

    Cutset computation with XSAP tool

Ungrouped