Consultancy, training, services and tools for high-integrity applications.

Welcome to Mission Critical Applications! We specialise in providing comprehensive consultancy, training, services, and tools tailored to the unique needs of organisations developing critical systems. From expert advisory services and customised training programs to specialised support services and cutting-edge development tools, we offer a complete ecosystem of solutions to ensure the reliability, safety, and compliance of your high-integrity applications. Explore our website to discover how we can empower your team to navigate the complexities of high-integrity systems with confidence and precision.

Backed by a small, highly-qualified and experienced team, we offer professional services aimed at delivering reliable, timely, and state-of-the-art solutions to our esteemed clients.

Latest News all news

13-15 February 2024

We are looking forward to attending the SCSC Conference SSS'24 , where we will be running a hands-on session with our prototype Radish tool for Data Safety.

19-21 September 2023

We presented our seL4 on CHERI Morello project at the 2023 seL4 Summit . You can see the talk details, and access the slides and video of our presentation here.


1 May 2023

We are starting a research contract with Dstl as part of the DASA CHERI within Defence and Security Programme. We are continuing the porting of the seL4® Microkernel to the Cheri-enabled ARM Morello board for the implementation of security and safety critical applications,