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,