Loading…
Automotive Grade Linux All Member Meeting Summer 2025
9-10 July, 2025 | Berlin, Germany
View More Details & Registration

The Sched app allows you to build your schedule but is separate from your event registration. Please visit the AGL AMM Summer 2025 registration page for more details.

This schedule is automatically displayed in Central European Summer Time (UTC+2). To see the schedule in your preferred timezone, select from the drop-down menu located at the bottom of the menu to the right.
Wednesday July 9, 2025 16:20 - 16:50 CEST
Every time someone says “Linux can’t be made MISRA‑compliant,” chances are some misconceptions are at play about the nature, the objectives and the practice of the MISRA coding standards. This session shares a work‑in‑progress recipe for achieving meaningful, scoped MISRA coverage on selected kernel builds—enough to pass rigorous safety audits without carving the heart out of the code. We’ll show how lessons from our MISRA‑hardened Xen hypervisor are flowing upstream: pragmatic rule‑tailoring that fits open‑source culture, static‑analysis pipelines wired into Kconfig, and a yellow‑flag review lane that turns everyday patches into audit‑ready artifacts. You won’t leave with a magically compliant mainline, but you will see a practical roadmap for shipping Linux‑powered ECUs that ace the clipboard test. Come for the myth‑busting, stay for the war stories, steal the actionable checklist, and join the next sprint—because this mission is tough, but it’s definitely not impossible.
Speakers
avatar for Roberto Bagnara

Roberto Bagnara

Software Verification Expert and Evangelist, Professor of Computer Science, BUGSENG and University of Parma
Roberto Bagnara is professor of Computer Science at the University of Parma and Software Verification Expert and Evangelist at BUGSENG. He coauthored more than 40 papers, in international journals and conference proceedings, on programming languages, static analysis and other techniques... Read More →
Wednesday July 9, 2025 16:20 - 16:50 CEST
Conference Room 1

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Share Modal

Share this link via

Or copy link