SAFETI-HALCOGEN-CSP 生成的操作系统问题

HALCoGen CSP的开发旨在提供文档，报告和单元测试功能，以帮助使用HALCoGen生成的软件的客户遵守功能性安全标准，例如IEC 61508和ISO 26262

HALCoGen CSP是支持最新版本的HALCoGen的

www.ti.com.cn/.../spnu605c.pdf

请问您所说的“否涉及了HALCOGEN 生成的操作系统部分？” 具体是指什么？

freertos

如上述文档描述：

HALCoGen Test Automation Unit does not support testing of FREERTOS driver.

这个只是说不支持自动化测试，
Software Requirement Document
Software Architecture Document
Software Safety Manual
Dynamic Coverage Analysis Report
Test Manager report
Test results reports
Traceability report
Software User Guide
Software release Notes
能提供上面这些文档里面的部分我看下吗？

1 关于freertos的问题，我需要去确认一下

2 上述文档的话，我之前联系美国确认过

是需要客户签署NDA协议的

好的，多久会有回复？NDA协议签署有什么条件吗？

应该明天会有回复

签署NDA的话，可以看一下之前我提问的帖子

e2e.ti.com/.../847328

好的，谢谢。

同时您也帮我确认下，用HALCoGen CSP生成的freertos是否满足功能安全？