What we can do
Software Development Contracts and Consultancy
We undertake design and development contracts, ensuring the creation of robust, reliable, and efficient software solutions. Our team of experts is dedicated to delivering tailored software that meets the specific needs and requirements of each project. Whether it's developing from scratch or enhancing existing systems, we prioritise quality and precision in every aspect of the development process
Areas of Expertise
Safety Critical Systems
- Formal methods and tools for system specification and verification
- Formal development and verification
- Data Safety
- System Safety and Security technologies
- Digital Security by Design (DSbD) , CHERI and Morello
Embedded and real time Systems
- Embedded operating systems and applications
- seL4
- "Bare Metal" application development