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.
Developing High-Integrity Software with AI
Using AI and formal methods to build software
AI-assisted development for high-integrity software: how formal methods, SPARK and deterministic verification keep humans accountable.
How to align with the CRA through Static Analysis
Aligning With the EU CRA: Security Best Practices, and Where Static Analysis Fits
The EU Cyber Resilience Act is in force. How SAST, CI/CD and secure-by-design practices get embedded teams to CRA compliance.
Security Is a Team Sport. Give Your Engineers the Tools to Win.
Security is a team sport. See how CodeSonar static analysis and GitLab help developers fix vulnerabilities fast and meet the CRA.
RustConf 2026 - Montreal
See how RustConf 2026 advanced safety-critical Rust, from functional safety certification and code coverage to memory safety for embedded.
Flight Demo: Preventing Flight Software Failures Using CodeSonar
Catching Defects Before They Fly
See how CodeSonar static analysis finds a null pointer dereference and interprocedural resource leak in FlightGear's C/C++ code.
Rust for DO-178C and ISO 26262
MC/DC for Rust: See how AdaCore and the Rust Foundation are unlocking DO-178C DAL A and ISO 26262 for safety-critical Rust.
GNAT Foundry Intersection
Ada SPARK Office Hours
AdaCore hosts Ada SPARK Office Hours, an open forum for the community to learn, share, and collaborate. Learn more inside.
Specifications Matter: The Case for SPARK in the Undergraduate Curriculum
Explore how AI changes what's worth grading in computer science, and how SPARK gives you something that still differentiates students.