Codethink Trustable Reproducible Linux (CTRL OS)
Have you ever thought about why we trust software? Or whether you can trust software?
With the ever-increasing role that software plays in our lives, it’s an important question. Our answer? Yes, software can be trusted, provided you have evidence to explain why.
Codethink’s approach to doing this: the Trustable Software Framework. The TSF has enabled us to create Codethink Trustable and Reproducible Linux, CTRL OS, or “Control.”
What is CTRL OS?
CTRL OS (Codethink Trustable Reproducible Linux) is Codethink's implementation of a Linux-based OS (Operating System) and associated SDK (Software Development Kit). It is constructed from free and open source components and tools, including the Linux kernel, systemd, glibc, gcc and many others.
The OS is designed to be integrated into critical and/or mixed-criticality systems based on multicore microprocessors. CTRL OS includes tools and documentation to help customers:
- integrate CTRL OS onto target system hardware
- develop and test software that is compatible with CTRL OS
- integrate critical and non-critical software workloads with CTRL OS
- verify that expected behaviours are provided by the integrated solution
- collect evidence from target systems during development and in production
- demonstrate compliance with chosen standards
With CTRL OS, you get a solid foundation for building systems that you can trust, and the evidence to show why. It’s developed using the Trustable methodology, backed by tooling and established practices.

Baseline Safety Assessment
This document describes the results of the IEC 61508 functional safety assessment of the Codethink Limited CTRL OS by exida according to the accredited exida certification scheme. Download the full report below.
Author:
- Jonathan Moore, exida

Interested in learning more about CTRL OS?
Reach out to our team via trustable@codethink.co.uk with your enquiry.
