Stefano Stabellini
where else to find them
github:sstabellini
linkedin:stabellini
what they talk about
all 5 in the filters
where they keep going back
- Safety-Critical Software Summit @ Embedded Open Source Summit2 editions2023–2024
- Critical Software Summit @ Open Source Summit North America2 editions2022–2023
- Embedded Linux Conference + OpenIoT Summit North America2 editions2017–2018
all 12 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- George Dunlap8 talks
- Pierre Ficheux8 talks
- Bertrand Marquis5 talks
- Jim Huang18 talks
- Vaishnav Mohandas Achath10 talks
- Jan Kiszka24 talks
| title | conference | date |
|---|---|---|
| The Xen Safety Concept, a Major Milestone Toward Certification | Open Source Summit North America 2025 | 2025-06-23 |
Xen achieves a concrete milestone: Safety Concept Approval (Q4 2024) from third‑party assessors, committing to ISO 26262 and IEC 61508 certification paths… | ||
| Next Generation Xen Architecture for Automotive | Xen Project Summit 2024 | 2024-06-04 |
Xen runs as a common hypervisor across AMD x86 PVH and ARM A‑profile and R‑profile, boots multiple VMs in parallel with Dom0-less (Hyperlaunch) operation, and… | ||
| Xen Project's Progress Toward Safety Certification | Safety-Critical Software Summit @ Embedded Open Source Summit 2024 | 2024-04-16 |
Xen aims for ISO 26262 ASIL D and IEC 61508 SIL 3 certifiability across AMD x86 and ARM, with concrete wins: 80% of relevant MISRA C rules integrated into Xen… | ||
| Xen Project's Progress Toward Safety Certification | Embedded Open Source Summit 2024 | 2024-04-16 |
Xen is undergoing a practical safety push: in nine months it adopts 80% of relevant MISRA C rules into its coding style, drops violations from about 2 million… | ||
| Safety Certifying an Open Source Project: The Example of Xen | Safety-Critical Software Summit @ Embedded Open Source Summit 2023 | 2023-06-27 |
Xen moves from informal upstream development to a certified-ready product by mapping open-source processes to safety requirements, targeting ISO 26262 and IEC… | ||
| Safety-Certifying Open Source Software: The Case of the Xen Hypervisor | Critical Software Summit @ Open Source Summit North America 2023 | 2023-05-10 |
AMD aims to safety-certify upstream Xen for IEC 61508 SIL3 and ISO 26262 ASIL‑D by keeping work upstream, adding MISRA checks (about 45 rules adopted so far)… | ||
| Xen in Safety-Critical Systems | Critical Software Summit @ Open Source Summit North America 2022 | 2022-06-21 |
Xen claims a concrete path toward safety certification: hypervisor core drops below 50,000 lines of code (goal <30k), Dom0 becomes optional so guests can boot… | ||
| Static Partitioning with Xen, LinuxRT, & Zephyr: A Concrete End-to-end Example | Embedded Linux Conference @ Open Source Summit North America 2022 | 2022-06-21 |
Boots a Xen-based static-partition system on a Xilinx ZCU102 (QEMU used for demo) with three domains: a minimal Linux dom0 (optional), a LinuxRT VM (2 vCPUs, 2… | ||
| System Device Tree and Lopper: Concrete Examples | Embedded Linux Conference @ Open Source Summit North America 2022 | 2022-06-21 |
System Device Tree extensions plus Lopper automate extracting per-guest device trees, changing interrupt parents, removing or renaming properties, and adding… | ||
| Static Partitioning and VM-to-VM Communication Mechanisms | Open Source Summit + Embedded Linux Conference + OSPOCon 2021 | 2021-09-27 |
Claims that embedded setups need static partitioning not cloud-style virtualization, and compares four concrete VM-to-VM channels: virtio with unprivileged… | ||
| Heterogeneous Hardware-Accelerated OCI Containers & Secure OCI Containers | Linaro Tech Days 2020 | 2020-03-24 |
Proposes concrete OCI image spec extensions that add OCI image manifest key/value pairs to declare accelerators, FPGA bitstreams, kernels and ramdisks… | ||
| Static Partitioning Made Simple | Open Source Summit + Embedded Linux Conference North America 2019 | 2019-08-21 |
Describes a dom0-less Xen mode that boots multiple VMs in parallel from the hypervisor, loading kernels and initrds via an extended device tree so static… | ||
| Xen Dom0-less | Linaro Connect Bangkok 2019 | 2019-04-01 |
Claim: Xen’s Dom0-less feature boots Xen plus multiple guest kernels and initrds in parallel so a small critical guest goes from ~10s to boot critical app in… | ||
| Secure Containers in Embedded Deployments | Embedded Linux Conference + OpenIoT Summit North America 2018 | 2018-03-12 |
Claims that containers stay as the packaging layer while an embedded hypervisor enforces isolation so real‑time and safety are preserved; implements this with… | ||
| Xen and the Art of Embedded Systems Virtualization | Embedded Linux Conference + OpenIoT Summit North America 2017 | 2017-02-21 |
Xen on ARM uses hardware virtualization (no QEMU emulation) and implements the port in ~30,000 lines of code, claiming assign any MMIO region and interrupts to… | ||
| Xen on ARM Update | Xen Project User Summit 2013 | 2013-09-16 |
Xen runs on ARM upstream in Linux 3.11 as Dom0 or DomU 32‑ and 64‑bit, Xen 4.3 supports ARMv7 and ARMv8 and a Xen 4.4 release is planned; ports target… | ||
| nothing matches | ||