Name: MISRA C and C++ in OSS: Yes, We Can! - Roberto Bagnara, BUGSENG / University of Parma
Start: 2025-08-27T16:20:00+0200
End: 2025-08-27T17:00:00+0200

25-27, August 2025
Amsterdam, Netherlands
View More Details & Registration
Note: The schedule is subject to change.

The Sched app allows you to build your schedule but is not a substitute for your event registration. You must be registered for Open Source Summit Europe 2025 to participate in the sessions. If you have not registered but would like to join us, please go to the event registration page to purchase a registration.

This schedule is automatically displayed in Central European Summer Time, CEST (UTC +2). To see the schedule in your preferred timezone, please select from the drop-down menu to the right.

IMPORTANT NOTE: Timing of sessions and room locations are subject to change.

Wednesday August 27, 2025 16:20 - 17:00 CEST

D204

Building software systems that embody industry best practices for safety and security cannot be done in unrestricted C or C++. While C and C++ have many strong points, their rooting the the C of the 1970's are the origin of their weakness: they have many aspects that are not fully defined, obscure corners that can easily mislead programmers, and C comes without any sort of run-time error detection. As open-source software is being adopted in safety- and security-critical systems, compliance with the relevant industry standards is becoming a priority. The MISRA C and MISRA C++ coding standard define subsets of C and C++ that have been adopted across all industry sectors that develop software in critical contexts. In this tutorial, we introduce MISRA C/C++, their key role in the development of critical systems' software and their relevance to industry safety and security standards. The presentation is specifically designed for open-source practitioners and will leverage our experience in bringing the MISRA coding standards in open-source projects (most prominently, Xen and Zephyr).

Speakers

Roberto Bagnara

Functional Safety Expert / Professor, BUGSENG / 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 August 27, 2025 16:20 - 17:00 CEST
D204

Safety-critical Software

Audience Experience Level Intermediate

Open Source Summit Europe 2025

Roberto Bagnara

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