Osate 2 Validation

From AadlWiki

Jump to: navigation, search

WARNING: Outdated content

The content on this page is outdated and may be no longer relevant. We are in the process of creating a web site with updated information about OSATE at http://osate.org

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