安全手册的重要性：充分利用安全认证的软件

安全手册在功能安全合规中发挥着至关重要的作用，它解释了如何集成和使用认证的安全组件。

开发安全关键系统并非从零开始构建每个组件，系统开发者通常会集成经过认证的安全组件，这些组件提供经过验证的功能，并且可以合并到更大的安全体系结构中。如SAFERTOS就是一个独立于项目背景开发的安全要素（SEooC）。

然而，获得安全认证的组件只是其中的一部分。为了从该组件实现的安全完整性级别中获益，同时支持功能安全合规性，必须在最终系统中正确使用该组件。这就是安全手册成为认证过程关键环节的原因。

安全手册简介

安全手册提供了关于如何集成、配置和操作安全认证产品的指南，以确保其安全特性在目标应用中仍然有效。

该手册记录了产品在安全评估过程中所做出的假设，并将其转化为面向系统集成商和开发者的实用指导。通过遵循这些要求，开发者可以证明产品是按照认证时所评估的方式被使用。

对于安全认证RTOS，如SAFERTOS，安全手册是连接RTOS供应商提供的认证证据与为最终应用开发的安全案例之间的重要桥梁。

安全假设（AoUs）的重要性

安全手册中阐述的一个重要概念是安全假设（AoU）。

安全假设（AoU）定义了系统集成商或应用开发人员必须满足的条件，以确保产品安全认证的有效性。这些假设可能涉及系统架构、配置选择、硬件特性、开发流程、验证活动或操作约束。

SEooC的安全认证是在一组既定假设下获得的。若遵守这些假设，终端应用可复用其认证证据；否则可能需要开展额外的分析、论证，甚至重新认证。

因此，不应将AoU视为建议，它们是确保认证安全声明有效性的要求。

审核员关注的重点

在功能安全评估过程中，审核员不仅需要确认是否选用了经认证的组件，还需验证该组件是否按照其安全手册中规定的条件正确使用。

审计期间常见的一项活动是审查AoU合规性。审计人员通常期望看到：

• 每个AoU均已被审查的证明。

• 显示每个AoU如何处理的可追溯性。

• 不直接适用AoU的理由。

• 证明系统设计与认证过程中所做假设保持一致的文档。

能够快速证明符合所有适用的AoU，可大幅简化评估流程，提高审核准备度。

减少认证工作量

使用安全认证RTOS的一个主要优势是能够利用已有的认证证据。

SAFERTOS的安全评估涵盖了操作系统行为的诸多方面，包括错误检测、分区、调度、健康监控和故障处理等机制。当遵循安全手册的指导时，系统开发人员可直接依赖这些已评估的特性，而无需从头开始证明其功能的等效性。

这使开发团队能够基于可靠且独立评估的基础，专注于应用程序特定的功能。

从实际角度来看，减少了生成重复安全证据的工作量，从而可以将更多精力投入到验证应用程序本身的安全性上。

避免延误与返工

若未能在项目初期满足安全手册的要求，后续在认证阶段可能会面临极大的困难。

AoU通常会影响架构设计、开发实践、测试策略以及配置选择。若在项目后期才发现某项AoU需求未得到满足，可能需要进行设计修改、增加验证活动，或更新安全文档。

此类问题会导致认证工作延误，并给项目带来不必要的风险。

通过在开发生命周期初期审查安全手册，并持续跟踪适用AoU的遵从性，团队能够尽早识别潜在问题、减少返工，从而更顺利地推进认证进程。

SAFERTOS DAP包

安全手册为在安全关键型应用中部署SAFERTOS提供了集成指导，SAFERTOS设计保证包（DAP）则提供了支持这些指导的证据。两者结合，可帮助企业利用现有的认证证据，从而减少认证工作量。

DAP包含针对特定处理器与编译器组合的SAFERTOS开发及认证过程中生成的全生命周期证据，涵盖需求可追溯性、设计文档、危害分析、验证与确认记录、源代码、测试套件以及安全案例文档。

结合安全手册的指导，DAP可帮助提升审计准备度、减少不必要的重复测试、降低认证风险，并提供必要的透明度，以证明从源代码到指令集的全流程安全实现。

结论

安全手册不仅仅是随认证产品附带的配套文件，它是将安全认证证据从SEooC转移至最终应用的关键机制。

对于安全管理人员而言，它给出了一套必须满足的明确要求；对于开发人员而言，它明确了保持认证安全特性的必要条件；对于审计人员而言，它为验证产品是否正确集成提供了依据。

遵循安全手册中的指导要求，有助于维护认证声明、减少评估工作量、避免返工，并加快取得认证的进程。结合SAFERTOS DAP，可提供证明合规性所需的证据与指导，更高效地利用现有的认证成果。

阅读原文了解SAFERTOS DAP如何帮助减少认证工作量并提升审核准备度的更多信息。