BUGSENG at IWES 2026

BUGSENG will take part in IWES 2026, the 11th Italian Workshop on Embedded Systems, taking place in Naples on 17–18 September 2026, at the University of Napoli Parthenope, Centro Direzionale, Isola C4.

IWES is a well-established meeting point for the exchange of research experience between academia and industry on all aspects of embedded systems. The workshop promotes discussion among research groups, supports collaboration between academia and companies, and helps raise awareness of embedded-systems technologies and career opportunities among students and young researchers.

At IWES 2026, BUGSENG will present a talk on the functional-safety assurance of existing open-source software, using the Xen Hypervisor as a concrete case study.

Functional-Safety Assurance of Existing Open-Source Software: Lessons from the Xen Hypervisor

The use of open-source software in embedded systems is now common, including in domains where functional-safety certification is required. The difficult part is building a defensible safety argument when the software was not originally developed according to the target safety lifecycle.

Drawing on experience with the Xen Hypervisor in the context of ISO 26262, and also taking ISO/PAS 8926:2024 into account, the talk will discuss evidence and engineering activities that support the use of pre-existing open-source software under functional-safety standards.

The presentation will focus on verification activities that contribute to a functional-safety case for existing software: MISRA-related static analysis, triage of analysis results, deviation management, configuration and intended-use considerations, dynamic analysis, test coverage, and the interpretation of uncovered code in highly configurable software.

Authors:
Roberto Bagnara, University of Parma and BUGSENG, Italy
Nicola Vetrini, BUGSENG, Italy
Abramo Bagnara, BUGSENG, Italy
Stefano Stabellini, AMD, USA

Speaker:
Roberto Bagnara

Information on the detailed program will be available soon on the IWES 2026 website.

Will you be in Naples for IWES 2026?

Meet us to explore how your organization can turn existing software, including open-source and legacy C/C++ components, into credible evidence for functional-safety certification. Topics may include MISRA compliance, software qualification, test coverage, deviation management, and certification-ready verification workflows.

Get in touch