From: "Niocláisín Cóilín de Ghlostéir" <Spamassassin@irrt.De>
Subject: NVIDIA Spark Process
Date: Tue, 10 Jun 2025 00:47:50 +0200 [thread overview]
Message-ID: <5b355c04-e8c8-8be2-e95a-93949512ff5b@irrt.De> (raw)
Many years after other products . . .
HTTPS://NVIDIA.GitHub.IO/spark-process
has:
"The NVIDIA SPARK Process (GFDL v1.3) describing a software process using
Ada/SPARK to meet ISO 26262."
"Ensure comprehensive functional safety for road vehicles with our ISO
26262 standards bundle, covering all critical aspects from vocabulary to
guidelines."
says
HTTPS://WWW.ISO.org/publication/PUB200262.html
When (ISO or computer) and car => deaths;
next reply other threads:[~2025-06-09 22:47 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-06-09 22:47 Niocláisín Cóilín de Ghlostéir [this message]
2025-06-09 23:02 ` NVIDIA Spark Process john larkin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox