Software Testing (DO-178C) Services

Testing (DO-178C) projects focus on the verification and validation (V&V) of safety critical applications of our clients. Support agile development frameworks and practices utilizing DO-178C guidelines and related processes. Adapt to configuration management, project management, and quality management tools and processes of our clients and partners.

Software Verification Plan (SVP)
The SVP is a description of the verification processes (Reviews, Analyses and Tests) used to satisfy DO-178C objectives.
Functional testing
Functional testing to ensure that the software meets high-level and low-level requirements.
Structural coverage analysis (SCA)
Structural coverage analysis to is an evaluation of the code structure to ensure that structural elements of the code, including interfaces, have been exercised and tested to an acceptable degree during requirements-based testing.
Software development and verification (DO-178C)
Software Considerations in Airborne Systems and Equipment Certification includes the system aspects relating to software development; software lifecycle and processes; software planning processes; software development processes (requirements, design, coding, and integration); and integral processes (verification, configuration management, quality assurance, and certification).
Software tool qualification (DO-330)
The process necessary to obtain certification credit for a software tool within the context of a specific software system.
Model-based development (DO-331)
Model-based development process aligns with the key principles of DO-178C providing step-by-step guidance on activities such as requirements modeling, architecture modeling, model implementation, and model verification.
Object-oriented technology (DO-332)
Object-oriented technology and related techniques is a supplement to DO-178C and provides guidance for the development of safety-critical software systems using object-oriented technology.

Design Assurance Level (DAL) A Catastrophic
Failure conditions, which would result in deaths, usually with loss of the airplane.
Design Assurance Level (DAL) B Hazardous
Failure conditions, which would reduce the capability of the aircraft, or reduces the ability of the flight crew to operate the aircraft due to physical distress or a higher workload, or causes serious or fatal injuries among the passengers.
Design Assurance Level (DAL) C Major
Failure significantly reduces the safety margin or significantly increases crew workload. May result in passenger discomfort (or even minor injuries).
Design Assurance Level (DAL) D Minor
Failure slightly reduces the safety margin or slightly increases crew workload. Examples might include causing passenger inconvenience or a routine flight plan change.
Design Assurance Level (DAL) E No Safety Effect
Failure has no impact on safety, aircraft operation, or crew workload.
Embedded Software
Utilizing languages such as C, C+; model based development tools like MATLAB/Simulink; real time operating systems such as Green Hills Integrity, WindRiver VxWorks, and Digital Engine Operating System (DEOS); and scripting languages like JavaScript, Python, Perl.
Learning Management System (LMS)
Containing highly-interactive custom content including interactive, graphical, animated, and narrated media. Integrate custom courses within LMS e-learning education courses or training programs to help achieve the analytics.