百余年来,工业技术的发展经历了蒸汽机时代、电气化时代和信息化时代,并且即将迈入工业4.0利用信息化技术促进产业变革的智能化时代。计算机软件、网络、集成电路、大数据、人工智能和数字化等技术将势不可挡地遍布应用到所有工业领域,包括石油、化工、电力、环境、安防和物联网等典型行业。而嵌入式软件在其中扮演了至关重要的作用,决定着控制系统的控制策略、业务逻辑、可靠性和安全性等方方面面。

早在2000年5月,国际电工委员会正式发布了IEC 61508标准,名为《电气/电子/可编程电子安全系统的功能安全》,该标准分七部分,标准规定随机失效的后果必须定量评估,使用随机存取测量系统 (RAMS)方法计算有效性。基于IEC 61508标准,其它相关行业进一步衍生出符合特定领域业务需要的标准,如汽车电子行业的ISO 26262, 轨道交通的EN 50128, 核工业的 IEC 60880等。IEC 61508的核心概念是安全的完整性等级(Safety Integrity Level, 简称‘SIL’),包括从SIL1到SIL4的4个安全完整性等级。IEC 61508的第3部分,专门针对控制系统的软件部分的安全性、可靠性和研发流程做了详细的规范,以保证安全相关软件符合整体系统的安全完整性等级要求。

对于这些领域的产品研发团队来说,如何基于IEC 61508标准满足功能安全的要求,如何保证产品的安全性将是不容忽视的最重要的问题之一。

工业控制及其它-1




需求和挑战

  • IEC 61508标准对软件开发过程和测试有何具体要求?

  • 效率、质量和合规如何平衡?

  • 代码静态测试和单元测试效率太低

  • 黑盒测试、灰盒测试和白盒测试哪些环节可以实现自动化?

  • 嵌入式软件和上位机软件测试要求和方法上有何关键区别?

  • 有哪些自动化的工具可以提高软件设计和测试效率?

  • IEC 61508 SIL认证对辅助的自动化开发和测试工具有何要求?

解决方案

  • 代码静态分析,使用权威的静态分析工具Helix QAC满足MISRA, AutoSAR等常用编码规范,完美符合IEC 61508对代码静态分析的标准

  • 单元测试和集成测试,利用VectorCAST对软件单元模块的可靠性和正确性进行验证, 迅速满足IEC 61508对单元测试的要求

  • 黑盒测试,由“VT System + vTESTstudio + CANoe”集成的Vector HiL系统测试平台提供针对高可靠性嵌入式系统的实物硬件仿真和系统测试解决方案

  • 灰盒测试,DT10支持嵌入式系统跟踪执行、复杂缺陷回溯和性能测试等

  • 贯穿软件全生命周期(SDLC)的测试覆盖率分析,满足IEC 61508各个等级的认证审计需要

  • 使用Visure Requirements进行需求管理并实现满足IEC 61508要求的覆盖软件生命周期的可溯性

  • 所提供的常用工具经过第三方权威机构符合IEC 61508标准的认证和鉴定

  • 软件测试外包服务

特别值得关注

  • 代码静态分析

  • 单元测试

  • 性能测试

  • 系统测试

  • 可追溯性

  • 代码静态分析

    IEC 61508要求软件的开发过程需要有统一的编码规范。使用Helix QAC代码静态分析工具可以自动地、权威地对代码的合规性进行分析,为用户快速、准确地查找违规代码、隐藏代码缺陷,结构不合理的代码,在编码之初即可对常见的代码错误进行修复。Helix QAC支持MISRA C/C++, AutoSAR C++14, CERT C/C++, CWE C/C++, HiCPP, JSF等常用标准编码规范结合,支持30多种主流的开发编译环境。Helix QAC工具经过第三方机构认证,使用Helix QAC代码静态分析工具,用户可以快速满足IEC 61508对代码静态分析的要求。

  • 单元测试

    IEC 61508要求对底层的设计需求进行测试,这通常是通过单元测试来完成。对单个函数或多个函数组成的模块的可靠性和正确性的验证,都可以归结为单元测试的范畴。对比于软件的系统级测试,单元测试更为繁琐,耗时耗力,而对于有IEC 61508合规性要求的嵌入式软件,由于测试驱动,执行环境和覆盖率统计等多方面的难点,单元测试则尤其困难,几乎不可能人工来完成。VectorCAST嵌入式软件动态测试工具针对IEC 61508提供了专门的自动化解决方案,利用自动化创建的测试环境、测试用例自动生成、测试用例图形化设计平台、灵活的管理机制、全面的覆盖率统计功能及对40多种常用开发环境的良好支持,可以有效提高单元测试70-80%的效率。VectorCAST也通过了国际权威机构的认证,完全符合基于IEC 61508的SIL认证的要求。

  • 性能测试

    利用DT10动态测试和跟踪调试工具,可以长时间跟踪软件的执行过程,实时对软件执行中的各个函数、模块、任务、代码块和CPU负载等不同维度的执行性能进行度量和瓶颈分析。对比于传统的利用示波器进行性能测试,DT10所提供的性能测试方案效率更高,更容易将性能异常点定位到源码中的问题根源。

  • 系统测试

    由“VT System + vTESTstudio + CANoe”组建的Vector HiL嵌入式系统网络实物仿真和系统测试平台,可以为工业控制和通用嵌入式系统提供包含测试设计、测试执行、网络分析,以及I/O接口、激励硬件板卡等一体化的实物仿真和测试解决方案,协助用户加速测试环境的搭建、测试自动化、自动回归测试,显著提高测试效率,降低人工成本。Vector HiL系统测试平台,可以和VectorCAST的结构覆盖统计功能、Visure需求管理平台集成,形成一站式的测试和报告解决方案。

  • 可追溯性

    使用Visure Requirements需求管理系统,管理从上层产品设计,到概要设计到下层详细设计的各个层级的设计过程,并与常用的开发测试类系统集成,满足IEC 61508标准对软件需求可追溯性的要求,更确切地说是,实现研发过程各个环节之间的双向可追溯性,包括:

        • 软件的系统需求和概要设计之间

        • 概要设计和详细设计之间

        • 软件需求和测试用例之间

        • 测试用例和缺陷之间


    最终形成需求可追溯矩阵(Requirements Traceability Matrix,简称RTM)。IEC 61508准对可追溯性的要求的最直接的目的就在于研发流程各个环节的信息一致性和准确、高效的变更影响分析,保证最终交付成果不会偏离预计的目标。

相关产品

相关资源

  • 白皮书

  • 博客

  • 如何满足IEC 61508-3 2010标准相关的软件验证和确认要求_白皮书

    点击下载

RELATED RESOURCES

下载申请

是否需要技术支持

验证码

温馨提示:

我们将通过电子邮件向您发送下载地址,请核对您填写的工作邮箱是否正确。

提 交