AI Technology
by the people exposed to the software’s operation, so it is an essential acceptance criterion for producing the software in the fi rst place. Until now, the answer has been human review of every AI output. That is slow, and it doesn’t scale. We think there’s a different answer.
CIE: What is AdaCore proposing instead? Tony Aiello: Our tools, driven by an AI that follows a well-defi ned workfl ow, can help furnish the required trust. Since its inception, AdaCore has promoted languages and built
tools that support the safety and security of high-integrity software by establishing deterministic trust, meaning evidence that comes from repeatable analysis and verifi cation rather than from probabilistic judgement. Applying those same tools to AI output could substantially lower the barrier to using AI in high-integrity development, while keeping humans fi rmly in control of the decisions that matter.
CIE: How can engineers see this approach in practice? Tony Aiello: We’ve built a demonstration
project that shows how we think AI-powered high-integrity software development could work at speed. It’s called GNAT Foundry: Intersection, and we’ve published it on GitHub so engineers can explore it for themselves. It’s a demonstrator rather than a finished product, and we’re keen to hear how teams respond to it.
CIE: What should teams be doing now, even if they aren’t ready to adopt AI-generated code? Tony Aiello: Start preparing. Look at
where your verification and certification effort goes today, and think about which steps could be supported by AI if you had a trustworthy way to check the results. The organisations that build that foundation now will be in a stronger position as AI becomes more widely used in safety-critical engineering.
Find out more about GNAT Foundry Intersection at:
https://www.adacore.com/gnat-foundry- intersection
Full custom solutions TFT, LCD, OLED, & low-power standard products UK-based engineering and design support Field based UK support team available to visit your office Wide product selection including flagship Aurum TFT range
Technical Display Solution Partner
sales@midasdisplays.com
www.cieonline.co.uk +44(0)1493 602602 Components in Electronics October 2026 21
Page 1 |
Page 2 |
Page 3 |
Page 4 |
Page 5 |
Page 6 |
Page 7 |
Page 8 |
Page 9 |
Page 10 |
Page 11 |
Page 12 |
Page 13 |
Page 14 |
Page 15 |
Page 16 |
Page 17 |
Page 18 |
Page 19 |
Page 20 |
Page 21 |
Page 22 |
Page 23 |
Page 24 |
Page 25 |
Page 26 |
Page 27 |
Page 28 |
Page 29 |
Page 30 |
Page 31 |
Page 32 |
Page 33 |
Page 34 |
Page 35 |
Page 36 |
Page 37 |
Page 38 |
Page 39 |
Page 40 |
Page 41 |
Page 42 |
Page 43 |
Page 44 |
Page 45 |
Page 46 |
Page 47 |
Page 48
