From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: =?UTF-8?Q?Niocl=C3=A1is=C3=ADn_C=C3=B3il=C3=ADn_de_Ghlost=C3=A9ir?= 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 Message-ID: <5b355c04-e8c8-8be2-e95a-93949512ff5b@irrt.De> 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: news.eternal-september.org comp.lang.ada:66556 sci.electronics.design:736976 comp.arch.embedded:51991 alt.security:2253 alt.security.alarms:20116 comp.security.misc:3499 List-Id: 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;