1. Forum
  2. Usenet
  3. COMP.ARCH.EMBEDDED

  • NVIDIA Spark Process

    From =?UTF-8?Q?Niocl=C3=A1is=C3=ADn_C=C3@21:1/5 to All on Tue Jun 10 00:47:50 2025
    XPost: comp.lang.ada, sci.electronics.design, alt.security
    XPost: alt.security.alarms, comp.security.misc

    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;

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From john larkin@21:1/5 to [email protected] on Mon Jun 9 16:02:17 2025
    XPost: comp.lang.ada, sci.electronics.design, alt.security
    XPost: alt.security.alarms, comp.security.misc

    On Tue, 10 Jun 2025 00:47:50 +0200, Niocl�is�n C�il�n de Ghlost�ir <[email protected]> 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.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)