Defense/Aerospace

The increasing amount of embedded software in weapons systems has significantly increased the importance of validation and the reliability of those systems. The Defense Acquisition Program Administration (DAPA) established the Instruction Manual for Acquisition and Management Practice of the Weapon System Embedded Software in 2011, requiring the testing and evaluation of software reliability, including a static validation that determines if coding rules are being observed, and a dynamic validation that measures code execution rates(code coverage).
Additionally, built-in software for airliners must be certified by the FAA based on DO-178B/C standard. Suresoft Technologies Inc. supports the automation of code review (static analysis) through developing rules and applying tools according to the software coding standard defined for each project, and also supports the measurement of a variety of structural coverage (statement coverage, branch coverage, MC/DC) required respectively according to the safety level of the software.

 Code Inspector

Code Inspector

Supports a static analysis of source codes based on DAPA’s Instruction Manual for Acquisition and Management Practice of the Weapon System Embedded Software.

Controller Tester

As like the requirement of DAPA’s Instruction Manual for Acquisition and Management Practice of the Weapon System Embedded Software, the Controller Tester measures statement coverage, branch coverage, and MC/DC, and automates the support of the software unit/integration test.

Cover

As like the requirement of DAPA’s Instruction Manual for Acquisition and Management Practice of the Weapon System Embedded Software, the Cover measures statement coverage, branch coverage, and MC/DC. The Cover is also used for hardware and software integration and system testing.

 Our Validation Services

Validation of Documents

Provides a checklist for reviewing the document form and the documents evidencing activity performance for each process required by the instruction manual of the Defense Acquisition Program Administration and the regulation. In addition to review the activity performance, validation services reviews the consistence between details of each document, traceability, integrity of document details, and possibility of validation.

Validation of Source Code Quality

Supports the detection of potential errors included in source codes based on the static analysis tool.

Unit/Integration Testing

This service performs the software unit/integration/hardware and software integration/system testing for DAPA’s embedded software development process.
Also performs the software independent testing for DO-178B/C Level A, B.

Support of Licensing

Supports the test and evaluation of reliability required by the DAPA for defense systems and supports the acquisition of the DO-178B/C certification in the aviation industry.

Industrial Specialty Tool

Independent Verification & Validation for Acquiring the Unmanned Aerial Vehicle RTOS DO-178B Certification

We were involved in all steps of a development process for acquiring the DO-178B Level A certification of the unmanned aerial vehicle RTOS software. As testing engineers, we reviewed documents, performed the testing itself, conducted a static analysis, and validated the conformity between a source code and binary, high/low level requirement based testing and traceability analysis. (Electronics and Telecommunication Research Institute. 2011)

Independent Verification & Validation Service for Acquisition of DO-178B Level A Certification
Testing Tool for Interoperability Based on Tactics Data Link

We have developed tools for testing the interoperability between systems and the standard conformity based on the tactic’s data link.

(Agency for Defense Development, 2012)

(Agency for Defense Development, 2012)

Testing Tool for Interoperability Based on Tactics Data Link

Testing Tool for Interoperability Based on Tactics Data Link
Integrated Management System for Weapon System Embedded Software

We have developed an automatic analysis tool to enhance the quality of software embedded in weapon systems. (Defense Agency for Technology and Quality, 2011)

Integrated Management System for Weapon System Embedded Software

Integrated Management System for Weapon System Embedded Software
Tool for Evaluation of National Defense Interoperability Level

We have developed and maintained the systems that can measure the interoperability levels of the information system and weapon system, analyze the interoperability level between systems, and analyze the acquisition possibility of the interoperability based on the tactics data link.
(2003 ~ present)

상호운용성 수준 측정 도구 화면 2