Subj : [$] Safety certification for open-source systems
To   : All
From : LWN.net
Date : Tue Jun 03 2025 15:45:09

[$] Safety certification for open-source systems

Date:
Tue, 03 Jun 2025 14:41:20 +0000

Description:
This year's Linaro Connect in Lisbon, Portugal featured a number of talks 
about the use of
open-source components in safety-critical systems. Kate Stewart gave a 
keynote on the topic
on the first day of the conference. In it, she highlighted several projects 
that
have been working to pursue safety certification and spoke about the 
importance of
being able to trace software's origins to safety. In a talk on the second 
day, Roberto
Bagnara shared his experience with working on one of those projects, the Xen
hypervisor, to conform to a formal set of rules for safety-critical code.

======================================================================
Link to news story:
https://lwn.net/Articles/1022889/


--- Mystic BBS v1.12 A47 (Linux/64)
 * Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)

.