学习安全关键系统开发 (C/C++) 的最佳资源是什么
我希望找到关于安全关键系统开发技术/方法的良好资源(书籍或其他)，尤其是涵盖硬件和软件的资源.我对 C/C++ 有很好的工作知识，所以即使它只是 SourceForge 等上的代码，我仍然希望有一个链接来浏览. 谢谢. 解决方案 播客 Software Engineering Radio 有一些谈论例如的剧集我发现非常有用的实时和容错系统.这些剧集也很好地参考了书籍.
..
safety-critical相关内容
Qt 研究/学术/期刊论文/文章
我正在寻找任何分析 Qt 和 Qt Creator 最新版本的研究/学术/期刊论文/文章. 具体来说，我试图从实时安全关键的角度评估 Qt，因此任何信息都是有帮助的. 附言我尝试了典型的搜索方法:谷歌学者、IEEE Explore、ACM 数字图书馆等.也许我没有使用正确的搜索词，但是当我搜索以下内容时没有任何有用的内容:“软件安全 Qt GUI"或它的任何排列. 再次感谢您提供
..
是否存在经过认证的(ISO 26262或类似的)C ++标准库?
虽然存在经过认证的C ++工具链(编译器等)，但是我没有找到任何经过认证的C ++标准库(STL). 有人知道有人提供这个吗? 解决方案 认证要求严格遵循ISO26262和ASPICE标准，这意味着将所有文档从系统级写到单元级，并在与文档并行的所有级别上进行测试(请参阅V模型(ISO26262).同样，这将要求STL的安全性案例是“上下文无关的安全要素"，这将要求发明所有图书馆零件使
..
安全关键嵌入式系统中的Ada例外
我开始学习Ada在安全性至关重要的嵌入式设备中的潜在用途.到目前为止，我真的很喜欢.但是，在我对嵌入式编程的研究中，我遇到了一个热门话题，即是否在嵌入式系统中使用异常处理.我想我理解为什么有些人似乎会避免使用它: 根据其实现，它可能会导致运行时开销或更大的代码大小(此处提到的在“实施"下) 执行异常所花费的时间可能是不确定的(我看到的几种来源之一) 现在我的问题是， Ada语言或GN
..
cppcheck的规则集
Cppcheck允许您创建自己的规则文件，但我不知道cppcheck的功能暴露了多少。 强制执行 JSF 或 MISRA 规则？ 解决方案 所有MISRA / JSF规则和指令作为cppcheck规则，大多数只是直接的限制某些C语言特性和结构，或者是风格相关的（一些注意：空格前/后./->单行，使用联合提供访问内存的不同方法，在char之前存在unsigned / signed等）。
..