MacMusic  |  PcMusic  |  440 Software  |  440 Forums  |  440TV  |  Zicos
safety
Recherche

[$] Safety certification for open-source systems

mardi 3 juin 2025, 16:41 , par LWN.net
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.
https://lwn.net/Articles/1022889/

Voir aussi

News copyright owned by their original publishers | Copyright © 2004 - 2025 Zicos / 440Network
Date Actuelle
jeu. 5 juin - 14:29 CEST