Safety-Critical Rust Development with Ferrocene

In this one-day workshop, attendees will learn how Ferrocene, together with open source Rust tooling, can be used for the development of safety-critical Rust projects. Using a realistic safety-critical embedded device, we will work through the software safety lifecycle, creating our own Rust demo that may serve as basis for your projects.

Topics:

• What is Ferrocene and how to install and use it
• Managing and tracing requirements in a Rust project
• Getting machine-readable test and code coverage results
• Using Ferrocene’s facade targets for unit testing
• Using hardware-in-the-loop (HIL) tests
• Combining requirements, coverage and test results to make a safety case

Prerequisites:

Attendees should be familiar with developing basic Rust applications. Familiarity with no-std embedded development is beneficial, but not required. A laptop setup such that docker images can be downloaded and run from a private container registry is required.