Re:So, you want to build a CubeSat?
by eggy on Wednesday July 31, 2019 @12:17AM
(#20571685)
I am almost finished working my way through the book "Building High Integrity Applications with SPARK"[1].
I dropped Rust and found SPARK easier to work with, and one of the book's authors is a professor at Vermont Technical College (VTC) in the CubeSat Laboratory[2] where Ada/SPARK are used.
The book is a great way to get exposed to a lot of subjects around high integrity, secure software. Highly recommended.
I dropped Rust and found SPARK easier to work with, and one of the book's authors is a professor at Vermont Technical College (VTC) in the CubeSat Laboratory[2] where Ada/SPARK are used.
The book is a great way to get exposed to a lot of subjects around high integrity, secure software. Highly recommended.
[1] https://www.cambridge.org/core/books/building-high-integrity...
[2] http://cubesatlab.org/