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

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.

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

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.

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.

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.