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.
Abstract Interpretation vs Agentic AI
This blog explores how static analysis compares to using an LLM to find defects in source code, and when would you use one over the other.
Adaptive Static Analysis: ShiftLeft Across All Modalities
Sneak preview of the CodeSonar MCP server analyzing C code and automatic fixing of MISRA violations
From CodeSecure to AdaCore: Our Journeys in Product and Technical Marketing
Hear from Mark Hermeling and Sean Evoy about how they’ve found their transition from CodeSecure to joining AdaCore as part of last year’s merger.
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
How fast feedback loops, smart abstraction, and disciplined pipelines change the way embedded software teams work and ship.
Escaping the Haystack: CI/CD for Embedded Systems
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.