Ru RESEARCH TECHNOLOGIES NEWS CONTACTS LINKS Site Map

 Airborne and ground-based information system development

INDEPENDENT VERIFICATION AND VALIDATION

GosNIIAS performs verification and validation as an independent third party.

To gain complete understanding of customer requirements and to determine the workscope GosNIIAS may require some additional information.

GosNIIAS carries out the following activities: software requirements review and discussion, software design documentation review and discussion, code review, functional testing for compliance with the requirements, structural coverage and related analysis (i.e. memory allocation, memory overflow, arithmetic overflow, fulfillment of range boundary conditions, etc.).

GosNIIAS may require information on the level of requirements, with which the program complies. GosNIIAS supports specifications complying with the following standards:

  • RTCA/DO-178B (levels from A to E);

  • MIL-STD-498, ISO 9000-3;

  • ISO 9001 & customer standards.

GosNIIAS may also need to review additional documentation.

GosNIIAS is ready to develop or to aid in the development of all needed missing documents:

  • Software verification plan;

  • Software verification procedure description;

  • Software verification report;

  • Software certification plan;

  • Summary progress report.

GosNIIAS will also need to perform software development environment analysis that may include:

  • Programming language (Ada, PL/M, C, C++, C#, Delphi, Assembler, SQL, etc.);

  • Number of modules/packages;

  • Core development platform;

  • Communications;

  • Test equipment:

    • Test bed specification,
    • Test development language.

GosNIIAS offers development environment design services.


Ph.: (+7-499) 157-9555, fax: (+7-499) 157-0747; e-mail: gosniias@2100.gosniias.ru.


Back

- GosNIIAS - 2010-2015