Indimax

IV&V

Training Module: Verification via Review, Analysis, and Testing

In safety-critical engineering, the Verification process acts as the ultimate gatekeeper. This module focuses on the transition from Development to Certification, teaching your team how to verify that every plan, requirement, and line of code is “Correct, Complete, and Verifiable.”

Led by industry veterans Dinabandhu Behera, this course provides the checklists and technical methods used by global leaders like Thales, HAL, and DRDO.

Core Methodology: Review & Analysis

The first step of verification isn’t running code—it’s verifying the process. We teach the formal methods of Review and Analysis to catch errors before they reach the hardware.

1. Verifying the Planning Process

  • Checklist-Driven Reviews: How to use standardized checklists to verify the PSAC, PHAC, and Development Plans.
  • Objective Alignment: Ensuring planning documents satisfy all Annex A objectives of the relevant standards.

2. Verifying the Development Process

  • Requirement Reviews: Analyzing High-Level (HLR) and Low-Level Requirements (LLR) for accuracy, consistency, and testability.
  • Design & Code Reviews: Formal walk-throughs to ensure adherence to safety-critical coding standards (MISRA C/C++) and architectural constraints.

Technical Testing & Test Case Development

We move from “paper verification” to “execution verification,” teaching engineers how to write high-integrity test cases.

  • Unit Testing: Developing tests for individual software components to verify low-level requirements.
  • Software Integration Testing: Verifying the inter-relationships between modules and hardware-software interfaces.
  • Test Case Design: Mastering Normal Range, Robustness (Boundary Value), and Error Handling test cases.

Hands-on Tool Training: Mastering LDRA

To provide practical industry skills, this module includes hands-on sessions with LDRA, the industry-standard toolset for verification.

  • Static Analysis: Automating code reviews and identifying complex data-flow anomalies.
  • Dynamic Analysis: Executing code on-target and capturing structural coverage (Statement, Decision, MC/DC).
  • Stubs & Harnesses:
    • Understanding the Stubbing Method to isolate units under test.
    • Developing stubs for hardware peripherals (I2C, SPI, ARINC 429) to simulate real-world data inputs.
    • Managing regressions and automated test execution.

Key Learning Objectives

ObjectiveDescription
Checklist MasteryLearn to build and execute checklists that satisfy FAA/EASA/IMTAR 21 audits.
IndependenceUnderstand the “Independence” requirement for DAL A and B verification.
TraceabilityEnsuring the “Gold Thread” from Requirements to Test Cases to Test Results.
Artifact GenerationHow to produce the Software/Hardware Verification Results (SVR/HVR) as certification evidence.

Who Should Enroll?

  • Verification & Validation (V&V) Engineers
  • Software/Hardware Developers seeking to understand the audit process.
  • Quality Assurance (QA) Professionals responsible for process compliance.