From: john larkin <jl@glen--canyon.com>
Subject: Re: NVIDIA Spark Process
Date: Mon, 09 Jun 2025 16:02:17 -0700 [thread overview]
Message-ID: <8spe4k95obpj4or9k088g8vfjquqio5j46@4ax.com> (raw)
In-Reply-To: 5b355c04-e8c8-8be2-e95a-93949512ff5b@irrt.De
On Tue, 10 Jun 2025 00:47:50 +0200, Niocláisín Cóilín de Ghlostéir
<Spamassassin@irrt.De> wrote:
>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;
https://nvidia.github.io/spark-process/process/terminology.html#formally-verified
This reminds me of the old IEEE 488 spec: state diagrams that invoked
PTSD.
prev parent reply other threads:[~2025-06-09 23:02 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-06-09 22:47 NVIDIA Spark Process Niocláisín Cóilín de Ghlostéir
2025-06-09 23:02 ` john larkin [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox