Thesis Topic Details
Topic ID: |
3288 | |
Title: |
seL4 AUTOSAR | |
Supervisor: |
Ihor Kuz | |
Research Area: |
Operating Systems, Embedded Systems | |
| 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 has been developed to be the basis for building secure systems, however, it can also be used as the basis for safety-critical systems, such as those used in cars. With seL4 in such systems, it becomes possible to provide guarantees about memory isolation properties, which is crucial for safety-critical systems. Besides memory isolation, seL4 also has known timing properties, making it possible to give timing guarantees, which is important for real-time systems such as those found in cars. The goal of this project is to investigate the role that seL4 can play in such systems by implementing the AUTOSAR automotive framework to use seL4 as the underlying OS. |
|
Comments: |
See http://www.ertos.nicta.com.au/education/theses.pml for more information. | |
| 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. |
||