Skip to content
@elisa-tech

Enabling Linux in Safety Critical Applications

Collaborating on the processes and tools to use Linux in Safety Critical Applications

Popular repositories Loading

  1. tsc tsc Public

    Coordination between ELISA working groups, and repository for documentation based deliverables.

    Python 58 15

  2. wg-aerospace wg-aerospace Public

    ELISA Aerospace Working Group

    TeX 21 3

  3. Safety_Architecture_WG Safety_Architecture_WG Public

    Repository to store the code developed in the context of the Safety Architecture WG

    Python 17 7

  4. BASIL BASIL Public

    Software Quality Management Tool

    TypeScript 16 2

  5. wg-automotive wg-automotive Public

    JavaScript 13 15

  6. ELISA-White-Papers ELISA-White-Papers Public

    This repository serves as the central storage for white papers created in the ELISA project.

    TeX 12 6

Repositories

Showing 10 of 19 repositories
  • wg-aerospace Public

    ELISA Aerospace Working Group

    elisa-tech/wg-aerospace’s past year of commit activity
    TeX 21 3 6 0 Updated Dec 24, 2024
  • 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.

    elisa-tech/wg-osep’s past year of commit activity
    12 8 9 16 Updated Dec 20, 2024
  • wg-medical-devices Public

    work area for analysis of medical devices

    elisa-tech/wg-medical-devices’s past year of commit activity
    Python 4 4 7 (1 issue needs help) 0 Updated Dec 19, 2024
  • wg-tools Public

    ELISA Tooling and Code Improvement Working Group

    elisa-tech/wg-tools’s past year of commit activity
    2 0 0 0 Updated Dec 9, 2024
  • BASIL Public

    Software Quality Management Tool

    elisa-tech/BASIL’s past year of commit activity
    TypeScript 16 GPL-2.0 2 16 0 Updated Dec 7, 2024
  • 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.

    elisa-tech/wg-lfscs’s past year of commit activity
    Python 9 13 3 2 Updated Nov 26, 2024
  • 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.

    elisa-tech/wg-systems’s past year of commit activity
    4 CC-BY-SA-4.0 3 7 2 Updated Nov 14, 2024
  • Safety_Architecture_WG Public

    Repository to store the code developed in the context of the Safety Architecture WG

    elisa-tech/Safety_Architecture_WG’s past year of commit activity
    Python 17 7 1 1 Updated Nov 4, 2024
  • delta-kernel Public

    Linux kernel change impact analysis tooling

    elisa-tech/delta-kernel’s past year of commit activity
    HTML 3 GPL-2.0 0 3 0 Updated Aug 16, 2024
  • ks-nav Public
    elisa-tech/ks-nav’s past year of commit activity
    Roff 7 GPL-2.0 5 17 1 Updated Aug 1, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…