gsoc:2019-gsoc-safety-critical-linux
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
gsoc:2019-gsoc-safety-critical-linux [2019/01/24 12:12] lukas.bulwahn |
gsoc:2019-gsoc-safety-critical-linux [2019/01/24 12:14] lukas.bulwahn |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| The Google Summer of Code Projects are activities that contribute to those two fields of work. | The Google Summer of Code Projects are activities that contribute to those two fields of work. | ||
| - | Primary mentoring contacts: Lukas Bulwahn, lukas.bulwahn at gmail.com, Julia Lawall <julia.lawall@lip6.fr>, Nicholas Mc Guire, der.herr at hofr.at, Ralf Ramsauer | + | 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 previous activities in safety-critical systems ==== | ||
| Line 47: | Line 47: | ||
| The issue tracker, https://github.com/lfd/PaStA/issues, provides a good overview of possible student activities in a GSoC project related to PaStA. A student start look into those issues and determine a suitable selection of tasks and goals from that issue tracker that can be handled within the timeframe of the GSoC project. A project proposal should breakdown the goals stated in the issue tracker to a more detailed plan of activities, needed extensions of PaStA and the implementation tasks. | The issue tracker, https://github.com/lfd/PaStA/issues, provides a good overview of possible student activities in a GSoC project related to PaStA. A student start look into those issues and determine a suitable selection of tasks and goals from that issue tracker that can be handled within the timeframe of the GSoC project. A project proposal should breakdown the goals stated in the issue tracker to a more detailed plan of activities, needed extensions of PaStA and the implementation tasks. | ||
| - | Main contact person for this project proposal: Ralf Ramsauer | + | Main contact person for this project proposal: Ralf Ramsauer, ralf.ramsauer at oth-regensburg.de |
| ==== Handling Complex Types and Attributes in Coccinelle ==== | ==== Handling Complex Types and Attributes in Coccinelle ==== | ||
| Line 57: | Line 57: | ||
| This project is relevant to Linux, Zephyr and many more applications. | This project is relevant to Linux, Zephyr and many more applications. | ||
| - | Main contact person for this project proposal: Julia Lawall <julia.lawall@lip6.fr> | + | Main contact person for this project proposal: Julia Lawall, julia.lawall at lip6.fr |
| ==== Develop Methods for Tracking Tool Analysis Findings over Time ==== | ==== Develop Methods for Tracking Tool Analysis Findings over Time ==== | ||
gsoc/2019-gsoc-safety-critical-linux.txt ยท Last modified: 2019/03/04 12:53 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
