是否存在经过认证的(ISO 26262或类似的)C ++标准库? [英] Does a certified (ISO 26262 or similar) C++ standard library exist?

问题描述

虽然存在经过认证的C ++工具链(编译器等)，但是我没有找到任何经过认证的C ++标准库(STL).

While certified C++ toolchains (compiler etc.) exist I did not find any certified C++ standard library (STL).

有人知道有人提供这个吗?

Does anyone know of someone providing this?

推荐答案

认证要求严格遵循ISO26262和ASPICE标准，这意味着将所有文档从系统级写到单元级，并在与文档并行的所有级别上进行测试(请参阅V模型(ISO26262).同样，这将要求STL的安全性案例是上下文无关的安全要素"，这将要求发明所有图书馆零件使用的假设，并为用户创建安全手册，而用户仅需要以预期方式使用安全手册.这将使开发成本增加一个数量级，然后将不存在该市场，因为使用它需要编写自定义内存管理器，该管理器将从静态分配的空间中分配内存，然后分析完整的应用程序以证明它会较新需要更多的内存，然后再进行这个预先分配的数量，这将是一项主要工作，因此理论上可以通过认证的STL，但是提到的原因很可能会阻止一个STL的开发.

Certification demands strict following of ISO26262 and ASPICE standards, which would mean writting all documentation from system to unit level and also tests on all levels, parallel with documentation (see V model in ISO26262). Also, this would demand safety case for STL as "safety element out of context", which would demand inventing assumptions of use for all library parts and creating safety manual for user which will require use of library only in intended way. This would increase development cost for order of magnitude, and then market for this would be non-existent, as using it would demand writing custom memory manager which would allocate memory from statically allocated space, and then analyzing complete application to proof it'll newer need more memory then this preallocated amount, which would be major undertaking, so certified STL could theoretically exist, but mentioned reasons would probably prevent development of one.

这篇关于是否存在经过认证的(ISO 26262或类似的)C ++标准库?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！