#ferrocene — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #ferrocene, aggregated by home.social.
-
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
-
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
-
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
-
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
-
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
-
🦀 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/
-
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/
-
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/
-
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/
-
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/
-
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/
-
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
-
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 🦀 -
@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.
-
@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.
-
@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.
-
@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.
-
@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.
-
🎃 No tricks, just type safety.
At Ferrous Systems, we believe code should be safe, not scary.
Happy Halloween! 👻🦀
-
@kkarhan @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.
-
Rust formally adopting FLS.
-
#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.
-
An Electronically Controllable Sliding Molecular Machine
Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage
https://www.chemistryviews.org/an-electronically-controllable-sliding-molecular-machine/
#molecularmachines #ferrocene #chemistry #chemistryviews #chemviews
-
An Electronically Controllable Sliding Molecular Machine
Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage
https://www.chemistryviews.org/an-electronically-controllable-sliding-molecular-machine/
#molecularmachines #ferrocene #chemistry #chemistryviews #chemviews
-
An Electronically Controllable Sliding Molecular Machine
Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage
https://www.chemistryviews.org/an-electronically-controllable-sliding-molecular-machine/
#molecularmachines #ferrocene #chemistry #chemistryviews #chemviews
-
An Electronically Controllable Sliding Molecular Machine
Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage
https://www.chemistryviews.org/an-electronically-controllable-sliding-molecular-machine/
#molecularmachines #ferrocene #chemistry #chemistryviews #chemviews
-
An Electronically Controllable Sliding Molecular Machine
Movement of an ammonium-linked ferrocene on a copper surface can be controlled by an applied voltage
https://www.chemistryviews.org/an-electronically-controllable-sliding-molecular-machine/
#molecularmachines #ferrocene #chemistry #chemistryviews #chemviews
-
📢 Ferrocene 24.11.0 now available! This version upgrades #Ferrocene from Rust 1.79.0 to Rust 1.81.0 and includes qualified support for the Armv8-A QNX 7.1.0 and x86-64 QNX 7.1.0 platforms. This version is also qualified for medical device software (IEC 62304).
Read more from infrastructure lead @ana here on the blog: https://ferrous-systems.com/blog/ferrocene-24-11-0/
-
@the_art_of_giving_up there is https://spec.ferrocene.dev, which is the first major visible piece of work the initiative produced (for the goal of using Rust in safety critical domains)
@Alonely0 @Lunaphied @thephd -
📢 Ferrocene 24.08.0 now available! This version upgrades #Ferrocene from Rust 1.76.0 to Rust 1.79.0 and includes QNX support. Read more from tech lead @pietroalbini here on the blog: https://ferrous-systems.com/blog/ferrocene-24-08-0/
-
Discovered today #ferrocene for #rust on critical systems. Very fascinating to see.
Rust already is quite rigorously tested on the compiler.
This most likely excites its potential use on planes and other systems. Where well defined locks on foot guns are a must. 😅
-
🎉 We have news: We've updated #Ferrocene to #RustLang 1.76.0 and you can now purchase your license online in our shop.
@pietroalbini fills in the details over on the blog 👉 -
Get an overview of how #RustLang can be used as part of your functional-safety and high-security systems, including a look at #Ferrocene, the ISO26262- and IEC61508-qualified Rust toolchain.
💜 1-day Workshop at #OxidizeConf by @ferrous
Read about the workshop: https://oxidizeconf.com/sessions/intro-safety-critical/
Get your tickets at: https://ti.to/asquera-event-ug/oxidize-2024 -
We are looking for a Project Manager to plan and coordinate the development steps of the company's safety-critical compiler Ferrocene. Come, work with us!
> Project Manager (all genders) - remote work/German resident
-
I'll be heading to @eurorust in Brussels tomorrow. Looking forward to chatting to as many people as possible about #EmbeddedRust and #Ferrocene!
Also as a member of the Leadership Council I will listen to your rants and complaints too.
-
The release train keeps on running - and always on time.
There was a new Rust yesterday. I sorted of missed it in all the #ferrocene fun, and having a day off sick.
-
Did you miss our #Rust 🦀 livestream yesterday? No problem – you can catchup with our panelists and tune into our #Ferrocene announcement (it's #OpenSource!)
and get more like pricing and availability here: -
@a13cui RE a verified rustc, are you aware of #ferrocene https://ferrous-systems.com/ferrocene/? RE #Rust vs #Ada I wouldn’t want to miss Rust’s type system including ownership, but Ada also has features that would be nice to have in Rust (such as pre and post conditions)
-
@grantonthenet There is ongoing work to formally describe Rust in the #Ferrocene project; I'd say that's the most promising standardization approach right now. https://ferrous-systems.com/blog/the-ferrocene-language-specification-is-here/
-
@deadlyvices And another thing - worth mentioning that one of the first reports of #ferrocene came from BOC's now defunct but then huge research station on Lombard Street, Morden, South London. Sam Miller was a researcher there working with Tebboth and Tremaine. The site still has a little BOC action but is now a mixed light industrial estate. You can see it on this map I made many years ago that I then allowed to languish. https://www.google.com/maps/d/edit?mid=1alTdhHtbi-aQx_Pl8Mx6f-_Ff44&usp=sharing