Software Verification

Our company provides an expertise for the Software Verification in the safety critical software industry.

Today, we can offer our customers competence, methods and aids meeting the most demanding system requirements to comply with regulations dictated by certification authorities. These regulations specify the objectives that must be met according to the assurance level of the software.

We have extensive expertise with RTCA/DO-178B Software Considerations in Airborne Systems and Equipment Certification. Our services include the development and review of software plans and standards, software requirement and test development, software structural coverage analysis and life cycle data traceability support.

We also provide an outsource support and secured remote access solutions.

All our processes, standards, and plans are written to support Level A certification (RTCA/DO-178B).

Avionics verification solutions for aerospace programs.

AVIAOK has been perfoming Independent Verification and Validation (IV&V) for customers since 1988 against DO-178B trought Level A. Our solutions are customized to meet your program's requirements and timeframe.

As an established expert in the industry? we continually refine our approach so that we can provide customers with the most complete? rigorus process possible. Our IV&V team will provide a hight quality documentation of the validation, verification and simulation results, including a complete review of requirements tracked to implementation? specific to each customer's individual needs.

    Software Requirements

  • Review of concept documentation
  • Traceability Analysis
  • Software Requirements Evaluation
  • Interface Analysis
  • Initial Planning for Software System Test
  • Reporting
    Software Disign

  • Traceability Analysis
  • Software Disign Evaluation
  • Interface Analysis
  • Initial Planning for Unit Test
  • Initial Planning for Software Integration Test
  • Reporting
    Software Integration Test

  • Completion of Software Integration Test
  • Reporting
  • Execution of Software Integration Test
  • Reporting
    Unit Test

  • Unit Test Execution
  • Reporting
    Code

  • Traceability Analysis
  • Code Evaluation
  • Interface Analysis
  • Completion of Unit Test Preparation
  • Reporting
    Software System Test

  • Completion of Software System Integration
  • Reporting
  • Execution of Software System Integration
  • Reporting