BAeHAL has expertise in integration and Independent Verification & Validation for safety and mission critical software for applications in airborne systems, railway signaling systems and weapons systems. Based on IV & V evaluation, the software product is certified by certification agencies. BAeHAL follows "V" & "W" model for IV & V activities.

The services range from the product & process verification and validation through out the software development life cycle based on standards like DO-178B, DOD-STD-2167A and MIL-STD-882D, CENELEC EN 50128.

IV & V process includes code evaluation through analysis, review, inspection and conformance to specification, design and coding standards.

Projects

Formal software verification of FADEC for Trent 900 of Airbus A380
Evaluation and requirement-based testing for transmission based      signalling system
	• CENELEC EN 50128
	• Ada 95 & C