Defence

Defence Software Engineering & Verification Services.

In the defence sector, software integrity is a matter of mission success and operational safety. Systems must function flawlessly under extreme conditions while meeting the highest security and reliability standards. We provide specialized engineering and verification services for complex military platforms, ensuring full compliance with standards such as MIL-STD 498 and DO-178C.

Trusted Partner in Mission System Verification for Defence Aerospace.

Our extensive track record includes long-term participation in major Airbus Defence and Space programs, particularly within the A400M ecosystem. A key highlight of our expertise is the comprehensive verification of core components of the A400M Mission Management System (M-MMS). For those parts of this critical component, we successfully conducted the entire Low-Level Verification as well as significant portions of the High-Level Verification. This deep involvement demonstrates our ability to manage massive verification campaigns and deliver the rigorous evidence required for military airworthiness certification. Our commitment to precision ensures that your mission-critical software remains robust, secure, and ready for deployment.

Competences

Services for the Verification of Complex Software Projects of DAL-A criticality.

In most cases, customers of the defence domain do already have an extensive set of established processes for the development and verification of (software) systems of high criticality. In such cases, we provide our expertise using already available tool chains in order to match customer needs and in order to integrate our services in approaches well-known to the customer and approved by certification authorities. If there are gaps in available tool landscapes, we offer tailor-made solutions that can be integrated with existing applications, e.g. by setting up ways to connect parts of our RT-Tester family with verification tools of other suppliers or by developing specialised tools in close communication with the customer.

Showcase

Low-Level Verification of the M-MMS System for A400M

The Airbus A400M provides a complex military mission management system (M-MMS). Together with our partner Philotech, Verified Systems performed the low-level software verification for core parts of the M-MMS for Airbus. This included code verification, design verification and low-level testing for software modules according to DO-178C DAL-A requirements. In close cooperation with Airbus and the certification authorities, Verified Systems tailored verification procedures and checklists for these activities, performed all resulting verification steps using the predefined Airbus tool chains and finally supported the successful formal certification itself.

Get in Touch

Get More Information

Take the next step toward efficient and certification-ready testing. Get in touch to learn more about Verification of Defence Systems, discuss how we can support your projects.