Want to see Parasoft in action? Sign up for our Monthly Demos! See Demos & Events >>

X
IEC61508

使用Parasoft遵从IEC61508标准

什么是IEC61508?

IEC61508被认为是功能安全的基本或“保护伞”国际标准。IEC61508可应用于任何与安全相关的电气/电子产品。行业部门应该根据需要提供他们自己的特定标准、文件和指南(例如汽车领域的ISO 26262 )。IEC61508包含了安全关键系统的整个安全生命周期。它包含4个规范部分(1-4)加上3个信息或“指南”部分(5-7)。IEC61508认证是可选的——该标准没有特别要求。

IEC61508技术标准引入了安全完整性等级(SIL)的概念。SIL可以采取四个级别(SIL1-SIL4)中的一个,对应于给定安全功能的危险故障目标可能性范围。安全相关系统中的每个安全功能都需要分配适当的安全完整性级别。一个 E/E/PE 安全相关系统通常会实现多个安全功能。如果这些安全功能的安全完整性要求不同,除非它们之间有足够的实施独立性,适用于最高相关安全完整性水平的要求适用于整个E/E/PE安全相关系统。

执行IEC61508与源代码分析,单元测试,可追溯性等的一致性

Parasoft用户可以利用Parasoft C/C++test 通过自动化标准所需的多种测试方法来降低实现IEC61508合规的成本,从而节省时间和精力。Parasoft C/C++test帮助工业自动化软件开发团队满足IEC61508标准定义的软件开发和验证过程要求。当通过Parasoft C/C++test 自动化的各种测试和代码分析类型的结果被处理时,报告的智能分析显着减少了软件验证所需的工作。

Parasoft如何帮助用户实现IEC61508合规

Parasoft C/C++test是一个集成的开发测试解决方案,用于自动化广泛的最佳实践,这些实践被证明可以提高软件开发团队的生产力和软件质量,包括:

  • 静态分析:监控编码标准的遵从性,并在SDLC早期防止缺陷,包括消除构成安全威胁的软件构造
  • 单元测试:在主机或目标上创建并执行测试
  • 覆盖率度量分析:识别差距测试、需求和代码覆盖率
  • 运行时错误检测:检测内存访问错误、泄漏、损坏等

这些技术为团队提供了一种预防、暴露和纠正错误的实用方法,以确保他们的C和C++代码按照预期工作并符合需求。为了促进快速修复,每个检测到的问题都是根据可配置的严重性分配的优先等级,自动分配给编写相关代码的开发人员,并分发给他或她的IDE,并提供问题代码的直接链接和如何修复它的描述。对于嵌入式和跨平台的开发,C/C++test也适用于基于主机和基于目标的代码分析和测试流程。

与其他软件测试产品提供的零散工具不同,Parasoft C/C++test 满足IEC61508规则规定的多种软件测试要求。Parasoft全面的解决方案意味着较低的学习和设置工作量。开发人员不需要学习多种工具,可以专注于他们的核心活动。工具集成商或架构师可以节省他们的时间,否则他们将花费在交换数据的工具接口上和生成统一的报告上。

Parasoft C/C++test在设计时考虑到了安全关键 应用程序。当执行单元测试或运行时内存监控时,构建测试二进制文件所需的所有组件(包括测试代码刺激和存根的测试用例)都以源代码的形式呈现,并且可以进行版本控制和检查。

与其他工具相比,这种方法更优越,在其他工具中,对测试代码的刺激是在运行时从主机发送的,并且需要在分配给内存中的变量之前需要进行额外的转换。通过将所有测试工件以源代码的形式呈现,Parasoft C/C++test删除了这个不必要的层,并确保在执行测试之前,内存的状态以与生产系统相同的方式构造。

与其他提供封闭报告模块的工具不同, Parasoft C/C++test集成了Parasoft高级的报告和分析平台,用于团队范围内的数据聚合、方便的报告和高级分析。报告和分析中心提供了来自不同来源的相关信息的聚合视图,如源代码或需求管理系统、测试工具或ALM。

将这些信息关联在一起,为用户提供了新的数据分析功能,从而以最有效的方式集中精力。用户可以通过监控开发过程中的趋势来提高生产力,并自动生成符合行业标准的报告,如“MISRA Compliance: 2016”(广泛应用于各个行业)。

Parasoft C/C++test通过TÜV SÜD认证,适用于开发IEC61508安全关键系统。我们的TÜV认证涵盖了所有安全完整性等级(SIL)的C/C++tes资格。为了支持其他行业标准,Parasoft拥有IEC61508认证套件,可以自动化工具认证过程的重要部分,减少人工工作量,消除软件技术团队的分心。

WHITEPAPER

Satisfying SIL Requirements With Parasoft

IEC61508功能标准降低了软件风险。阅读本文,了解 Parasoft 如何帮助软件开发团队满足特定SIL级别的要求。它可以帮助您了解IEC61508标准定义的SIL,并演示如何使用Parasoft来满足特定SIL级别的软件开发过程要求。

Download