{
    "componentChunkName": "component---src-templates-customer-stories-article-js",
    "path": "/customer-stories/ai-for-high-assurance-software-engineering-in-defence-aerospace/",
    "result": {"data":{"prismicCustomerStory":{"_previewable":"ak9z7BEAACcA36qL","id":"e829b6e4-0eb2-5e30-9285-e4c1d26cfd45","uid":"ai-for-high-assurance-software-engineering-in-defence-aerospace","lang":"en-gb","type":"customer_story","url":"/customer-stories/ai-for-high-assurance-software-engineering-in-defence-aerospace/","tags":["Case Study","Insider Viewpoints"],"data":{"title":{"text":"AI for high-assurance software engineering in defence aerospace"},"subtitle":{"text":"Customer Story"},"summary":{"text":"How Outsmart Insight helped an aerospace and defence consortium understand how AI tools can be used to assist with the design, development and testing of safety-critical software"},"meta_title":{"text":""},"meta_description":{"text":""},"share_image":{"url":null},"body":[{"id":"1f1dc576-4693-5c0e-8280-e5518a4d891f","primary":{"richtextcontent_content":{"raw":[{"type":"image","url":"https://images.prismic.io/outsmartinsight/JXrr1Ph-ibSr6NJf_0_3.png?auto=format,compress","alt":null,"copyright":null,"dimensions":{"width":1456,"height":816},"id":"JXrr1Ph-ibSr6NJf","edit":{"x":0,"y":0,"zoom":1,"background":"transparent"}},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"heading5","text":"The Challenge","spans":[],"direction":"ltr"},{"type":"paragraph","text":"A consortium of leading UK defence organisations – including BAE Systems, MBDA, Leonardo, Rolls-Royce and DSTL – needed to acquire perspectives on the fast-evolving world of AI-assisted software engineering from outside the defence industry. Given the rapid advances in generative AI for software development, the consortium wanted to understand which tools were credible, the risks they presented, and how they could be safely deployed across the life cycle of critical defence software – from requirements and coding to testing, verification and traceability.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"Vendors were approaching the team with claims of powerful AI capabilities, while internally the consortium was still working to differentiate genuine progress from overstated marketing. At the same time, delivery pressure had not paused. The engineers best placed to evaluate emerging tools were also responsible for delivering major software programmes, leaving them limited time to build an informed view of a rapidly evolving market.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"heading3","text":"“It’s kind of like deciphering what’s the smoke and the mirrors… what’s the reality of where these technologies are?” ","spans":[{"start":117,"end":118,"type":"em"}],"direction":"ltr"},{"type":"paragraph","text":"— The Consortium","spans":[{"start":2,"end":16,"type":"strong"}],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"The team needed external perspectives from the people building and deploying AI tools in other comparable high-assurance environments outside the defence and aerospace sectors. By understanding how adjacent industries balanced productivity gains against certification requirements, the consortium could become a more informed customer, reduce procurement risk and develop a practical roadmap for adopting AI assistance without compromising software assurance.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"image","url":"https://images.prismic.io/outsmartinsight/8tuLntWiMhADPKny_FCAS-1-.png?auto=format%2Ccompress&rect=145%2C0%2C3610%2C2600&w=1605&h=1156","alt":null,"copyright":null,"dimensions":{"width":1605,"height":1156},"id":"8tuLntWiMhADPKny","edit":{"x":145,"y":0,"zoom":1,"background":"transparent"}},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"heading5","text":"The Solution","spans":[],"direction":"ltr"},{"type":"paragraph","text":"Outsmart designed an Insider Viewpoints study to provide an independent, evidence-based assessment of how current state-of-the-art AI tools are being developed and adopted across software engineering in high-assurance industries. The study combined targeted expert interviews with cross-sector analysis and benchmarking to explore not only technical capability but also organisational and cultural implications. This included the shift from authoring to reviewing code, and the challenge of training AI models on air-gapped classified data.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"Tapping into Outsmart's 8,500-strong expert network enabled rapid identification of technology pioneers developing tools for reliable and verifiable AI software development, as well as end users responsible for adopting AI-led software development in high assurance industries. Organisations with credible implementation expertise were prioritised, reducing market noise and providing the consortium with insight that was transferable to their high-assurance context. The study explored where AI was genuinely changing engineering practice, where adoption remained experimental, and where significant barriers persisted.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"The same experts then participated in a bespoke workshop, designed and managed in consultation with the client, to further explore the study’s findings and drive engagement within the client team.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"image","url":"https://images.prismic.io/outsmartinsight/fpy_-oSkosG1eehm_01FreeA4A5MagazineMockup.png?auto=format%2Ccompress&rect=489%2C0%2C3221%2C2800&w=1330&h=1156","alt":null,"copyright":null,"dimensions":{"width":1330,"height":1156},"id":"fpy_-oSkosG1eehm","edit":{"x":489,"y":0,"zoom":1,"background":"transparent"}},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"heading5","text":"Technology Highlights","spans":[],"direction":"ltr"},{"type":"list-item","text":"AI-automated fuzz testing: Invalid, unexpected or random data is automatically injected into C/C++ code, helping to compress a workflow requiring around 1,000 expert-hours into a single command.","spans":[{"start":0,"end":26,"type":"strong"}],"direction":"ltr"},{"type":"list-item","text":"AI-assisted formal verification: Mathematical proofs of code correctness are rapidly and autonomously explored, with the safeguard of a deterministic proof checker that rejects ill-formed or hallucinated proofs.","spans":[{"start":0,"end":32,"type":"strong"}],"direction":"ltr"},{"type":"list-item","text":"AI requirements analysis: High- and low-level requirements are autonomously assessed against criteria such as structure, specificity and indivisibility, flagging deficiencies early.","spans":[{"start":0,"end":24,"type":"strong"}],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"heading3","text":"\"The breadth of responses was really useful – we wouldn't have had that breadth of knowledge by asking traditional tooling suppliers.\"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"— The Consortium","spans":[{"start":2,"end":16,"type":"strong"}],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"heading5","text":"The Value and Impact","spans":[],"direction":"ltr"},{"type":"paragraph","text":"Faced with a rapidly proliferating array of apparent solutions, the study helped the consortium become a more sophisticated buyer. By combining perspectives from end-users across multiple high-assurance industries, along with innovators developing suitable deployment solutions, the results enabled the team to better calibrate vendor claims, benchmark their thinking against peer organisations and improve procurement decisions.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"The work also validated the consortium’s view that although AI assistance is becoming pervasive and cannot be ignored, comparable organisations were also adopting these technologies cautiously and systematically.","spans":[],"direction":"ltr"},{"type":"paragraph","text":"","spans":[],"direction":"ltr"},{"type":"paragraph","text":"The study is available to view and download online.","spans":[{"start":4,"end":9,"type":"hyperlink","data":{"link_type":"Web","url":"https://outsmartinsight.cdn.prismic.io/outsmartinsight/aELLLrh8WN-LVu-7_OutsmartInsight_AIassistanceforsoftwaredevelopment.pdf","target":"_blank"}}],"direction":"ltr"}]}},"slice_type":"rich_text_content"},{"id":"cf0bc677-f211-59ee-9b16-16df320f395b","primary":{"cta_button_link":{"url":"/contact/"},"cta_button_text":"Contact us","cta_description":{"text":"Our team is ready to help your organisation gain valuable expert perspectives that inform strategic decisions and strengthen your competitive edge."},"cta_title":{"text":"Get in touch"}},"slice_type":"call_to_action"}]}},"allPrismicCustomerStory":{"nodes":[{"data":{"summary":{"text":"Outsmart Insight helped a deep tech venture capital fund review a portfolio company’s strategy, identify new markets, and assess competitive positioning to inform investment decisions"},"title":{"text":"Validating commercial strategy for post-quantum security"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/J4qSP492EKuAUIg8_outsmart_httpss.mj.run2GGo008bY_8_computer_screen_showing_dig_a461075e-dc87-4cb9-bbb3-782823fb628d_3.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/validating-commercial-strategy-for-post-quantum-security/","tags":["Case Study","Insider Viewpoints"]},{"data":{"summary":{"text":"Outsmart Insight helps defence leaders understand future technologies for extending human healthspan"},"title":{"text":"Understanding the future implications of healthspan innovation"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/fX2BF_6mX5xmTh58_outsmart_httpss.mj.run8eYuhGQ2Ed4_old_beautiful_woman_camoufl_795a2589-a875-40d0-8450-8ff96aab4613_1.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/understanding-the-future-implications-of-healthspan/","tags":["Case Study","Trend Foresight"]},{"data":{"summary":{"text":"How Outsmart turned periodic horizon scanning into a collaborative technology foresight workshop"},"title":{"text":"Helping defence engineers explore Horizon 3 technologies"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/593CmjwnZ2eqhQBW_0_1-3-.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/helping-defence-engineers-explore-horizon-3-technologies/","tags":["Case Study","Futorial"]},{"data":{"summary":{"text":"Outsmart Insight helps a defence engineering company’s sustainability and manufacturing teams join forces to discover frontier robotics and automation technologies"},"title":{"text":"Empowering defence manufacturing through foresight on automation and robotics"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/PdZ-KTBygHf64msT_0_1-2-.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/empowering-manufacturing-through-foresight-on-automation-and-robotics/","tags":["Case Study","Tech Foresight"]},{"data":{"summary":{"text":"How Outsmart Insight helped MBDA scan the resilient image compression industry landscape, turning it into a clear view of potential partners and competitors"},"title":{"text":"Mapping the resilient image compression landscape for time-critical imagery"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/5MpxFQqrbHlaHOKi_outsmart_httpss.mj.runlGkNWZ4amog_satellite_with_waves_under__0f1dac04-b5d8-4cde-9560-3d8ff907d14c_1.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/mapping-the-resilient-image-compression-landscape/","tags":["Case Study","Ecosystem Scouting"]},{"data":{"summary":{"text":"How Outsmart combined strategic foresight and multidisciplinary expertise to help shape a long-term vision for applied marine science"},"title":{"text":"Using foresight to launch a new applied Ocean Research Institute"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/KER94ZrO9JeFhHI7_0_1-1-.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/future-of-ocean-sensing/","tags":["Case Study","Futorial"]},{"data":{"summary":{"text":"How Outsmart helped a G20 coral restoration initiative identify and engage industry partners to scale up globally"},"title":{"text":"Building the global innovation ecosystem for coral restoration"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/dk13_a29H0kayQdd_outsmart_httpss.mj.runo9fS6hvL9HY_httpss.mj.runwUaxs4GMBds_co_022ca0c1-85f7-4061-9d22-e8b7ba04f84b_0.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/coral-restoration/","tags":["Case Study","Ecosystem Scouting"]},{"data":{"summary":{"text":"How Outsmart supported a European defence ministry in building an expert-validated technology roadmap to support personnel recovery"},"title":{"text":"Expert-guided landscape mapping and foresight for rescue beacon technologies  "},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/Z1WBnGIQINGzmIQI_outsmart_httpss.mj.runVfpV6CYZpb4_rescue_mission_--ar_169_--s_14cded8d-6fd5-43ef-b33d-2b65e1a12af8_3.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/expert-guided-landscape-mapping-and-foresight/","tags":["Case Study","Tech Experts"]},{"data":{"summary":{"text":"How Outsmart Insight scanned the world's leading innovations across industries to help deliver a performance edge for Team GB at the Olympics"},"title":{"text":"Keeping a high-performance sports institute ahead of the field"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/XLz_v9jJsJO7Y7_X_outsmart_include_the_flag_for_great_britain_--ar_9151_--v_8.1_fcd16b25-eb4b-4291-aec0-4663a4f445d9_2.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/high-performance-sports-institute/","tags":["Tech Radar","Case Study"]},{"data":{"summary":{"text":"How Outsmart helped a G20 coral restoration initiative identify industry partners, and understand out what it would take for them to engage to scale up globally."},"title":{"text":"Helping coral restoration find the partners it needs to scale"},"listing_image":{"alt":null,"url":"https://images.prismic.io/outsmartinsight/ajvL7FbRV8_Qf0Fs_0_1.png?ixlib=gatsbyFP&auto=format%2Ccompress&fit=max&q=50"}},"url":"/customer-stories/helping-coral-restoration-find-partners/","tags":["Case Study"]}]}},"pageContext":{"id":"e829b6e4-0eb2-5e30-9285-e4c1d26cfd45","tags":["Case Study","Insider Viewpoints"]}},
    "staticQueryHashes": ["786883057","957096962"]}