用 SPARK 构建高完整性应用
Building High Integrity Applications with SPARK
John W. McCormick, Peter C. Chapin · 初版 2015 年
- 24次提及
- 4人推荐
- 5位 HN 评论者
Hacker News 读者推荐
……被所有搜出来的 Apache Spark 玩意儿搞得很烦，不过过去这一两年这股风头似乎消退了点。佛蒙特技术学院（VTC）用 SPARK2014 来给他们的立方星（CubeSat）写程序，而《Building High Integrity Applications with SPARK》[1] 这本书就是很棒的入门教材，带入了很好的实战应用背景。AdaCore 官网上还有一篇文章，讲的是有人用 SPARK2014 重写了某些无人机的固件，这又是另一个很棒的真实世界……
eggy 在 HN 的推荐
……还得需要一段时间。Ada 在这个领域资历更老。我正在做安全关键型的控制系统，在 SPARK 和 Ada 这个领域，现有的很多成果都可以直接拿来用。这本名为《Building High Integrity Applications with SPARK》的书[2]真的让我彻底折服于它的优势。书中极好地介绍了 SPARK 如何应用于佛蒙特技术学院（VTC）的立方星项目。一颗立方星已在 2013 年成功发射。我没能找到任何……
eggy 在 HN 的推荐
对，这里有几本关于它非常棒的书，考虑到主题尤其切题。《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…
pjmlp 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 1107040736
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。