Linux-safety -- Issues to consider when using Linux in a safety-critical environment

 

About Linux-safety
English (USA)

Linux was neither designed nor programmed in a way that would allow to let it undergo usual certifcation procedures for use in a safety-critical environment. However, today - more than 25 years after the first line of Linux code was written, there is an increasing demand to certify Linux for safety.
This mailing list focusses on any issue to be considered when the basic components of a Linux system such as bood loader, Linux kernel, C library and root filesystem shall be used in a regulated market and needs approval by a certification authority. Since these components cannot be rewritten from scratch with safety in mind, new and widely unknown certification routes that can be used with pre-existing code have to be explored and probably expanded for this purpose.

To see the collection of prior postings to the list, visit the Linux-safety Archives.

Using Linux-safety
To post a message to all the list members, send email to linux-safety@lists.osadl.org.

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to Linux-safety

Subscribe to Linux-safety by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a private list, which means that the list of members is not available to non-members.

    Your email address:  
    Your name (optional):  
    You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.

    If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options.

    Pick a password:  
    Reenter password to confirm:  
    Which language do you prefer to display your messages? English (USA)  
    Would you like to receive list mail batched in a daily digest? No Yes

Linux-safety Subscribers
(The subscribers list is only available to the list members.)

Enter your address and password to visit the subscribers list:

Address: Password:   

To unsubscribe from Linux-safety, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address


Linux-safety list run by C.Emde at osadl.org
Linux-safety administrative interface (requires authorization)
Overview of all lists.osadl.org mailing lists

Delivered by Mailman
version 2.1.9
Python Powered GNU's Not Unix