Enabling Linux in Safety Critical Applications
Collaborating on the processes and tools to use Linux in Safety Critical Applications
Pinned Repositories
BASIL
Software Quality Management Tool
ELISA-White-Papers
This repository serves as the central storage for white papers created in the ELISA project.
ks-nav
meta-elisa
Safety_Architecture_WG
Repository to store the code developed in the context of the Safety Architecture WG
tsc
Coordination between ELISA working groups, and repository for documentation based deliverables.
wg-aerospace
ELISA Aerospace Working Group
wg-automotive
wg-lfscs
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.
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.
Enabling Linux in Safety Critical Applications's Repositories
elisa-tech/tsc
Coordination between ELISA working groups, and repository for documentation based deliverables.
elisa-tech/wg-aerospace
ELISA Aerospace Working Group
elisa-tech/Safety_Architecture_WG
Repository to store the code developed in the context of the Safety Architecture WG
elisa-tech/BASIL
Software Quality Management Tool
elisa-tech/ELISA-White-Papers
This repository serves as the central storage for white papers created in the ELISA project.
elisa-tech/wg-automotive
elisa-tech/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.
elisa-tech/meta-elisa
elisa-tech/wg-lfscs
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/ks-nav
elisa-tech/kconfig-safety-check
A tool for checking the security hardening options of the Linux kernel
elisa-tech/delta-kernel
Linux kernel change impact analysis tooling
elisa-tech/wg-medical-devices
work area for analysis of medical devices
elisa-tech/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.
elisa-tech/wg-automotive-safety-app
elisa-tech/wg-tools
ELISA Tooling and Code Improvement Working Group
elisa-tech/orientation
A collection of information related to the Linux Foundation ELISA project
elisa-tech/wg-development-process
elisa-tech/linux
Linux kernel source tree