From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: john larkin <jl@glen--canyon.com>
Newsgroups: comp.lang.ada,sci.electronics.design,comp.arch.embedded,alt.security,alt.security.alarms,comp.security.misc
Subject: Re: NVIDIA Spark Process
Date: Mon, 09 Jun 2025 16:02:17 -0700
Organization: A noiseless patient Spider
Message-ID: <8spe4k95obpj4or9k088g8vfjquqio5j46@4ax.com>
References: <5b355c04-e8c8-8be2-e95a-93949512ff5b@irrt.De>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 10 Jun 2025 01:02:20 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="acd7885725010af38518f99bdd73bff8";
	logging-data="866889"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/5+oWUQi84g3qUxxQR3puo"
User-Agent: ForteAgent/8.00.32.1272
Cancel-Lock: sha1:4sMgOxRbmp5sd/01Ns3+mwvQH9M=
Xref: news.eternal-september.org comp.lang.ada:66557 sci.electronics.design:736977 comp.arch.embedded:51992 alt.security:2254 alt.security.alarms:20117 comp.security.misc:3500
List-Id: <comp.lang.ada>

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.