标准与合规概述
受监管的嵌入式软件开发需同时满足两套并行要求。功能安全标准规定必须执行哪些验证活动以及必须提供哪些证据；编码指南则规定源代码应如何编写，以避免出现这些标准旨在防范的缺陷类别。这两者均具有法律和合同约束力，且都需要使用经过认证的工具，以确保生成的输出结果能被认证机构接受。
PC-lint Plus已通过exida的认证，符合ISO 26262、IEC 61508和IEC 62304标准。VectorCAST覆盖率测量功能已通过TÜV的认证，符合所有主要功能安全标准。结合用于持续质量监控的Squore，全面覆盖受监管嵌入式开发所需的全部要求。
功能安全标准
主要的功能安全标准均基于风险。每项标准都定义一套分类体系，根据风险分类程度为软件分配相应的验证要求，并要求对相关活动提供有据可查的证明文件。虽然各行业的具体术语和结构有所不同，但其基本义务是一致的。
ISO 26262
ISO 26262适用于道路车辆中的电气和电子系统。风险分类从ASIL A到ASIL D，其中最高级别的结构覆盖需求包括MC/DC。
RTCA/DO-178C
DO-178C是机载软件的主要认证标准。开发保证级别从A到D，其中A级要求对所有决策都进行MC/DC覆盖。
IEC 61508
IEC 61508是工业安全的基础标准，也是ISO 26262、EN 50716以及其他若干行业标准所依据的基础。安全完整性等级（SIL）从SIL 1到SIL 4。
IEC 62304
IEC 62304适用于医疗设备中的软件，并将组件按安全等级A、B或C进行分类。C级的安全等级规定最严格的验证义务，包括结构覆盖率和需求可追溯性。
EN 50716
EN 50716标准涵盖铁路控制、保护及轨道车辆领域的应用，基于IEC 61508制定，并针对铁路领域的特定需求进行调整。
IEC 60880
IEC 60880规范核电站中基于计算机的系统的软件方面，适用于符合IEC 61226标准的安全类别A的功能。
编码与安全指南
功能安全标准规定项目必须执行哪些验证活动。编码指南则规定源代码应如何编写，以避免那些会增加验证难度、并在测试开始前就引入安全与保障风险的缺陷类别。
目前，针对安全关键型嵌入式C和C++开发最广泛采用的规范包括MISRA C和MISRA C++、面向汽车ECU软件的AUTOSAR C++、侧重安全性的编码规范CERT-C，以及用于漏洞枚举的CWE（包括CWE Top 25和Top 10 KEV列表）。PC-lint Plus开箱即支持所有这些规范，并通过在每次构建时进行静态分析来强制执行合规性。
工具鉴定与认证
工具认证是IEC 61508、ISO 26262和DO-178C标准下的强制性要求。未经认证的工具所产生的测试结果，无论显示何种结果，均不具有证据效力。
PC-lint Plus已通过exida认证，符合ISO 26262:2018（ASIL D）、IEC 61508:2010（SIL 4）和IEC 62304标准。VectorCAST的覆盖率测量结果已通过TÜV认证。这两款工具均随附必要的资格认证文件，可依据上述标准将其用作验证工具。
| 行业 | 标准 | VectorCAST | PC-lint Plus |
| 汽车 | ISO 26262 | 通过TÜV认证，ASIL A-D | 通过exida认证，ASIL A-D |
| 航空航天 | RTCA/DO-178C、RTCA/DO-330 | 通过TÜV认证，涵盖所有DAL级别，包括A级别的MC/DC。可根据要求提供认证套件。 | ✗ |
| 工业自动化 | IEC 61508 | 通过TÜV认证，SIL 1-4 | 通过exida认证，SIL 1-4 |
| 医疗设备 | IEC 62304 | 通过TÜV认证 | 通过exida认证 |
| 铁路 | EN 50716 | 通过TÜV认证 | 通过exida认证 |
| 核电站 | IEC 60880 | 通过TÜV认证 | ✗ |