Services

Verification and Validation

  • Software Requirement Definition and Review
  • Failure Modes and Effects Analysis (FMEA)
  • Fault Tree Analysis (FTA)
  • Design Review
  • Formal Specification and Model Checking
  • Bug finding, error diagnostics
  • Code Review and formal code analysis
    • identification of runtime errors by means of static analysis and abstract interpretation
    • Worst-Case Execution Time (WCET) analysis

Testing

  • Development of made-to-measure HSI test equipment
  • Manual and automated test case/test data generation
  • Model based testing
  • Requirement based testing
    • Unit testing
    • Software-integration (SWI) testing
    • Hardware-software-integration (HSI) testing
    • System integration testing
  • Performance tests
  • Robustness tests (e.g. stack utilization, maximal load, avalanche, long duration)
  • Protocol conformance tests
  • Test suite strength assessment

Certification

  • Consultancy regarding certification requirements, methods and tools
  • Verification of verification results
  • Compilation of traceability data
  • Accomplishment summary
  • Elaboration of specific verification tasks
  • Full verification with independence

Quality Assurance

  • Verified Systems provides quality assurance services for all development phases of a (potentially safety-critical) system, ranging from hazard analysis to acceptance testing. All development phases are supported by our products.

Seminars and Consulting

  • to all topics mentioned above