* NVIDIA Spark Process
@ 2025-06-09 22:47 Niocláisín Cóilín de Ghlostéir
2025-06-09 23:02 ` john larkin
0 siblings, 1 reply; 2+ messages in thread
From: Niocláisín Cóilín de Ghlostéir @ 2025-06-09 22:47 UTC (permalink / 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;
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: NVIDIA Spark Process
2025-06-09 22:47 NVIDIA Spark Process Niocláisín Cóilín de Ghlostéir
@ 2025-06-09 23:02 ` john larkin
0 siblings, 0 replies; 2+ messages in thread
From: john larkin @ 2025-06-09 23:02 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2025-06-09 23:02 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
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 is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox