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.