Comment on Ironclad - an OS kernel in Ada

christophski@feddit.uk ⁨1⁩ ⁨year⁩ ago

• huntrss@feddit.de ⁨1⁩ ⁨year⁩ ago

  Automotive, Aerospace. Everywhere where you need safety qualifiable software (safety as in ISO 26262 or equivalent)

  source

  • ICastFist@programming.dev ⁨1⁩ ⁨year⁩ ago

    safety qualifiable software

    Automotive

    Pretty sure the auto industry avoids safe software

    source

    • huntrss@feddit.de ⁨1⁩ ⁨year⁩ ago

      How do you mean this?

      source

      • ICastFist@programming.dev ⁨1⁩ ⁨year⁩ ago

        There’s a general (maybe meme-y) feeling that car manufacturers are just slapping software where they shouldn’t, and it’s shit software. One of the most recent cases is Tesla recalling several self driving cars.

        Also, getting hacked remotely because the majority is as safe as a typical IoT gadget.

        source

        • -> View More Comments
  • 0x0@programming.dev ⁨1⁩ ⁨year⁩ ago

    So pretty much where Ada is currently used, no?

    source

    • huntrss@feddit.de ⁨1⁩ ⁨year⁩ ago

      I assume so

      source