gsoc:2019-gsoc-safety-critical-linux
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
gsoc:2019-gsoc-safety-critical-linux [2019/02/04 09:00] lukas.bulwahn [Applying Clang Thread Sanitizer to Linux Kernel] |
gsoc:2019-gsoc-safety-critical-linux [2019/03/04 12:53] (current) lukas.bulwahn start to edit titles to be closer to ELISA |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Linux in High-Integrity Regulated Environments ====== | + | ====== GSoC Projects around Enabling Linux in Safety Applications (ELISA) ====== |
| [[:gsoc:google-summer-code-2019|Main GSoC Linux Foundation page: How to apply, deadlines, other workgroups, ...]] | [[:gsoc:google-summer-code-2019|Main GSoC Linux Foundation page: How to apply, deadlines, other workgroups, ...]] | ||
| - | To use Linux in High-Integrity Regulated Environment, such as safety-critical systems, security systems or systems subject to other regulatory norms, it requires to show evidences that Linux has a high software quality. | + | To use Linux in high-integrity regulated environment, such as safety-critical systems, security systems or systems subject to other regulatory norms, it requires to show evidences that Linux has a high software quality. High software quality is roughly assessed by two classes of measurements: |
| - | High software quality is roughly assessed by two classes of measurements: | + | |
| * Observation, Measurement and Assessment of the Software Development Process and Practices | * Observation, Measurement and Assessment of the Software Development Process and Practices | ||
| Line 13: | Line 12: | ||
| Primary mentoring contacts: Lukas Bulwahn, lukas.bulwahn at gmail.com; Julia Lawall, julia.lawall at lip6.fr; Nicholas Mc Guire, der.herr at hofr.at; Ralf Ramsauer, ralf.ramsauer at oth-regensburg.de | Primary mentoring contacts: Lukas Bulwahn, lukas.bulwahn at gmail.com; Julia Lawall, julia.lawall at lip6.fr; Nicholas Mc Guire, der.herr at hofr.at; Ralf Ramsauer, ralf.ramsauer at oth-regensburg.de | ||
| - | ==== Some background on previous activities in safety-critical systems ==== | + | ==== Some background on Enabling Linux in Safety Applications ==== |
| The SIL2LinuxMP project is an collaborative research project to provide procedures and methods to qualify Linux on a multi-core embedded platform at safety integrity level 2 (SIL2) according to IEC 61508 Ed 2. | The SIL2LinuxMP project is an collaborative research project to provide procedures and methods to qualify Linux on a multi-core embedded platform at safety integrity level 2 (SIL2) according to IEC 61508 Ed 2. | ||
| Line 24: | Line 23: | ||
| https://www.youtube.com/watch?v=1eyJ6dAqMmg | https://www.youtube.com/watch?v=1eyJ6dAqMmg | ||
| + | |||
| The SIL2LinuxMP project has ended at the end of 2018 and the activities around Linux in safety-critical systems will be continued in a new organisational structure in 2019. | The SIL2LinuxMP project has ended at the end of 2018 and the activities around Linux in safety-critical systems will be continued in a new organisational structure in 2019. | ||
gsoc/2019-gsoc-safety-critical-linux.1549270820.txt.gz · Last modified: 2019/02/04 09:00 by lukas.bulwahn
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International
