ARINC 653 (Avionics Application Software Standard Interface) is a software specification for space and time partitioning in safety-critical avionics real-time operating systems.
A recent honours thesis explored mapping of ARINC-653 scheduling and communication abstractions onto the seL4 Microkit. This project is to continue that work to develop a complete ARINC 653 OS environment. This mostly involves developing application libraries on top of LionsOS to provide ARINC-653-compatible APIs.
School
Computer Science & Engineering
Research Area
Programming Languages | Software Engineering
Suitable for recognition of Work Integrated Learning (industrial training)?
Please check with project lead
- Research environment
- Expected outcomes
- Supervisory team
- Reference material/links
The Trustworthy Systems (TS) Group is the pioneer in formal (mathematical) correctness and security proofs of computer systems software. Its formally verified seL4 microkernel, now backed by the seL4 Foundation, is deployed in real-world systems ranging from defence systems via medical devices, autonomous cars to critical infrastructure. The group's vision is to make verified software the standard for security- and safety-critical systems. Core to this a focus on performance as well as making software verification more scalable and less expensive.
- Design, implementation and evaluation of a Zephyr-compatible API on top of Lions (with liberal re-use of Zephyr code (as permitted under its permissive license).
- Report describing the above.
Please check with project lead