Aerugo – RTOS for aerospace uses written in Rust

Re:Aerugo – RTOS for aerospace uses written in Rust by aknfffn on Friday February 02, 2024 @07:10PM (#39236261)

I’d love to learn more about this — can you recommended any resources for building something from the ground up with the relevant safety-critical considerations? Appreciate any pointers

[ Parent | on HN ]

Re:Aerugo – RTOS for aerospace uses written in Rust by kejaed on Friday February 02, 2024 @08:29PM (#39236767)

Here’s a decent textbook that covers the software side in aerospace (DO-178):

https://www.amazon.ca/Developing-Safety-Critical-Software-Pr...

You can read up on the system safety side in documents like ARP5754 and ARP4761 and hardware side in DO-254.

[ Parent | on HN ]

Re:Aerugo – RTOS for aerospace uses written in Rust by fallingmeat on Friday February 02, 2024 @09:09PM (#39236972)

Someone who spent that much time at CMC would know!

I also love her book.

[ Parent | on HN ]

Re:Aerugo – RTOS for aerospace uses written in Rust by kejaed on Friday February 02, 2024 @09:28PM (#39237078)

I learned lots, worked with some great people, and even certified a thing or two!

[ Parent | on HN ]

Re:Aerugo – RTOS for aerospace uses written in Rust by westurner on Saturday February 03, 2024 @06:40PM (#39245897)

awesome-safety-critical > Software safety standards lists DO-178C and also DO-278: https://awesome-safety-critical.readthedocs.io/en/latest/#so...

[ Parent | on HN ]

Re:Aerugo – RTOS for aerospace uses written in Rust by foundry27 on Saturday February 03, 2024 @11:25AM (#39241805)

Late reply, I know, but I would highly recommend skimming through “Embedded Software Development for Safety-Critical Systems” by Chris Hobbs. I think it does a good job at getting people thinking about how they can start adopting a safety mindset for their projects, what techniques are applicable, and what common pitfalls are.

[ Parent | on HN ]