News for hackers. Stuff that matters.
Re:F’: Flight Software and Embedded Systems Framework by pjmlp on Saturday February 20, 2021 @06:09AM (#26203303)
Yep, here some very good books about it, specially relevant given the main subject.

"Building High Integrity Applications with SPARK"

https://www.amazon.com/Building-High-Integrity-Applications-...

"Building Parallel, Embedded, and Real-Time Applications with Ada"

https://www.amazon.com/Building-Parallel-Embedded-Real-Time-...

"Embedded Software Development for Safety-Critical Systems"

https://www.amazon.com/Embedded-Software-Development-Safety-...

There are no comments on this comment yet.