Suitable for a student with a good OS background, L4 experience and an interest in embedded systems and interfacing to hardware.
Description:
Design and implement an L4-based operating system for Sunswift, the UNSW solar racing car. Sunswift features a CAN-based control system with a PLEB for central coordination and external communication. The PLEB presently runs Linux. This project will build a new, lightweight OS for Sunswift, specially designed to meet the car's requirements for real-time control, communication and reliability. It will be an initial prototype and demonstrator for an L4-based framework for embedded systems software.
