Visure Solutions

Start Free Trial

DO-178B/C Standard Guide: Software Verification Tools

DO-178B/C Standard Guide: Software Verification Tools

Table of Contents


Software verification is a critical aspect of the development process for safety-critical systems, particularly in industries such as aerospace, automotive, and medical devices. The DO-178B/C standard, also known as “Software Considerations in Airborne Systems and Equipment Certification,” provides guidelines for the software development and verification of airborne systems. This comprehensive standard outlines the various processes, activities, and artifacts required to ensure the safety and reliability of software used in these systems.

One of the key elements of complying with the DO-178B/C standard is the use of software verification tools. These tools aid in the verification and validation of software, helping to detect and eliminate errors, improve code quality, and increase overall system safety. In this article, we will explore the importance of software verification tools within the DO-178B/C context and discuss their benefits, types, and considerations for their selection and usage.

Importance of Software Verification Tools in DO-178B/C

The DO-178B/C standard emphasizes the use of objective evidence to demonstrate that software meets its intended functionality and safety objectives. Verification activities, such as code reviews, testing, and analysis, play a crucial role in establishing this evidence. Software verification tools complement manual verification techniques by automating various aspects of the verification process, thereby improving efficiency, consistency, and accuracy.

By utilizing software verification tools, development teams can:

Detect Errors and Defects

Software verification tools employ sophisticated algorithms and techniques to analyze source code, identifying potential errors and defects that may otherwise go unnoticed. These tools can detect issues such as buffer overflows, memory leaks, uninitialized variables, and violations of coding standards. By catching these problems early in the development lifecycle, teams can address them promptly and reduce the likelihood of critical issues persisting into the final software product.

Ensure Compliance with Standards

Complying with the DO-178B/C standard requires adherence to specific guidelines and processes. Software verification tools can assist in enforcing compliance with these standards by automatically checking the software against the prescribed rules and regulations. This helps ensure that all necessary artifacts, such as requirements, traceability matrices, and test cases, are properly implemented and validated.

Improve Code Quality

Software verification tools provide insights into code quality metrics, such as cyclomatic complexity, code coverage, and code maintainability. These metrics help developers assess the overall quality of their codebase, identify areas for improvement, and make informed decisions regarding code refactoring and optimization. By continuously monitoring and enhancing code quality, teams can reduce the risk of errors and enhance software reliability.

Enhance Efficiency and Productivity

Manually verifying software can be time-consuming and labor-intensive. Software verification tools automate various verification activities, such as static analysis, unit testing, and model checking, significantly reducing the effort required for manual inspections. This automation allows development teams to focus on higher-level design and testing tasks, increasing overall productivity and efficiency.

Types of Software Verification Tools

Software verification tools encompass a wide range of techniques and functionalities. The following are some common types of tools utilized within the DO-178B/C context:

Static Analysis Tools

Static analysis tools analyze source code or models without executing the software. They examine the code structure, syntax, and semantics to identify potential defects, vulnerabilities, and violations of coding standards. These tools are particularly useful for detecting issues related to memory management, concurrency, and adherence to coding guidelines.

Unit Testing Tools

Unit testing tools automate the execution of test cases designed to verify the behavior of individual software units, such as functions or modules. These tools provide a framework for defining and running tests, capturing and analyzing test results, and generating code coverage reports. Unit testing tools play a vital role in verifying the correctness and robustness of software components.

Model-based Testing Tools

Model-based testing tools generate test cases automatically based on system models or specifications. These tools assist in creating comprehensive test suites that cover various scenarios and interactions within the software. Model-based testing can be particularly useful for verifying complex systems with intricate behavioral dependencies.

Requirements Traceability Tools

Requirements traceability tools establish and maintain traceability links between software requirements, design elements, and verification artifacts. These tools facilitate the tracking and verification of requirements throughout the software development lifecycle. They enable developers to demonstrate that the implemented software meets the intended requirements and provide evidence for compliance during certification processes.

Considerations for Selecting and Using Software Verification Tools

When selecting and using software verification tools within the DO-178B/C context, several considerations should be taken into account:

Tool Qualification

The DO-178B/C standard requires that verification tools themselves undergo a qualification process. It is crucial to ensure that the selected tools are suitable for the intended purpose and can produce objective evidence that meets the standard’s requirements. Tool qualification activities involve analyzing the tool’s development process, documentation, and evidence of its correct operation.

Tool Integration

Software verification tools should seamlessly integrate into the development environment and workflow. They should support the programming languages, platforms, and development methodologies used in the project. Compatibility with existing development tools, such as compilers and integrated development environments (IDEs), is also essential to ensure a smooth integration process.

Scalability and Performance

Consider the scalability and performance characteristics of the verification tools, especially for larger software projects. Some tools may struggle to handle complex systems with a large codebase, resulting in long analysis or testing times. It is essential to evaluate the tools’ performance and ensure they can meet the project’s needs without significant impact on development timelines.

Training and Support

Adequate training and support for the selected software verification tools are crucial for successful adoption and usage. Development teams should receive proper training on tool usage, best practices, and interpretation of tool output. Additionally, the availability of timely technical support and access to documentation and user communities can significantly assist teams in resolving issues and maximizing the benefits of the tools.

Visure Requirements ALM Platform for DO-178B/C

Visure Requirements ALM Platform is a comprehensive software solution designed to support the development and verification of safety-critical systems, specifically in accordance with the DO-178B/C standard. It offers a suite of features and capabilities that facilitate requirements management, traceability, and verification activities, helping organizations streamline their development processes and achieve compliance with the standard.

The Visure Requirements ALM Platform provides the following key functionalities for DO-178B/C compliance:

Requirements Management

The platform enables organizations to effectively manage their requirements throughout the entire software development lifecycle. It allows users to capture, organize, and document requirements in a centralized repository. The platform provides customizable templates for defining requirements, allowing users to capture specific DO-178B/C-related information, such as safety requirements, design constraints, and system functionality.

Traceability Management

Ensuring traceability is a critical aspect of DO-178B/C compliance. The Visure Requirements ALM Platform enables users to establish and maintain traceability links between different artifacts, including requirements, design elements, test cases, and verification activities. This traceability matrix provides a clear understanding of the relationships between various components, facilitating impact analysis and demonstrating compliance during certification processes.

Verification Management

The platform offers capabilities for managing the verification process in line with DO-178B/C requirements. It provides functionalities for defining and executing verification tests, tracking test results, and generating reports. Users can create test cases, associate them with requirements, and track the execution and coverage of those tests. The platform also supports the integration of automated testing tools to streamline the verification process.

Compliance and Configuration Management

Visure Requirements ALM Platform incorporates features to support compliance management and configuration control. It allows organizations to define and enforce compliance guidelines and standards specific to DO-178B/C. The platform provides workflows and processes for change management, version control, and baselining, ensuring that all modifications to requirements and associated artifacts are properly tracked and auditable.

Collaboration and Collaboration

Collaboration and communication are essential for effective software development. The Visure Requirements ALM Platform offers collaboration features that enable teams to work together efficiently. Users can collaborate on requirements, share feedback, and track changes. The platform provides notifications, comments, and discussions to facilitate communication and ensure that all stakeholders are involved and informed throughout the development process.

Reporting and Documentation

The platform provides comprehensive reporting capabilities to generate documentation required for DO-178B/C compliance. Users can create customized reports and generate documentation, such as requirement specifications, traceability matrices, and verification reports. These reports serve as evidence of compliance with the standard and support the certification process.

In summary, the Visure Requirements ALM Platform is a powerful tool designed to support organizations in achieving compliance with the DO-178B/C standard. It provides robust requirements management, traceability, verification, compliance, and collaboration functionalities, along with comprehensive reporting capabilities. By leveraging this platform, organizations can streamline their software development processes, enhance traceability, and effectively demonstrate compliance with DO-178B/C requirements.

DO 178c Tool Qualification


In conclusion, software verification tools are invaluable assets in the development and certification of safety-critical systems in compliance with the DO-178B/C standard. By automating verification activities, detecting errors, ensuring compliance, and improving code quality, these tools enhance the efficiency, reliability, and safety of software systems. As organizations strive to meet the rigorous requirements of DO-178B/C, considering the selection and usage of appropriate software verification tools becomes crucial. To experience the benefits of such tools, including efficient requirements management, traceability, and verification processes, it is worth exploring Visure Solutions’ Visure Requirements ALM Platform. Check out their free 30-day trial to witness firsthand how this comprehensive platform can support your software development and verification needs in accordance with the DO-178B/C standard.

Don’t forget to share this post!


The High Cost of Poor Requirements Management

June 06th, 2024

11 am EST | 5 pm CET | 8 am PST

Louis Arduin

Louis Arduin

Main Speaker

Impact & Solutions for Inefficient Requirements Management

Explore the significant impact that inefficient requirements management practices can have on project costs and timelines.