图片89

1.智能制造之PLC安全产品质量管控制的验证与确认。

为保证每个开发阶段的可靠性，每一阶段都必须进行验证活动；为确保开发的产品与设计和需求相符，对活动的实施应在最后一阶段进行。项目团队组建独立V&V小组，对在LK系列产品SIL2认证的开发过程中的产品开展独立V&V活动，以确保项目产品符合预定的功能、性能、安全要求和质量要求。其内容如下：

每个阶次对应的输入条件、输入文件等信息是否完整；

对应于每一阶段的设计、开发人员是否符合质量保证计划对人员资格的要求；

文件在设计、执行过程中是否采用了规范中推荐的方法或措施；

经过文件验证或试验实施，对文件内容进行检查，审核各个规格、指标是否100%覆盖前一级文件并正确分解、细化。

2.智能制造之PLC安全产品质量管控制的试验

1）测验阶段。

在开发阶段，测试活动伴随着产品的整个生命周期，在开发阶段为需求和设计编写相应的测试规范，测试阶段从单元到系统的各个测试规格，验证产品是否符合设计和需求。

单元测试：硬件执行板级白盒测试，软件执行代码走查，代码白盒测试；

综合测试：综合测试软硬件测试，测试模块是否符合模块要求；

综合测试：对系统进行综合测试，测试系统是否符合体系结构；

失效注入测试：每一个包含失效注入测试功能的产品都会先经过FMEDA的批准，然后根据批准的失效注入测试用例编写失效注入测试，在产品原理样机成型之后执行完整的失效注入测试，最后通过TUV现场验证。

2）测验技术

硬体白盒测试。在产品开发的试样阶段和小批量验证阶段，大多数企业都做过大量的试验，如EMC试验、高低温环境试验、机械试验，如振动、跌落试验等。试验把产品当作黑匣子，对其施加各种应力，使某些产品在一定应力条件下存在可靠性隐患。

所以我们打开了每一台工厂自动化硬件产品的外壳，仔细测量每一根信号线、每一电源、每一接口的信号时序、每一电路，除了常规的波形观察外，还对各波形的各项指标、时间顺序等进行了测试，分析波形是否符合设计要求。以此坚实的理念和方法，从白盒层次上对每一件产品进行测试，确保产品在平静的表面下无风险运行。

软体静态检验。对硬件白盒进行测试，保证硬件平台运行可靠。根据编码规范，从嵌入式软件工程师的工作过程中提高代码质量，保证风格统一，输出GoodCode；

对产品代码进行静态检查，在成本和时间的考虑下，采用此方法可以帮助程序开发人员实现静态代码分析的自动化，快速定位代码隐藏错误和缺陷，从而极大地减少对逐行代码检查的时间，提高软件可靠性，节约软件开发和测试成本。

3）自动测试。在产品测试阶段，通过硬件白盒测试和软件静态检测保证，在产品测试阶段有更多的方法为产品质量保驾护航，比如集成测试、系统测试、模拟平台测试等，而面对众多的产品测试，产品的自动化测试起着重要的作用。当前对于工厂自动化的硬件产品，都可以实现通道级自动化测试，不仅提高了测试效率，更提高了测试质量，从大量的测试数据中实现通道特性分析。