Enabling Linux in Safety Critical Applications

Enabling Linux in Safety Critical Applications's repositories

tsc

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

Language:Python57 36 21

Safety_Architecture_WG

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

Language:Python1500

wg-aerospace

ELISA Aerospace Working Group

Language:TeX13 5 10

ELISA-White-Papers

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

Language:TeX12 9 3

wg-osep

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.

NOASSERTION9 11 7

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.

Language:Python8 7 3

BASIL

Software Quality Management Tool

Language:PythonGPL-2.06 2 12

kconfig-safety-check

A tool for checking the security hardening options of the Linux kernel

Language:PythonGPL-3.0500

wg-medical-devices

work area for analysis of medical devices

Language:Python3 5 8

wg-systems

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.

CC-BY-SA-4.03 4 11

Enabling Linux in Safety Critical Applications

elisa-tech