Osate 2 Validation

From AadlWiki

Jump to: navigation, search

OSATE 2 provides the following list of validation plug-ins

  • Latency Analysis
  • Power Analysis
  • Weight Analysis
  • Connection consistency analysis
  • Resources Budgets
  • Resources Allocation
  • Bus Load
  • Fault-Tree Analysis
  • Fault Impact
  • Functional Hazard Assessment
Personal tools