What we can do

Software Development Contracts and Consultancy

We undertake design, development, and R&D contracts, ensuring the creation of robust, reliable, and efficient software solutions. In the following areas of expertise:

 

Safety Critical Systems

  • Formal methods and tools for system specification and verification
  • Formal development and verification
  • Bespoke test harnesses and test infrastructure
  • 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