Safety monitor:
Using Rust in mixed-criticality Linux systems

By Daniel Silverstone

Talk - Wednesday, 17 September
16:30

Safety Monitor is an open-source, configurable tool that runs under Linux to monitor a system’s state. It allows system designers to define their own criteria for a “safe state” and uses these configurations to assess whether the system is operating within acceptable parameters or has entered an unsafe state. Safety Monitor is designed to participate in mixed-criticality systems up-to SIL 3/ASIL D and can be a foundational part of any safety argument for such Linux systems.

Safety Monitor is written in Rust and forms part of the work that Codethink is doing to promote The Trustable Software Framework - a mechanism that enables software developers to demonstrate how and why consumers of their software can establish a level of trust in it.

Speaker

Daniel Silverstone

Daniel is a Fellow at Codethink where he has been working on software system integration and systems software design for fourteen years. Daniel has been part of, or associated with, the Trustable Software Initiative and, subsequently, the Trustable Software Framework, which is the mechanism by which Codethink seeks to encourage the adoption of open source software, such as Linux systems, in the world of safety-critical software. Daniel helped to lead the Safety Monitor project when it was first being considered as part of Codethink’s Safe Linux argument, and has steered its development ever since.