BUGSENG at Open Source Summit Europe 2024

Join BUGSENG at OSSummit Europe, September 16-18 in Vienna!

Open Source Summit is the premier event for open source developers, technologists, and community leaders to collaborate, share information, solve problems and gain knowledge, furthering open source innovation and ensuring a sustainable open source ecosystem. It is THE gathering place for open source code and community contributors.

Open Source Summit is a conference umbrella, composed of a collection of events covering the most important technologies, topics, and issues affecting open source today.

On September 16th, BUGSENG, in a  joint work with The Xen Project,  will be giving a talk:

BRINGING EXISTING CODE INTO MISRA COMPLIANCE: CHALLENGES AND SOLUTIONS

Monday, September 16, 2024 15:25 – 16:05 CEST

Room 2.15 (Level 2)

Bringing an existing codebase into MISRA compliance is known to be a difficult, risky and time consuming task. Yet, when a product needs a functional safety certification and rewriting the software is out of question, this is a necessity. Such an endeavor requires facing multiple tradeoffs and, consequently, lots of experience both on the codebase and on MISRA. The choices between deviating the guideline, and the (often, many) ways in which code may be changed and deviations may be formulated, are tough and with consequences that are not immediately evident. While, clearly, a project undertaking MISRA compliance at a late development stage is likely to rely on deviations more than other projects, one should take into account the interdependencies among MISRA guidelines and that such deviations have to be rock-solid (as they will inevitably catch the assessors’ attention).

In this presentation, we illustrate our experience and the several lessons learned while undertaking MISRA compliance work in several projects.This includes closed-source projects (which cannot be disclosed for confidentiality reasons) as well as open-source projects, most notably the Zephyr RTOS and the Xen hypervisor, both used in many embedded systems.

Key take-home points include: effective deviation strategies and mechanisms; dealing with the MISRA C essential type model (guidelines related to that account for many of the violations in existing codebases); interaction with open-source communities.

Check out our session, titled “Critical Software Summit”.

The schedule is STACKED with engaging presentations and panel discussions, as well as opportunities to network with the Open Source community.

Explore the schedule

Register today