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
Psychology: Fully Funded Ph D Studentship: Cognitive Strategies For Enhancing Cognitive Control Of High Energy Dense Foods: The Role Of Managed Indulgence, Swansea University, United Kingdom, 11 days ago
Job posted by Swansea University (21/07/2015 16.46) Marie Curie Actions. More 'HR Excellence in Research' logo awarded to institutions actively implementing the European Charter and Code for Resea...
Ph D Scholarship In Development Of Dnp Nmr Methods For The Real Time Investigation Of Catalytic Reaction Mechanisms, Technical University of Denmark, Denmark, 22 days ago
Apply no later than 14 August 2015 Apply for the job at DTU Chemistry by completing the following form. Apply online A 3-year PhD scholarship is available from the 1 September 2015 or as soon as p...
Ph D Scholarship Opportunities, Monash University, Australia, 24 days ago
Job No. 536924 Faculty / Portfolio: Faculty of Information Technology Location: Caulfield Campus, Monash University Supervisors: Dr Ariel Liebman (Monash University) and Dr Carleton Coffrin (NICTA...
Ph D Scholarship In Cochlear Implant Research, Technical University of Denmark, Denmark, 26 days ago
Apply no later than 3 August 2015 Apply for the job at DTU Electrical Eng by completing the following form. Apply online We invite highly motivated and talented candidates to apply for a PhD schol...
Baekeland Ph D For Automated Demand Response In Smart Electricity Grids, KU Leuven, Belgium, 21 days ago
Job posted by KU Leuven (11/07/2015 02.00) Marie Curie Actions. More 'HR Excellence in Research' logo awarded to institutions actively implementing the European Charter and Code for Researchers. M...
Ph D Scholarship In Cascaded Design Tools For 10 Mw Offshore Wind Turbine Floaters, Technical University of Denmark, Denmark, 27 days ago
Apply no later than 20 July 2015 Apply for the job at DTU Wind Energy by completing the following form. Apply online DTU Wind Energy is seeking a PhD student for a scholarship on “Cascaded design ...