Thesis Topic Details
Topic ID: |
3286 | |
Title: |
Rearchitecting a component platform for seL4 | |
Supervisor: |
Ihor Kuz | |
Research Area: |
Operating Systems, Embedded Systems, Software Engineering | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Gernot Heiser | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CS CE | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
AOS (Comp 9242) | |
Description: |
seL4 is a formally verified microkernel for building secure systems. CAmkES is a high-performance component architecture designed for building microkernel-based operating systems that run on seL4. After some experience with CAmkES on seL4, we feel that it is time to revisit it's design and implementation. Based on experience of what has and hasn't worked with CAmkES, review the CAmkES design and implementation, tighten up the language, redesign the tools to improve flexibility, and add missing features such as hardware access. In doing this ensure that the performance of the resulting system does not suffer, so that CAmkES continues to produce high-performance code for seL4-based systems. |
|
Comments: |
-- | |
| Past Student Reports | ||
| No Reports Available. Contact the supervisor for more information.
Check out all available reports in the CSE Thesis Report Library. NOTE: only current CSE students can login to view and select reports to download. |
||