Groups | Search | Server Info | Login | Register
Groups > comp.security.misc > #1584
| Path | csiph.com!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail |
|---|---|
| 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 | Tue, 10 Jun 2025 00:47:50 +0200 |
| Organization | A noiseless patient Spider |
| Lines | 13 |
| Message-ID | <5b355c04-e8c8-8be2-e95a-93949512ff5b@irrt.De> (permalink) |
| MIME-Version | 1.0 |
| Content-Type | text/plain; format=flowed; charset=US-ASCII |
| Injection-Date | Tue, 10 Jun 2025 00:47:53 +0200 (CEST) |
| Injection-Info | dont-email.me; posting-host="0cf756f386a827a6c4f4da240e66d2e8"; logging-data="859652"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19euAFUx99V2d8F0kPtXQOlVc0FYhTWqBNHm085qbNPjg==" |
| Cancel-Lock | sha1:IcEsXKque3XSNp+Qv9TGjzeDGLo= |
| Xref | csiph.com comp.lang.ada:59397 sci.electronics.design:733782 comp.arch.embedded:32439 alt.security:1276 alt.security.alarms:20350 comp.security.misc:1584 |
Cross-posted to 6 groups.
Show key headers only | View 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;
Back to comp.security.misc | 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