Methodology


Four main phases are typically considered on an ISVV program:

  • Requirements Analysis,
  • Design Analysis and
  • Code Analysis
  • Validation

These phases can be contracted out separately or all together, executed concurrently with the software development project or later as part of the software product acceptance phase.

A set of Reliability, Availability, Maintainability and Safety (RAMS) related Critical Software teams apply assessment techniques during the life cycle of ISVV projects. These RAMS techniques include:

  • Schedulability Analysis,
  • Hardware Software Interaction Analysis,
  • Code Inspections,
  • Robustness Testing,
  • Stress Testing and Fault Injection,
  • Software Failure Modes, Effects and Criticality Analysis (SFMECA),
  • Software Fault Tree Analysis (SFTA),
  • And a number of other "flavors" of cause-consequence analysis.