Products
Manufacturers
Published
9 April 2026
Written by Yunus Unal Mechatronics Engineer and Content Specialist
Yunus is a mechatronics engineer with a background in 5G mobile communications and intelligent embedded systems. Before joining TKO and ipXchange, he developed and tested IoT and control-system prototypes that combined hardware design with embedded software. At ipXchange, Yunus applies his engineering knowledge and creative approach to produce technical content and product evaluations.
AdaCore is focused on safety critical embedded software, with tooling and languages aimed at systems where failure is not acceptable.
At Embedded World 2026, the company showed three sides of that approach. First was a Mars rover demo built in Ada and SPARK, with formal verification used to prove key properties of the software. Second was embedded Rust, where AdaCore helps companies bring Rust onto specific hardware targets with the right board support, tooling, and long-term support. Third was CodeSonar, a static analysis tool that helps developers catch issues such as vulnerabilities and runtime faults while writing code, rather than only after testing.
The main value for engineers is clear. AdaCore helps teams build or migrate codebases with stronger guarantees around memory safety, correctness, and long-term maintainability. That is especially relevant in sectors such as robotics, medical, automotive, railway, and aerospace.
For teams evaluating safer software workflows, AdaCore offers a practical route into Ada, SPARK, Rust, and verification tooling.
Comments are closed.
Comments
No comments yet