A variety of unique submissions demonstrate the ease of learning and using Ada and SPARK in embedded applications.

AdaCore today announced the opening of AdaCore Ltd, which will serve as the company?s UK centre-of-excellence for the development of safety- and security-critical software tools.

Contest shows ease of using Ada and SPARK to develop reliable, safe, and secure software.

AdaCore committed to long-term Ada, C, and C++ support on industry-leading RTOS.

Ada and RISC-V? Yup, that's exactly what's going on, as nVidia has selected Ada to run on its RISC-V core. What does that mean for the future of Ada? That's the question I started with this week's...

Embedded Computing Design's Brandon Lewis talks with Jamie Ayre of Adacore at Embedded World booth #4-149.

Jose Ruiz, a Senior Software Engineer at AdaCore, walks Embedded Computing Design's Rich Nass through the latest developments in AdaCore's QGen product for coding safety-critical software. For more in