#functionalsafety — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #functionalsafety, aggregated by home.social.
-
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
-
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
-
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
-
NXP Delivers New Innovations for Advanced Physical AI with
Secure, reliable real-time data processing and transport solutions for next-generation physical AI applications, developed in collaboration with NVIDIANVIDIA…
#Netherlands #Nederland #NL #Europe #Europa #EU #NXP #FunctionalSafety #humanoidrobotics #i.MX #i.MXRT #Inc. #MotorControl #Nasdaq:NXPI #NVIDIAHoloscanSensorBridge #NXPUSA #PhysicalAI #robotics #security
https://www.europesays.com/netherlands/5191/ -
https://www.europesays.com/ch/34649/ SEALSQ and IC’Alps Unify Expertise to Deliver Integrated Post-Quantum Cybersecurity and Functional Safety for Autonomous Vehicles #Alps #AutomotiveIndustry #AutonomousVehicles #Cybersecurity #FunctionalSafety #IC #PostQuantum #QuantumComputer #SEALSQ #SEALSQCorp #semiconductors
-
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 -
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 -
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
-
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
-
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
-
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
-
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
-
@EDPSciences 'Security and Safety (S&S)' is an international, interdisciplinary, peer-reviewed #OpenAccess journal focusing on the intersection of #CyberSecurity and #FunctionalSafety:
-
@EDPSciences 'Security and Safety (S&S)' is an international, interdisciplinary, peer-reviewed #OpenAccess journal focusing on the intersection of #CyberSecurity and #FunctionalSafety:
-
@EDPSciences 'Security and Safety (S&S)' is an international, interdisciplinary, peer-reviewed #OpenAccess journal focusing on the intersection of #CyberSecurity and #FunctionalSafety:
-
What if AI could write safety requirements, generate test cases, and automate documentation - all while keeping your Software-Defined Vehicle (SDV) safe and compliant?
Sounds futuristic?
Join our webinar: https://www.linkedin.com/events/rethinkingfunctionalsafety-fusa7327619299525779456/theater/
-
What if your next car update came from the cloud... not the garage?
Welcome to the world of Software-Defined Vehicles (SDVs) & Join the webinar to learn more: https://www.linkedin.com/events/rethinkingfunctionalsafety-fusa7327619299525779456/theater/
#SDVs #FunctionalSafety #FuSa #AutomotiveInnovation #SmartMobility #AIinCars
-
Not all automotive risks are equal, and that’s where ASIL comes in.
Each level defines how seriously a system failure could impact lives, from ASIL-A to ASIL-D.Curious? Join the Webinar: https://lnkd.in/gjCuEMJU
-
Cars are becoming smartphones on wheels - but is your safety strategy keeping up? Join our webinar on Rethinking Functional Safety (FuSa) for Software-Defined Vehicles (SDVs): https://lnkd.in/gjCuEMJU
#FuSa #SDVs #FunctionalSafety #ISO26262 #SafetyFirst #FuSaWebinar
-
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
-
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
-
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
-
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/
-
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/
-
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/
-
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
-
@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
-
@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
-
@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.
-
#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.
-
#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.
-
#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.
-
Tag 1 des Lehrgangs für den #FSEngineer
#FunctionalSafety #HIMA #TÜV -
Tag 1 des Lehrgangs für den #FSEngineer
#FunctionalSafety #HIMA #TÜV -
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.
-
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.
-
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.