Spacecraft protected hard real time operating system
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.
|Study Subject:||space engineering, computer science, space, satellites, GPS, navigation, remote sensing|
|Provided By:||Australian Centre for Space Engineering Research|
|To be undertaken at:||University of New South Wales.|
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.
Dr Steven Tsitas
Web Site: http://research.unsw.edu.au
Ph D Scholarships, Technical University of Denmark, Denmark, about 1 month ago
Apply no later than 3 November 2014 Apply for the job at DTU Compute by completing the following form. Apply online DTU Compute invites highly talented young researchers who have obtained outstand...
Climate Kic Phd Position, Technical University of Denmark, Denmark, 14 days ago
Apply no later than 1 November 2014 Apply for the job at DTU Energy Conversion by completing the following form. Apply online The Department of Energy Conversion and Storage invites applicants fo...
Patrick Valduriez: Inria French Académie Des Sciences Dassault Systèmes Innovation Award , Inria, France, 23 days ago
As a child, Patrick Valduriez was fascinated by the conquest of space. He remembers the space ship Apollo, such a long way from Earth yet connected to it via a digital link. It was the start of a ...
Ph D Position On Modeling, Analysis And Optimization Of Cyber Physical Systems, Technical University of Denmark, Denmark, 28 days ago
Apply no later than 27 October 2014 Apply for the job at DTU Compute by completing the following form. Apply online DTU compute would like to invite applications for a 3-year PhD position starting...
Ph D Scholarship In Miniaturized Broadband Energy Harvesting, Technical University of Denmark, Denmark, about 1 month ago
Apply no later than 20 October 2014 Apply for the job at DTU Nanotech by completing the following form. Apply online A multidisciplinary research project in collaboration between the Department of...
Ph D Scholarship In High Performance Machine Learning Methods Applied Within Immunological Bioinformatics, Technical University of Denmark, Denmark, 21 days ago
Apply no later than 24 October 2014 Apply for the job at DTU Systems Biology by completing the following form. Apply online Deep learning and deep neural network architectures have during recent y...