2

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

有谁知道有人提供这个？

4

1 回答 1

-1

认证要求严格遵循 ISO26262 和 ASPICE 标准，这意味着编写从系统到单元级别的所有文档，并在所有级别上进行测试，与文档并行（参见 ISO26262 中的 V 模型）。此外，这将要求 STL 的安全案例作为“脱离上下文的安全元素”，这将要求为所有库部件创造使用假设，并为用户创建安全手册，该手册仅需要以预期方式使用库。这将增加一个数量级的开发成本，然后市场将不存在，因为使用它需要编写自定义内存管理器，该管理器将从静态分配的空间分配内存，然后分析完整的应用程序以证明它会更新需要更多的内存然后这个预先分配的数量，这将是一项重大任务，

于 2020-05-02T16:05:48.767 回答