Rapita Systems and Avionyx Partner to Accelerate Avionics Certification

Rapita Systems and Avionyx partner to streamline DO-178C DAL A avionics certification, focusing on multicore processors and next-gen aircraft.

airpronews.com

Publish your data, AI techniques, and agentic engineering work on Towards Data Science

You're already building with Claude, OpenClaw, and the next generation of AI tools. Here's where to publish what you learn.

bit.ly

DEFCON 33: Track 1 Talks

YouTube video by DEFCONConference

youtube.com

Revisiting the Mars Rover Safety Monitor

by M. Anthony Aiello – Jul 17, 2025. In the blog

blog.adacore.com

Ensuring Software Safety in the Automotive Industry

YouTube video by SAE Media Group

youtube.com

Navigating Mars with Rust: Developing an Autonomous Pathfinding Rover

by Stephen Hedrick – Jun 17, 2025. This blog showcases how Rust was used to implement the D*-Lite pathfinding algorithm for an autonomous Mars rover simulation. It highlights Rust’s strengths—such...

blog.adacore.com

What’s All the Fuzz About?

by Andrea Bristol – Jun 30, 2025. In this blog, we discover Fuzz Testing and how GNATFuzz can be used as part of AdaCore’s GNAT Dynamic Analysis Suite.

blog.adacore.com

CHERI on Top: AdaCore's Hardware 'Fix' for Legacy C/C++ Code

As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.

bit.ly

Formal Methods for an Insecure World

by Andrea Bristol – May 09, 2025. This article unpacks what it means to be Secure by Design, outlining practical measures for integrating security into the software lifecycle. It highlights the critical role of formal methods, particularly the SPARK technology, in delivering on this vision.

blog.adacore.com

AdaCore e CodeSecure si fondono per formare una società globale che offra soluzioni integrate di tutela e sicurezza del software

ilgiornale.it

AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions

[New York, US, 06/18/25] AdaCore, which provides software development tools for mission-critical systems, and embedded software security company CodeSecure, today announced a definitive merger agreement. The merger creates a unified company committed to advancing software safety, security, and reliability across critical industries. The merger combines two highly complementary portfolios: AdaCore’s expertise in high-integrity software development…

securityboulevard.com

How 2 Ransomware Attacks on 2 Hospitals Led to 2 Deaths in Europe

Two deadly Ransomware Attacks on European hospitals show cybercrime now risks lives not just data with patients dying after treatment delays.

hackread.com

blog.adacore.com

Turning AI Experiments Into Enterprise Impact: Lessons Learned

Every enterprise is experimenting with AI, but few are achieving real value. Learn how to take advantage of AI’s transition into widespread use.

bit.ly

AdaCore and CodeSecure Merge to Form a Global Company Providing Embedded Software Security and Safety Solutions

AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

adacore.com

NVIDIA Security Team: “What if we just stopped using C?”

by Fabien Chouteau – Jan 30, 2023. Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for the case stud...

blog.adacore.com

CHERI on Top: AdaCore's Hardware 'Fix' for Legacy C/C++ Code

As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.

bit.ly

CHERI on Top: AdaCore's Hardware 'Fix' for Legacy C/C++ Code

As federal deadlines loom for memory-safe code requirements, AdaCore offers practical solutions combining hardware innovation, strategic rewrites, and formal verification methods to secure legacy systems without complete overhauls.

bit.ly

Hacking the Linux Kernel in Ada - Part 3 - Embedded Computing Design

For this three parts series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board (ker...

embeddedcomputing.com