A final challenge to make Linux an universal operating system for embedded systems is the certification for its use in safety-critical environments. The difficulties of such a certification are that, due to its development model, Open Source software per se can not be considered as conformantly developed; in consequence, new certifications procedures have to be developed. In a first step, two completely different tasks have to be completed. 1. The provision and validation of suitable certification processes and 2. the application of these processes to individual embedded systems. The main advantage of this approach in two steps is that the first step only has to be taken once, as the developed processes can be reused later on. This exactly is the goal of the OSADL SIL2LinuxMP project. Participants in this project can either have their systems certified or access the processes and apply them in own certifications of Linux-based embedded systems.
In case you would like to get more information, please write to firstname.lastname@example.org.