Loading…
Open Source Summit + Embedded Linux Conference North America...
May 18-20, 2026
Minneapolis, MN
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 North America 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 DaylightTime (UTC -5). To see the schedule in your preferred timezone, please select from the drop-down menu to the right, above "Filter by Date."

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


Type: Safety-critical Software clear filter
arrow_back View All Dates
Wednesday, May 20
 

11:00am CDT

Software Supply Chain Management With the Yocto Project - Joshua Watt, Garmin
Wednesday May 20, 2026 11:00am - 11:40am CDT
Managing software supply chains is an important part of safety critical software. In this talk, Joshua will describe the technologies, methods and lessons learned that the embedded software space uses to manage software supply chains using the Yocto project.
Speakers
avatar for Joshua Watt

Joshua Watt

Staff Software Engineer, Garmin
Joshua is a Staff Software Engineer for Garmin with 18 years experience producing consumer electronics. He has worked on the Yocto SPDX SBoM implementation, and is a member of the Yocto Project TSC as well as the OpenEmbedded TSC.
Wednesday May 20, 2026 11:00am - 11:40am CDT
200C (Level Two)
  Safety-critical Software

11:55am CDT

The Final Phase of Xen Safety: Solving Coverage and Residual Gaps - Stefano Stabellini, AMD
Wednesday May 20, 2026 11:55am - 12:35pm CDT
AMD, in collaboration with the Xen community, continues to advance efforts to make the Xen hypervisor safety-certifiable to ISO 26262 ASIL D and IEC 61508 SIL 3. The project has progressed from Safety Concept Approval toward the final certification phase.

This presentation will share practical lessons learned, including how we structure requirements and architecture specification documents to make them easier to review for Open Source experts. It will describe the tools and processes we use to maintain end-to-end traceability and explain how we leverage GitLab to automate requirements-based testing and verification pipelines.

We will also address the remaining challenges on the path to completion, including code coverage and FMEA. In particular, we will explain why achieving comprehensive code coverage is uniquely challenging for a widely used Open Source project such as Xen and outline the strategies we are applying to meet 100% code coverage targets.

Finally, we will describe our approach to FMEA (Failure Mode and Effects Analysis) and how it evolved to better align with existing upstream Xen failure-handling practices.
Speakers
avatar for Stefano Stabellini

Stefano Stabellini

Fellow, AMD
Stefano Stabellini is a Fellow at AMD, where he leads system software architecture and the virtualization team. Previously, he developed a virtualization-based security solution for containers and authored several security articles. Stefano has been involved in Xen development since... Read More →
Wednesday May 20, 2026 11:55am - 12:35pm CDT
200C (Level Two)
  Safety-critical Software

2:10pm CDT

From Pull Request To Patient Safety: How Tidepool Built an Open-Source Quality Management System - Tapani Otala, Tidepool
Wednesday May 20, 2026 2:10pm - 2:50pm CDT
When software can directly affect whether someone lives or dies, "move fast and break things" isn't an option. But does that mean safety-critical software can't be open source? Tidepool's experience building Tidepool Loop - an FDA-cleared, open-source automated insulin delivery (AID) system for people with Type 1 diabetes - proves it can.

This talk explores how Tidepool developed an open-source quality management system (QMS) that achieves full requirements traceability and testability while preserving the collaborative, transparent ethos of open-source development. We'll walk through the real-world challenges of mapping regulatory requirements to code contributions, maintaining traceability across a distributed contributor base, and building test infrastructure that satisfies both FDA expectations and open-source community standards.

Attendees will leave with a practical framework for applying requirements traceability and verification practices to open-source projects operating in regulated or safety-critical domains from medical devices to automotive systems to critical infrastructure.
Speakers
avatar for Tapani Otala

Tapani Otala

VP, Engineering & Information Security Officer, Tidepool
Tapani has delivered innovative consumer electronics and cloud services over a 30+ year career. Before joining Tidepool in 2018, he was Sr. Director of Engineering at Samsung Research America, building cloud services for SmartTV and mobile apps. Prior to Samsung, he grew and led global... Read More →
Wednesday May 20, 2026 2:10pm - 2:50pm CDT
200C (Level Two)
  Safety-critical Software
  • Audience Experience Level Any

3:05pm CDT

Standardizing Deterministic Interoperability and Resource-Intelligent Design in Medical Robotics - Lilinoe Harbottle, San Jose State University
Wednesday May 20, 2026 3:05pm - 3:45pm CDT
In medical robotics, innovation can be bottlenecked by vertically integrated architectures that contribute to medical “deserts” due to high costs and limited interoperability. This session explores architectural frameworks for standardizing deterministic interoperability, shifting the safety burden from non-transparent hardware to auditable software logic. By establishing these standards, this work ensures that clinical technology is not restricted by fixed vendor-lock.

Through a methodology of high-precision kinematic verification and deterministic mapping, open-source code becomes the catalyst for hardware autonomy. This approach ensures sub-millisecond reliability in the operating room while promoting lifecycle sustainability through vendor-neutral middleware.

Attendees will learn about the implementation of safety-operated envelopes and clinical validation models that facilitate reproducible research and lower barriers to local manufacturing. By prioritizing architectural transparency over closed-loop frameworks, this session outlines a path toward a more sustainable and accessible future for global healthcare.
Speakers
avatar for Lilinoe Harbottle

Lilinoe Harbottle

Systems & Data Engineer, Independent / BME Researcher
Lilinoe Harbottle is a Systems & Data Engineer specializing in high-reliability software for medical robotics. She focuses on standardizing deterministic interoperability and vendor-neutral frameworks to ensure sub-millisecond reliability in safety-critical environments. A Sequoyah... Read More →
Wednesday May 20, 2026 3:05pm - 3:45pm CDT
200C (Level Two)
  Safety-critical Software

4:20pm CDT

Modernizing Software Verification - Craig Christianson, United States Air Force
Wednesday May 20, 2026 4:20pm - 5:00pm CDT
In this session, I will discuss the importance of verifying safety-critical software by giving real-world examples of peoples' lives who were saved or put at risk by software. I will share the compliance challenges faced by software engineers working on safety-critical software. I will give a brief overview of software assurance requirements for safety-critical systems and show how formal methods and automated reasoning are accelerating and improving the assurance process. I will give a brief introduction to automated reasoning tools and semantics, and I will share success stories from a handful of open-source projects who are using these methods to reach assurance goals faster. I will finish by walking the audience through the design of a simple demonstration project that utilizes these technologies.
Speakers
avatar for Craig Christianson

Craig Christianson

Electrical Engineer, United States Air Force
Craig Christianson is an Electrical Engineer currently serving in the 309th Software Engineering Group in the United States Air Force. Craig is a member of SkiCAMP, a small R&D team at Hill Air Force Base working to improve software development practices in the Air Force. Craig specializes... Read More →
Wednesday May 20, 2026 4:20pm - 5:00pm CDT
200C (Level Two)
  Safety-critical Software
 
  • Filter By Date
  • Filter By Venue
  • Filter By Type
  • Audience Experience Level
  • Timezone

Share Modal

Share this link via

Or copy link

Filter sessions
Apply filters to sessions.
Filtered by Date -