corpus.blog
44,124 blogs · 5,475,563 posts Claim your blog
Record · corpus.blog/posts/01a0e496-987a-7094-8009-3974fe214260

Is Rust ready for safety related applications?

codethink.co.uk · published 29 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at codethink.co.uk Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
46
Words captured
4,887

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.exidascom/
exidascom
https://www.exida-eu.com/images/home/exida_Automotive_Symposium_2022_V3.pdf
exida-eu.com
Ferrous Systems Donates Ferrocene Language Specification to Rust Project Read at the source ↗
rustfoundation.org
https://lang-team.rust-lang.org/how_to/propose.html
lang-team.rust-lang.org
https://crates.io/
crates.io
https://docs.rs/
docs.rs
https://github.com/rust-lang/crater
github.com
https://rustweek.org/celebration/
rustweek.org
https://crates.io/crates/cargo-geiger
crates.io
https://github.com/rust-lang/miri
github.com
https://doc.rust-lang.org/cargo/
doc.rust-lang.org
https://crates.io/crates/cargo-tarpaulin
crates.io
https://ferrocene.dev/en/
ferrocene.dev
https://tools.galois.com/c2rust
tools.galois.com
https://github.com/immunant/c2rust
github.com
https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_ReflectionsonTrustingTrust.pdf
cs.cmu.edu
https://github.com/exida/ctools
github.com
https://github.com/willcrichton/flowistry
github.com
https://www.oreilly.com/library/view/programming-rust-2nd/9781492052586/
oreilly.com
https://ferrous-systems.com/
ferrous-systems.com
rust
rust-lang.org
https://www.stroustrup.com/JSF-AV-rules.pdf
stroustrup.com
https://github.com/jubnzv/MISRA-Example-Suite
github.com
https://www.autosar.org/fileadmin/user_upload/standards/adaptive/17-03/AUTOSAR_RS_CPP14Guidelines.pdf
autosar.org
https://www.misra.org.uk/
misra.org.uk
https://www.exida.com/Blog/software-metrics-iso-26262-iec-61508
exida.com
https://static.sched.com/hosted_files/elisasummit2022/2a/AUTOSARAdaptiveApplicationsInRust.pdf
static.sched.com
https://ziglang.org/
ziglang.org
https://www.circle-lang.org/site/index.html
circle-lang.org
https://hsutter.github.io/cppfront/
hsutter.github.io
https://safecpp.org/
safecpp.org
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2025/p3081r1.pdf
open-std.org
https://sternumiot.com/iot-blog/memory-safety-5-common-memory-bugs-and-how-to-secure-your-system/
sternumiot.com
https://runsafesecurity.com/blog/memory-safety-vulnerabilities/
runsafesecurity.com
https://www.memorysafety.org/
memorysafety.org
https://github.com/eclipse-kuksa
github.com
https://elisa.tech/event/elisa-workshop-lund-2025/
elisa.tech
https://directory.elisa.tech/workshops/2025-05-Lund/3-2_Rust_in_Safety_Critical_Applications_and_Implications_for_ELISA.pdf
directory.elisa.tech
Announcing the Safety-Critical Rust Consortium Read at the source ↗
rustfoundation.org
https://arewesafetycriticalyet.org/coding_guidelines/members
arewesafetycriticalyet.org
https://arewesafetycriticalyet.org/tooling/members
arewesafetycriticalyet.org
https://arxiv.org/pdf/2405.18135
arxiv.org
https://codethinklabs.gitlab.io/trustable/trustable/
codethinklabs.gitlab.io
https://gitlab.com/codethinklabs/safety-monitor/safety-monitor/
gitlab.com
https://c2rust.com/
c2rust.com
https://arewesafetycriticalyet.org/
arewesafetycriticalyet.org
Elsewhere on codethink.co.uk (2)