Spacecraft protected hard real time operating system, University of New South Wales.

Updated: almost 5 years ago
Deadline: The position may have been removed or expired!

Spacecraft protected hard real time operating system
Scholarship Description

A protected hard real time operating system for spacecraft could reduce spacecraft weight and cost by allowing all processes to be run on a single processor. With launch costs of around $20,000/kg and a limited ability to generate power, spacecraft have greater need than any car or aircraft for the weight and power savings that can be offered by a single processor protected hard real time operating system. The research will include determining if an sel4 based operating system of sufficient complexity to meet the requirements for a spacecraft operating system can be verified. The strategy of ACSER is to design small, light weight and low cost spacecraft using high technology to endow these spacecraft with the capability of larger spacecraft. A protected hard real time operating system for spacecraft is consistent with this strategy due to the power and weight savings it can offer.

Reference Number: 5900
Study Subject: space engineering, computer science, space, satellites, GPS, navigation, remote sensing
Web Address:
Provided By: Australian Centre for Space Engineering Research
To be undertaken at:University of New South Wales.
Level: Post Graduate


This scholarship is offered once only to one person. Dates when to submit scholarship application are not specified.

Payment Information

The value of this scholarship is AUD23728 (total may vary). This award is to be used for living expenses. This scholarship is paid fortnightly for the period of 3 and a half years.

Research Information

This scholarship is for one of the following fields of research: Aerospace engineering, Computer hardware, ENGINEERING AND TECHNOLOGY or INFORMATION, COMPUTING AND COMMUNICATION SCIENCES.


This scholarship is for study in Australia for those who have achieved Bachelor Degree.

Application Details

To apply for this scholarship you must apply directly to the university. You can download a PDF with more information about the scholarship here. Terms and conditions are subject to change. Always confirm details with scholarship provider before applying.

    Main Contact
Dr Steven Tsitas
Web Site:

View or Apply

Similar Positions