The Aerospace Working Group shall develop use cases to inform and influence Linux architecture and related tools, work to derive technical requirements for avionics operating systems, and seek to enhance and expand avionics software lifecycle processes, practices, and tools to enable use of Linux in avionics systems that are certified to high design assurance levels.
The automotive workgroup discusses the conditions and prerequisites the automotive sector needs to integrate Linux into a safety critical system. We focus on actual use cases from the Automotive domain to derive the technical requirements to the kernel as a basis for investigation within the Architecture Workgroup and to serve as a blueprint for actual projects in the future.
Linux Features for Safety-Critical Systems WG
The goal of the Linux Features for Safety-Critical Systems Working Group is to identify existing Linux Kernel features which may be leveraged for use in safety critical systems. We aim to bring together kernel developers and producers of safety critical systems to demonstrate use of such features in real systems, and to learn from these experiences together as a community.
Open-Source Engineering Process WG
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. We aim to consider the roles that a Linux-based OS might have in such systems, and identify how FOSS developers, system integrators and product creators can specify these, and provide evidence to support associated safety arguments.
Safety Architecture WG
According to technical safety requirements produced by domain specific WGs the focus of the Safety Architecture WG is to determine critical Linux subsystems and components in supporting safety functions, define associated safety requirements and scalable architectural assumptions, deliver corresponding safety analyses for their individual qualification and their integration into the safety critical system.
The Systems WG aims to enable other working groups within ELISA to put their safety claims towards Linux in a wider system context. This is done in the form of a reproducible reference system based on real-world architectures, implemented fully based on Open-Source technologies. The Systems WG encourages interactions with other projects, which either also help enable safety use cases with Open-Source software or plan to make use of mixed-criticality system elements as a base for their product lines.