Newsroom

For decades, automotive embedded systems have been built in C and C++. These languages are powerful and well understood, but they are also unsafe by design. Buffer overruns and underruns, uninitialized variables, and use-after-free errors all trace back to undefined behavior baked into the language that the compiler is unable to catch. For CTOs weighing whether to stay with proven toolchains or adopt something new, the calculation has shifted.

Large language models have made remarkable strides over the past few years, to the point that entire aspects of software engineering that once required careful, manual human attention are on the cusp of automation. Given that large parts of software development will be automated, where is the future of static analysis headed?

Developing formally proven code is challenging. It is also extraordinarily valuable: it produces software with a level of robustness that is otherwise unreachable, and you can have very high confidence that your code will not fail over time. Read on to discover how agentic AI can help make the process of writing correct software easier.

Few people are familiar with Ada nowadays, though it has a long and distinguished history. If you're building high-integrity software, such as flight control software, a medical device, an industrial controller, or similar devices where failure is expensive or can lead to injury, and you're still writing C, you should really take a look at Ada. Moving from C to Ada was not an option for many projects. Still, with the availability of automatic translation of C code to Ada using Large Language Models (LLMs), this situation has changed. Are you skeptical? Read on and see how you can convert code in 15 mins.

See how SPARK is used to implement safe code.In this article, you will learn; How Ada contracts make programs provable. How contracts can be used to make code safer. How contracts make code more maintainable.

AdaCore’s Ada Mars Rover Demo platform is a hands-on example of a cyber-physical system (CPS) in action. In this first part of a 4-part series in Electronic Design, discover a real-life example of CPS in action. Find out more about the Ada SPARK language and how it can be used to benefit CPS. Learn how to achieve higher assurance, clearer software architecture, and more maintainable code.