Software Systems Group Projects
Key umbrella projects
- Trustworthy Systems
- The seL4 Microkernel
- Business Adaptation and Interoperation
- Business Process Compliance
- Goanna
Full list of current projects and research activities
In alphabetical order.
- Adaptive Cloud Technologies
- Automatic Correspondence Proofs for C (PhD project)
- Business Adaptation and Interoperation
- Software Ecosystems and Platformisation
- Business Process Mashup
- Business Process Compliance
- CloudDB AutoAdmin
- Componentised Operating Systems
- Continuous Availability for Cloud Based Applications
- Dingo — untangling the interface between device drivers and the OS
- Goanna — static analysis and code understanding
- Hardware/Software Co-Verification
- Improving the L4.verifed proof
- Information Flow and Non-Interference
- Maintenance of Large-Scale Formal Proofs
- Mesh Network Protocols
- Multi-Criticality Real Time Systems
- Multiprocessor-Kernel Verification (PhD project)
- Power and Energy Management
- Provably Correct Business Rules and Processes
- Risk Management and Cloud Computing
- Safety Critical Systems
- Security Architectures
- Side Channel Measurement and Mitigation (PhD project)
- Software Process Tailoring
- Synthesized File Systems (PhD project)
- The seL4 Microkernel
- Termite — automatic synthesis of device drivers
- Trustworthy Software Components
- Trustworthy Systems
- Verification Process Modelling and Improvement
- Verification Tools and Automation
- Verified Compilation Correctness
- Verified Component-Based Development (PhD project)
- Verified Kernel Initialisation
- Verified System Initialsation (PhD project)
- Virtualisation
- Whole-System Assurance