Groups | Search | Server Info | Login | Register
Groups > comp.arch.embedded > #32439
| From | Niocláisín Cóilín de Ghlostéir <Spamassassin@irrt.De> |
|---|---|
| Newsgroups | comp.lang.ada, sci.electronics.design, comp.arch.embedded, alt.security, alt.security.alarms, comp.security.misc |
| Subject | NVIDIA Spark Process |
| Date | 2025-06-10 00:47 +0200 |
| Organization | A noiseless patient Spider |
| Message-ID | <5b355c04-e8c8-8be2-e95a-93949512ff5b@irrt.De> (permalink) |
Cross-posted to 6 groups.
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;
Back to comp.arch.embedded | Previous | Next — Next in thread | Find similar
NVIDIA Spark Process Niocláisín Cóilín de Ghlostéir <Spamassassin@irrt.De> - 2025-06-10 00:47 +0200 Re: NVIDIA Spark Process john larkin <jl@glen--canyon.com> - 2025-06-09 16:02 -0700
csiph-web