Skip to content

@elisa-tech Enabling Linux in Safety Critical Applications

Change the repository type filter

All

    Repositories list

    23 repositories

    • directory

      Public
      Base for GitHub pages directory to point to ELISA results and knowledge base.
      Creative Commons Attribution 4.0 International
      •2•0•1•2•Updated Nov 28, 2025Nov 28, 2025

    • wg-aerospace

      Public
      ELISA Aerospace Working Group
      linuxaerospacesafety-critical
      TeX
      •
      Other
      •8•32•8•3•Updated Nov 27, 2025Nov 27, 2025

    • BASIL

      Public
      Software Quality Management Tool
      testingquality-assurancespdxsoftware-testingrequirements-managementtraceabilitysafety-criticalsoftwarequalityfunctional-safetytestcases
      Python
      •
      GNU General Public License v2.0
      •9•37•34•2•Updated Nov 26, 2025Nov 26, 2025

    • sig-sgl

      Public
      0•5•1•0•Updated Nov 25, 2025Nov 25, 2025

    • wg-systems

      Public
      The Systems WG aims to enable other working groups within ELISA to put their safety claims towards Linux in a wider system context. It encourages interactions with other open source projects related to ELISA project use cases or functional safety in open source in general.
      Creative Commons Attribution Share Alike 4.0 International
      •3•6•6•2•Updated Nov 19, 2025Nov 19, 2025

    • linux

      Public
      Linux kernel source tree
      C
      •
      Other
      •59k•0•0•0•Updated Nov 14, 2025Nov 14, 2025

    • tsc

      Public
      Coordination between ELISA working groups, and repository for documentation based deliverables.
      Python
      •14•59•10•4•Updated Nov 10, 2025Nov 10, 2025

    • wg-tools

      Public
      ELISA Tooling and Code Improvement Working Group
      Python
      •0•2•0•0•Updated Oct 23, 2025Oct 23, 2025

    • wg-lfscs

      Public
      Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification.
      Python
      •15•11•3•2•Updated Oct 23, 2025Oct 23, 2025

    • wg-automotive

      Public
      JavaScript
      •
      Creative Commons Attribution Share Alike 4.0 International
      •15•15•19•2•Updated Oct 1, 2025Oct 1, 2025

    • meta-sgl

      Public
      BitBake
      •
      Other
      •8•35•4•1•Updated Sep 15, 2025Sep 15, 2025

    • lighthouse-oss

      Public
      Contains all work related to the "Good Quality / Best Practices in Open Source Standard" activities
      Creative Commons Attribution 4.0 International
      •1•2•0•0•Updated Sep 12, 2025Sep 12, 2025

    • ELISA-AeroWG-Survey-Paper

      Public
      TeX
      •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

    • wg-osep

      Public
      The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-critical systems incorporating Linux and other FOSS.
      Other
      •11•13•8•16•Updated May 19, 2025May 19, 2025

    • ks-nav

      Public
      Roff
      •
      GNU General Public License v2.0
      •5•7•17•1•Updated Mar 17, 2025Mar 17, 2025

    • wg-medical-devices

      Public
      work area for analysis of medical devices
      Python
      •4•4•7•0•Updated Dec 19, 2024Dec 19, 2024

    • Safety_Architecture_WG

      Public
      Repository to store the code developed in the context of the Safety Architecture WG
      Python
      •6•19•2•1•Updated Nov 4, 2024Nov 4, 2024

    • delta-kernel

      Public
      Linux kernel change impact analysis tooling
      HTML
      •
      GNU General Public License v2.0
      •0•5•3•0•Updated Aug 16, 2024Aug 16, 2024

    • kconfig-safety-check

      Public
      A tool for checking the security hardening options of the Linux kernel
      Python
      •
      GNU General Public License v3.0
      •174•7•0•0•Updated Nov 20, 2023Nov 20, 2023

    • meta-elisa

      Public
      BitBake
      •
      MIT License
      •17•10•6•2•Updated Jul 17, 2023Jul 17, 2023

    • wg-automotive-safety-app

      Public
      C
      •
      GNU General Public License v2.0
      •3•2•2•0•Updated Mar 6, 2023Mar 6, 2023

    • ELISA-White-Papers

      Public
      This repository serves as the central storage for white papers created in the ELISA project.
      TeX
      •6•13•1•0•Updated Sep 3, 2022Sep 3, 2022

    • wg-development-process

      Public
      0•0•0•0•Updated Oct 19, 2021Oct 19, 2021