#safetycritical — Public Fediverse posts

FLOSS Weekly Episode 882 with OSADL: Better Together

https://fed.brid.gy/r/https://hackaday.com/2026/09/16/floss-weekly-episode-882-with-osadl-better-together/

FLOSS Weekly Episode 882 with OSADL: Better Together

https://fed.brid.gy/r/https://hackaday.com/2026/09/16/floss-weekly-episode-882-with-osadl-better-together/

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. Survey closes Friday, Oct. 2.

www.surveymonkey.com/r/8L6LPN2
#safetycritical #SYCL #Vulkan #OpenGL

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. Survey closes Friday, Oct. 2.

www.surveymonkey.com/r/8L6LPN2
#safetycritical #SYCL #Vulkan #OpenGL

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. Survey closes Friday, Oct. 2.

www.surveymonkey.com/r/8L6LPN2
#safetycritical #SYCL #Vulkan #OpenGL

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. Survey closes Friday, Oct. 2.

www.surveymonkey.com/r/8L6LPN2
#safetycritical #SYCL #Vulkan #OpenGL

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. This 15-20 min survey is for practitioners in avionics, automotive, industrial & related domains. Survey closes Friday, Oct. 2.

https://www.surveymonkey.com/r/8L6LPN2
#safetycritical #vulkan #sycl

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. This 15-20 min survey is for practitioners in avionics, automotive, industrial & related domains. Survey closes Friday, Oct. 2.

https://www.surveymonkey.com/r/8L6LPN2
#safetycritical #vulkan #sycl

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. This 15-20 min survey is for practitioners in avionics, automotive, industrial & related domains. Survey closes Friday, Oct. 2.

https://www.surveymonkey.com/r/8L6LPN2
#safetycritical #vulkan #sycl

-- Khronos Safety Critical Survey --

Help shape the future of safety-critical GPU acceleration! Khronos is collecting requirements for Vulkan SC, SYCL SC & OpenGL SC. This 15-20 min survey is for practitioners in avionics, automotive, industrial & related domains. Survey closes Friday, Oct. 2.

https://www.surveymonkey.com/r/8L6LPN2
#safetycritical #vulkan #sycl

Today is the very last day to get your tickets to Oxidize 2026!

And here's a bonus: tomorrow we're opening sign-ups for our popular Lightning Talks session on September 15th - exclusive to Oxidize ticket holders. One more reason to secure your spot now. 👇

🎟️ oxidizeconf.com

#RustLang #TechConference #SafetyCritical

http://oxidizeconf.com

Today is the very last day to get your tickets to Oxidize 2026!

And here's a bonus: tomorrow we're opening sign-ups for our popular Lightning Talks session on September 15th - exclusive to Oxidize ticket holders. One more reason to secure your spot now. 👇

🎟️ oxidizeconf.com

#RustLang #TechConference #SafetyCritical

http://oxidizeconf.com

Today is the very last day to get your tickets to Oxidize 2026!

And here's a bonus: tomorrow we're opening sign-ups for our popular Lightning Talks session on September 15th - exclusive to Oxidize ticket holders. One more reason to secure your spot now. 👇

🎟️ oxidizeconf.com

#RustLang #TechConference #SafetyCritical

http://oxidizeconf.com

Rust is showing up in some of the most demanding areas of engineering - and Oxidize 2026 has the talks to show it.

Quantum Systems on Rust for unmanned systems, Volvo Cars on its next-gen EV battery SmartCell, Infinite Orbits on Rust in space, Woven by Toyota on safety-critical coding guidelines, and JetBrains on a fresh approach to microbenchmarking.

Rust at work in industries that can't afford to get it wrong.

Get your tickets before August 31st!

#RustLang #EmbeddedSystems #SafetyCritical

Rust is showing up in some of the most demanding areas of engineering - and Oxidize 2026 has the talks to show it.

Quantum Systems on Rust for unmanned systems, Volvo Cars on its next-gen EV battery SmartCell, Infinite Orbits on Rust in space, Woven by Toyota on safety-critical coding guidelines, and JetBrains on a fresh approach to microbenchmarking.

Rust at work in industries that can't afford to get it wrong.

Get your tickets before August 31st!

#RustLang #EmbeddedSystems #SafetyCritical

Rust is showing up in some of the most demanding areas of engineering - and Oxidize 2026 has the talks to show it.

Quantum Systems on Rust for unmanned systems, Volvo Cars on its next-gen EV battery SmartCell, Infinite Orbits on Rust in space, Woven by Toyota on safety-critical coding guidelines, and JetBrains on a fresh approach to microbenchmarking.

Rust at work in industries that can't afford to get it wrong.

Get your tickets before August 31st!

#RustLang #EmbeddedSystems #SafetyCritical

Writing software in Rust doesn't make it safety-critical.

Memory safety isn't the hardest problem - mismatched assumptions, undocumented contracts, and unintended state transitions are. #RustLang helps, but it doesn't replace risk analysis, requirements-based testing, and coverage.

At #Oxidize2026: a workshop on building a real safety case, talks on coding guidelines for Unsafe Rust and spacecraft failures beyond memory, and a panel on Rust in regulated environments.

#SafetyCritical @ferrous

Writing software in Rust doesn't make it safety-critical.

Memory safety isn't the hardest problem - mismatched assumptions, undocumented contracts, and unintended state transitions are. #RustLang helps, but it doesn't replace risk analysis, requirements-based testing, and coverage.

At #Oxidize2026: a workshop on building a real safety case, talks on coding guidelines for Unsafe Rust and spacecraft failures beyond memory, and a panel on Rust in regulated environments.

#SafetyCritical @ferrous

Writing software in Rust doesn't make it safety-critical.

Memory safety isn't the hardest problem - mismatched assumptions, undocumented contracts, and unintended state transitions are. #RustLang helps, but it doesn't replace risk analysis, requirements-based testing, and coverage.

At #Oxidize2026: a workshop on building a real safety case, talks on coding guidelines for Unsafe Rust and spacecraft failures beyond memory, and a panel on Rust in regulated environments.

#SafetyCritical @ferrous

Writing software in Rust doesn't make it safety-critical.

Memory safety isn't the hardest problem - mismatched assumptions, undocumented contracts, and unintended state transitions are. #RustLang helps, but it doesn't replace risk analysis, requirements-based testing, and coverage.

At #Oxidize2026: a workshop on building a real safety case, talks on coding guidelines for Unsafe Rust and spacecraft failures beyond memory, and a panel on Rust in regulated environments.

#SafetyCritical @ferrous

Automotive, defense, and space are defined by consequence. Memory corruption and undefined behavior make this software slow and costly to build. Rust keeps control while cutting that risk out.

At Oxidize 2026:
- Volvo Cars on EV battery architecture,
- Quantum Systems on an unmanned systems stack built on Rust, and
- Infinite Orbits on embedded Rust with no room for error.

Berlin, September 14–16.

#RustLang #Oxidize2026 #Automotive #Aerospace #SafetyCritical

Automotive, defense, and space are defined by consequence. Memory corruption and undefined behavior make this software slow and costly to build. Rust keeps control while cutting that risk out.

At Oxidize 2026:
- Volvo Cars on EV battery architecture,
- Quantum Systems on an unmanned systems stack built on Rust, and
- Infinite Orbits on embedded Rust with no room for error.

Berlin, September 14–16.

#RustLang #Oxidize2026 #Automotive #Aerospace #SafetyCritical

Automotive, defense, and space are defined by consequence. Memory corruption and undefined behavior make this software slow and costly to build. Rust keeps control while cutting that risk out.

At Oxidize 2026:
- Volvo Cars on EV battery architecture,
- Quantum Systems on an unmanned systems stack built on Rust, and
- Infinite Orbits on embedded Rust with no room for error.

Berlin, September 14–16.

#RustLang #Oxidize2026 #Automotive #Aerospace #SafetyCritical

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

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

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

I'm excited to announce that the library my team is working on has been released as #opensource this week. It is a base level C++ library intended for use in Safety Critical software, including Automotive software, so complies woth AUTOSAR guidelines. It includes fixed-capacity containers without dynamic allocation, as well as backports of recent library features like span and mdspan. See https://github.com/woven-by-toyota/arene-base docs https://woven-by-toyota.github.io/arene-base/ #cplusplus #cpp #safetycritical

I'm excited to announce that the library my team is working on has been released as #opensource this week. It is a base level C++ library intended for use in Safety Critical software, including Automotive software, so complies woth AUTOSAR guidelines. It includes fixed-capacity containers without dynamic allocation, as well as backports of recent library features like span and mdspan. See https://github.com/woven-by-toyota/arene-base docs https://woven-by-toyota.github.io/arene-base/ #cplusplus #cpp #safetycritical

I'm excited to announce that the library my team is working on has been released as #opensource this week. It is a base level C++ library intended for use in Safety Critical software, including Automotive software, so complies woth AUTOSAR guidelines. It includes fixed-capacity containers without dynamic allocation, as well as backports of recent library features like span and mdspan. See https://github.com/woven-by-toyota/arene-base docs https://woven-by-toyota.github.io/arene-base/ #cplusplus #cpp #safetycritical

I'm excited to announce that the library my team is working on has been released as #opensource this week. It is a base level C++ library intended for use in Safety Critical software, including Automotive software, so complies woth AUTOSAR guidelines. It includes fixed-capacity containers without dynamic allocation, as well as backports of recent library features like span and mdspan. See https://github.com/woven-by-toyota/arene-base docs https://woven-by-toyota.github.io/arene-base/ #cplusplus #cpp #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

On our latest episode, we're joined by Philip Koopman to explore how embedded systems are evolving into embodied and intelligent devices. The conversation dives deep into the safety challenges and critical considerations that come with designing intelligent, embodied technology.

🎧 Listen here: https://embedded.fm/episodes/514

Here's an excerpt:

#EmbeddedSystems #IoT #AI #SafetyCritical #TechLeadership #EngineeringEducation #Policy #Law #TechBooks #EmbeddedFM #Engineering #Testing

On our latest episode, we're joined by Philip Koopman to explore how embedded systems are evolving into embodied and intelligent devices. The conversation dives deep into the safety challenges and critical considerations that come with designing intelligent, embodied technology.

🎧 Listen here: https://embedded.fm/episodes/514

Here's an excerpt:

#EmbeddedSystems #IoT #AI #SafetyCritical #TechLeadership #EngineeringEducation #Policy #Law #TechBooks #EmbeddedFM #Engineering #Testing

On our latest episode, we're joined by Philip Koopman to explore how embedded systems are evolving into embodied and intelligent devices. The conversation dives deep into the safety challenges and critical considerations that come with designing intelligent, embodied technology.

🎧 Listen here: https://embedded.fm/episodes/514

Here's an excerpt:

#EmbeddedSystems #IoT #AI #SafetyCritical #TechLeadership #EngineeringEducation #Policy #Law #TechBooks #EmbeddedFM #Engineering #Testing

On our latest episode, we're joined by Philip Koopman to explore how embedded systems are evolving into embodied and intelligent devices. The conversation dives deep into the safety challenges and critical considerations that come with designing intelligent, embodied technology.

🎧 Listen here: https://embedded.fm/episodes/514

Here's an excerpt:

#EmbeddedSystems #IoT #AI #SafetyCritical #TechLeadership #EngineeringEducation #Policy #Law #TechBooks #EmbeddedFM #Engineering #Testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

Here's Phillip's favorite tip:

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

Here's Phillip's favorite tip:

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

Here's Phillip's favorite tip:

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

Here's Phillip's favorite tip:

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

Read the transcript here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing #embedded

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing #embedded

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing #embedded

Philip Koopman joined us to talk about embedded systems becoming embodied and intelligent. We focused on the safety considerations of making an intelligent and embodied device.

Don't miss out this intriguing conversation; listen here: https://embedded.fm/episodes/514

#EmbeddedSystems #IoT #policy #AI #law #TechLeadership #EngineeringEducation #SafetyCritical #TechBooks #EmbeddedFM #embedded #engineering #testing #embedded

🎃 No tricks, just type safety.

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

Happy Halloween! 👻🦀

#Rust #Ferrocene #SafetyCritical

🎃 No tricks, just type safety.

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

Happy Halloween! 👻🦀

#Rust #Ferrocene #SafetyCritical

🎃 No tricks, just type safety.

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

Happy Halloween! 👻🦀

#Rust #Ferrocene #SafetyCritical

🎃 No tricks, just type safety.

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

Happy Halloween! 👻🦀

#Rust #Ferrocene #SafetyCritical

“Rust in Safety Critical” was the focus of today’s Oxidize 2025 panel, with insights from Florian Gilcher (@ferrous), Jonas Wolf (Vector), Rolland Dudemaine (TrustInSoft) & Daniel Silverstone (@codethink). #RustLang #SafetyCritical