Slashdot Mirror

← Back to Stories (view on slashdot.org)

Linux Foundation Launches ELISA, an Open Source Project For Building Safety-Critical Systems (venturebeat.com)

Posted by msmash on from the tightening-security dept.

The Linux Foundation today launched Enabling Linux in Safety Applications (ELISA), an open source project comprising tools intended to help companies build and certify Linux-based systems whose failure could result in loss of human life, significant property damage, or environmental damage. From a report: In partnership with British chip designer Arm, BMW, autonomous platforms company Kuka, Linutronix, and Toyota, ELISA will work with certification and standardization bodies in "multiple industries" to establish ways Linux can form the foundation of safety-critical systems across industries.

2 of 36 comments (clear)

  1. How do you feel about that? by goombah99 · · Score: 4, Funny

    Why would you say that?

    Obscure joke, lets see who gets it.

    --
    Some drink at the fountain of knowledge. Others just gargle.
  2. Formal Verification by JBMcB · · Score: 4, Interesting

    Why not start with a formally verified kernel instead of the relative chaos that is Linux kernel development?

    https://en.wikipedia.org/wiki/...

    The kernel and proofs are licensed under GPLv2, and tools are BSD 2-clause.

    --
    My Other Computer Is A Data General Nova III.