NVIDIA Spark Process

NVIDIA Spark Process

[Niocláisín Cóilín de Ghlostéir]

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;

Re: NVIDIA Spark Process

[john larkin]

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.