Content by Mark Hermeling
Mark Hermeling
Head of Technical Marketing, AdaCore
Mark has over 25 years’ experience in software development tools for high-integrity, secure, embedded and real-time systems across automotive, aerospace, defence and industrial domains. As Head of Technical Marketing at AdaCore, he links technical capabilities to business value and is a regular author and speaker on on topics ranging from the software development lifecycle, DevSecOps to formal methods and software verification.
Ada on Zephyr: How the Alire Skill Wires It Together
Integrating Ada code into Zephyr can be simple as a single LLM prompt and a single make command. This post is about what happens between make and a…
The Compliance Trap: Why More Code, More Connectivity, and More Regulation Are Colliding (and What to Do About It)
Software development teams in embedded systems must navigate between stricter regulations, rising customer demands, and unfulfilled AI promises to…
Getting Started in Functional Safety with Rust
Expert-Led Rust Training for Safety-Critical Teams
Escaping the Haystack: CI/CD for Embedded Systems
Escaping the Haystack: CI/CD for Embedded Systems
How fast feedback loops, smart abstraction, and disciplined pipelines change the way embedded software teams work and ship.
Migrating C to Ada SPARK with Agentic AI: A Practical Playbook
Agentic AI can enable teams to re-use existing code bases and carefully decide which parts to translate into Ada SPARK, avoiding problems caused by…
Formal Methods To Improve Code Quality
Memory safety is rightly a major focus in embedded systems. This article outlines the difference between static and dynamic memory safety, and how…
GNATpolyglot: Mastering Multiple Languages
This blog introduces GNATpolyglot, a new capability in the GNAT Pro toolchain.
Ada source level debugging with Lauterbach Trace32
Formal Methods Practice and Theory
Formal methods offer a rigorous way to connect requirements to implementation, enabling developers to prove key properties such as the absence of…
How to Prove the Correctness of AI-Generated Code Using Formal Methods
