Blog Posts 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.
Mark Hermeling, Sean Evoy
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.
Mark Hermeling
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…
Mark Hermeling
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…
Mark Hermeling
Getting Started in Functional Safety with Rust
Expert-Led Rust Training for Safety-Critical Teams
Mark Hermeling
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.
Mark Hermeling
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…
Mark Hermeling
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…
Mark Hermeling
GNATpolyglot: Mastering Multiple Languages
This blog introduces GNATpolyglot, a new capability in the GNAT Pro toolchain.
Mark Hermeling
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…
Mark Hermeling
MISRA for Memory Safety
MISRA is the top coding standard for C/C++ in embedded systems, but its full adherence is often impractical. Its rules can be split into three…