Oxidize Conf Sep 14-16, 2026Apr 29

Safety-critical development is more than picking the right language - it consists of requirements management, testing, structural coverage analysis, & more.

Alex Senier & Manuel Hatzl (@ferrous) work through the software safety lifecycle at Oxidize 2026 in their hands-on workshop, to create a project scaffold for safety-critical development using Ferrocene & open-source Rust tooling.

🔗 https://oxidizeconf.com/sessions/safety_critical_rust_development_with_ferrocene

#Oxidize2026 #RustLang #Ferrocene #FunctionalSafety #Embedded #SafetyCritical

Ferrous SystemsApr 2

🦀 New on the blog: Callgraph analysis in #Ferrocene! We talk about trade-offs between different approaches, how we do it for Ferrocene and why – and how you can implement it yourself in your #RustLang code.

Read more: https://ferrous-systems.com/blog/callgraph-analysis/

Ferrous SystemsMar 18

Next week, @skade will be on stage at the US Automotive Computing Conference in Detroit talking about #Ferrocene and our qualified software journey. And we're excited to see that #RustLang will be well represented on stage with Florian as well as a keynote from Pete LeVasseur on #RustLang in safety-critical development.

🔗 More information, including speakers and schedule here: https://www.automotive-computing-usa.com/

#RustinAutomotive #ISO26262

KDABMar 11

Delivering high-accuracy neonatal monitoring with Rust and Ferrocene in a joint project with @ferrous.

Find the demo at Booth 4-402 in Hall 4 at Embedded World.

#RustLang #EmbeddedRust #Ferrocene #EmbeddedSystems #MedTech

Ferrous SystemsFeb 18
Who is in Nuremberg? We're going to be at #EmbeddedWorld to talk #RustLang and #Ferrocene and #RustonEmbedded
Come say hi and get a sticker or two 🦀
Show threadMichał FitaNov 20, 2025

@alg0w @nullagent Fans would do whatever they wish for and asking them to do otherwise is at least wishful thinking.

The fact #Rust doesn't have #ISO standard is IMVHO a blessing - getting anything standardised is a painful process, then #Rust somehow avoided adding nonsense contrary to C++.

Not worries about the license at all - it let #Ferrocene and #AdaCore work on their safety certified products w/o rewriting the whole code.

#Rust could be better w/bounded types, still a lot can be done.

Ferrous SystemsOct 31, 2025

🎃 No tricks, just type safety.

At Ferrous Systems, we believe code should be safe, not scary.

Happy Halloween! 👻🦀

#Rust #Ferrocene #SafetyCritical

Michał FitaOct 8, 2025
@[email protected] @anselmschueler @renormalist @aliceif @bill88t @BrodieOnLinux @AsahiLinux @OS1337 @landley You can build air gapped #Rust, it's just more effort. #Ferrocene does that regularly by not using #Cargo.
TimMar 29, 2025

Rust formally adopting FLS.

https://blog.rust-lang.org/2025/03/26/adopting-the-fls.html

#rustlang #ferrocene

Adopting the FLS | Rust Blog

Empowering everyone to build reliable and efficient software.

Bob CollinsMar 26, 2025

#Rust has a new path to create a formal language specification for #syntax and #semantics.

Ferrous Systems is donating their work on a language specification to the rust project and the wider community.

https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/

#languagespecification
#rustlang
#ferroussystems
#ferrocene

Ferrous Systems Donates Ferrocene Language Specification to Rust Project - The Rust Foundation

Rust 1.0 was published in May 2015. As the language approaches its 10th anniversary, Rust has become one of the fastest growing and most-loved languages [1] among developers, thanks to a combination of speed, safety and a vibrant community.  Like any growing open source language, Rust has a considerable amount…

The Rust Foundation