#functionalsafety — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functionalsafety, aggregated by home.social.
-
✨ Ferrocene 26.05.0 is out, offering a little more Rust, a little more certification support, and a few more tools for teams building safety-critical software.
What’s new in this release:
- a #[warn(ferrocene::unvalidated)] lint
- a qualified RHIVOS2 target
- limited -C target-cpu support
- certified core::fmtPlus, we've added updates from Rust 1.93–1.95.
Read more: 🔗 https://ferrous-systems.com/blog/ferrocene-26-05-0/
-
✨ Ferrocene 26.05.0 is out, offering a little more Rust, a little more certification support, and a few more tools for teams building safety-critical software.
What’s new in this release:
- a #[warn(ferrocene::unvalidated)] lint
- a qualified RHIVOS2 target
- limited -C target-cpu support
- certified core::fmtPlus, we've added updates from Rust 1.93–1.95.
Read more: 🔗 https://ferrous-systems.com/blog/ferrocene-26-05-0/
-
Safe Rust and Unsafe Rust aren't the whole story in safety-critical settings. Pete LeVasseur (Woven by Toyota) covers the gaps - brownfield projects, hardware interaction outside Rust's Abstract Machine, and the case for Safety-Critical Rust Coding Guidelines as developed by the Safety-Critical Rust Consortium.
🔗 https://oxidizeconf.com/sessions/rust_is_%28un%29_safe%3Awriting_safety_critical_coding_guidelines
#Oxidize2026 #RustLang #SafetyCritical #FunctionalSafety #EmbeddedRust #AutomotiveSoftware
-
Safe Rust and Unsafe Rust aren't the whole story in safety-critical settings. Pete LeVasseur (Woven by Toyota) covers the gaps - brownfield projects, hardware interaction outside Rust's Abstract Machine, and the case for Safety-Critical Rust Coding Guidelines as developed by the Safety-Critical Rust Consortium.
🔗 https://oxidizeconf.com/sessions/rust_is_%28un%29_safe%3Awriting_safety_critical_coding_guidelines
#Oxidize2026 #RustLang #SafetyCritical #FunctionalSafety #EmbeddedRust #AutomotiveSoftware
-
Much of the Rust-in-safety-critical conversation focuses on perceived gaps - but how do those concerns play out in practice? Florian Gilcher (@skade) from @ferrous joins fellow industry experts to discuss what actually matters for Rust adoption in regulated environments, from qualified tooling to certification.
🔗 https://oxidizeconf.com/sessions/panel_executing_high-assurance_projects_in_Rust
#Oxidize2026 #RustLang #FunctionalSafety #SafetyCritical #EmbeddedRust
-
Much of the Rust-in-safety-critical conversation focuses on perceived gaps - but how do those concerns play out in practice? Florian Gilcher (@skade) from @ferrous joins fellow industry experts to discuss what actually matters for Rust adoption in regulated environments, from qualified tooling to certification.
🔗 https://oxidizeconf.com/sessions/panel_executing_high-assurance_projects_in_Rust
#Oxidize2026 #RustLang #FunctionalSafety #SafetyCritical #EmbeddedRust
-
Memory safety is Rust's headline feature - but spacecraft don't fail from buffer overflows. They fail from ambiguity: mismatched assumptions, undocumented contracts, state machines with unintended transitions.
At #Oxidize2026, David de Rosier (Onyx) looks at what decades of safety-critical engineering have learned about these failure modes, and where Rust helps encode those lessons — and where it simply can't.
🔗 https://oxidizeconf.com/sessions/software_ate_my_spacecraft
-
Memory safety is Rust's headline feature - but spacecraft don't fail from buffer overflows. They fail from ambiguity: mismatched assumptions, undocumented contracts, state machines with unintended transitions.
At #Oxidize2026, David de Rosier (Onyx) looks at what decades of safety-critical engineering have learned about these failure modes, and where Rust helps encode those lessons — and where it simply can't.
🔗 https://oxidizeconf.com/sessions/software_ate_my_spacecraft
-
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
-
RE: https://mas.to/@tg9541/115631644920670100
I consider it my duty to write that I was wrong: the technical problem with flight safety Airbus has in 6000 A320 machines is not theoretical. The following article in the Dutch NRC describes an incident in the 2nd part which indicates that certain technical effects, presumably soft-errors through cosmic radiation, are not handled gracefully. This looks like a methods or architecture problem. Space-tech uses radiation-hardened electronics.
#airbus #functionalsafety -
RE: https://mas.to/@tg9541/115631644920670100
I consider it my duty to write that I was wrong: the technical problem with flight safety Airbus has in 6000 A320 machines is not theoretical. The following article in the Dutch NRC describes an incident in the 2nd part which indicates that certain technical effects, presumably soft-errors through cosmic radiation, are not handled gracefully. This looks like a methods or architecture problem. Space-tech uses radiation-hardened electronics.
#airbus #functionalsafety -
Check out John Ellis' latest contribution for Forbes Technology Council. John dives into the regulations and standards that impact the automotive industry, and whether compliance is really enough.
You can read the full article below.
#un155 #un156 #sdv #CyberResilenceAct #ISO26262 #IEC61508 #TrustableSoftware #FunctionalSafety
-
Announcement:
Codethink is delighted to announce the publication of its baseline Safety Assessment report for Codethink Trustable Reproducible Linux (CTRL OS).
The report validates Codethink’s safety argument for the use of CTRL OS in safety-critical and mixed-criticality systems up to SIL 3/ASIL D, and independently confirms that Codethink’s approach satisfies the expectations of both IEC 61508 and ISO26262.
→ Read the report: https://www.codethink.co.uk/news/trustable-software.html
-
Come and join me as I discuss EMC & Functional Safety
IEEE 1848™ & IEEE 1848.1 Free Webinar
Part of the Foundational Technologies Global Practice series
https://machinerysafety101.com/2025/04/04/emc-and-functional-safety-ieee-1848/
-
@kenshirriff
Those were the days my friend ....I remember back when I was in university it was a big thing since a Pentium cost a fortune for a student and then it did wrong calculations.
And a good example for "common cause" in #functionalsafety
-
#GenerativeAI, #FoundationModels, #LLMs, and all of that hokey nonsense shall not appear in my #robotics roadmaps as anything other than a neat research item until it can demonstrate a feasible path to #FunctionalSafety or mathematical completeness.
I lead #Product on the largest mobile-#robotic fleet known to humankind. I will not entrust decisions that could maim or kill to a pile of nondeterminate math prone to “hallucinations” or confabulation.
-
I’m trying to understand how safety functions executed using AI/ML technology could be validated. I’m looking for ways to check for deterministic behaviour. A project is being worked on in IEC/TC 65/SC65A and ISO/IEC JTC 1/SC 42, but it’s far from publication. The draft is pretty vague on many points. So, does anyone here have any thoughts on this topic?
-
I’m a long-time machinery safety practitioner, with a small consulting practice. I do a lot of different things, but in particular I specialize in risk assessment and functional safety. I’m looking forward to meeting people here, and discussing AI and functional safety in particular.
-
Oh interesting. I haven't looked at ACRN in awhile, might be time.
---
RT @projectACRN
The ACRN Hypervisor Service Module has been accepted in the 5.12 upstream Linux kernel tree!https://projectacrn.org/acrn-hypervisor-service-module-upstreamed-to-linux-kernel/
#linux #iot #hypervisor #edgecomputing #realtime #functionalsafety #linuxkernel #upstream #opensource
https://twitter.com/projectACRN/status/1377012685708070916