提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
原创|行业资讯|编辑:郑恭琳|2020-10-30 13:35:17.743|阅读 237 次
概述:IEC 61508被认为是功能安全的基本或“通用”国际标准。IEC 61508可应用于任何类型的与安全相关的电气/电子产品。Parasoft用户可以通过自动执行标准所需的多种测试方法来节省时间和精力,从而利用Parasoft C/C++test降低符合IEC 61508的成本。
# 慧都年终大促·界面/图表报表/文档/IDE等千款热门软控件火热促销中 >>
相关链接:
IEC 61508被认为是功能安全的基本或“通用”国际标准。IEC 61508可应用于任何类型的与安全相关的电气/电子产品。工业部门应根据需要提供自己的特定标准、文档和指南(例如,汽车中的ISO 26262)。IEC 61508涵盖了关键安全系统的整个安全生命周期。它包含4个规范性部分(1-4)和3个信息性或“准则”部分(5-7)。IEC 61508的认证是可选的——该标准没有特别要求。
IEC 61508技术标准引入了安全完整性等级(SIL)的概念。SIL可以采用四个级别之一(SIL1-SIL4),这四个级别对应于给定安全功能的目标危险故障可能性。与安全相关的系统中的每个安全功能都需要分配适当的安全完整性级别。与E/E/PE安全相关的系统通常将实现多个安全功能。如果这些安全功能的安全完整性要求不同,则除非它们之间的实现有足够的独立性,否则适用于最高相关安全完整性级别的要求将适用于整个E/E/PE安全相关系统。
通过源代码分析、单元测试、可追溯性等来增强IEC 61508的合规性
Parasoft用户可以通过自动执行标准所需的多种测试方法来节省时间和精力,从而利用Parasoft C/C++test降低符合IEC 61508的成本。Parasoft C/C++test帮助工业自动化软件开发团队满足IEC 61508标准定义的软件开发和验证过程要求。当处理通过Parasoft C/C++test自动化的各种测试和代码分析类型的结果时,将报告智能分析,从而大大减少了软件验证所需的工作。
Parasoft C/C++test是一个集成开发测试解决方案,用于自动化广泛的最佳实践,这些最佳实践被证明可提高软件开发团队的生产力和软件质量,其中包括:
静态分析:监控编码标准的遵从性,并在SDLC早期预防缺陷,包括消除构成安全威胁的软件结构
单元测试:在主机或目标上创建并执行测试
覆盖率指标分析:确定差距测试、需求和代码覆盖率
运行时错误检测:检测内存访问错误、泄漏、损坏等
这些技术为团队提供了一种预防,暴露和纠正错误的实用方法,以确保其C和C++代码能够按预期工作并符合要求。为了促进快速补救,根据可配置的严重性分配对检测到的每个问题进行优先级排序,将其自动分配给编写相关代码的开发人员,并通过直接链接到有问题的代码以及如何解决该问题的说明将其分发给他或她的IDE。对于嵌入式和跨平台开发,C/C++test可用于基于主机和基于目标的代码分析和测试流程。
与其他软件测试产品提供的零散工具相反,Parasoft C/C++test满足IEC 61508规则强加的多项软件测试要求。Parasoft解决方案的全面性可降低学习和设置工作量。开发人员不必学习多种工具,而可以专注于其核心活动。工具集成商或架构师可以节省他们的时间,否则这些时间将花费在实现工具之间的接口上,以交换数据和生成统一的报告。
Parasoft C/C++test在设计时考虑了安全性至关重要的应用程序。在执行单元测试或运行时内存监视时,构建测试二进制文件所需的所有组件(包括用于测试代码刺激和存根的测试用例)均以源代码的形式表示,并且可以进行版本控制和检查。
与其他工具相比,该方法具有优越性,在其他工具中,测试代码的激励是在运行时从主机发送的,并且在分配给内存中的变量之前需要进行额外的转换。通过以源代码的形式表示所有测试工件,Parasoft C/C++test除去了不必要的层,并确保执行测试之前的存储器状态与生产系统中的构造方式相同。
与其他具有封闭报告模块的工具不同,Parasoft C/C++test与Parasoft复杂的报告和分析平台集成在一起,可实现全团队范围的数据汇总、便捷的报告和高级分析。报告和分析中心提供来自不同源(例如源代码或需求管理系统、测试工具或ALM)的相关信息的汇总视图。
将这些信息关联在一起可以为用户提供新颖的数据分析功能,从而以最有效的方式更有效地集中精力。用户可以通过监视开发过程中的趋势来提高生产力,并自动生成符合行业标准的报告,例如“MISRA Compliance: 2016”(广泛用于各个行业)。
Parasoft C/C++test已通过TÜVSÜD认证,适合在开发IEC 61508安全关键系统时使用。我们的TÜV认证涵盖了所有安全完整性等级(SIL)的C/C++test资格。为了支持其他行业标准,Parasoft拥有IEC 61508认证套件,可自动执行工具鉴定过程的重要部分,从而减少了人工工作量,并消除了软件技术团队的分心。
白皮书
使用Parasoft满足SIL要求
IEC 61508功能标准降低了软件风险。阅读本文档以了解Parasoft如何帮助软件开发团队满足特定SIL级别的要求。它可以帮助您了解IEC 61508标准定义的SIL,并演示如何使用Parasoft满足特定SIL级别的软件开发过程要求。
本站文章除注明转载外,均为本站原创或翻译。欢迎任何形式的转载,但请务必注明出处、不得修改原文相关链接,如果存在内容上的异议请邮件反馈至chenjj@capbkgr.cn
通过提供强大的3D CAD数据访问工具并适用于桌面、移动和Web的高级环境3D可视化发动机,HOOPS在提升造船设计和制造流程的效率方面发挥了重要作用。
HOOPS Luminate在汽车行业中的应用具有广泛的潜力和深远的影响。它通过提供高效的3D可视化、虚拟装配与拆解、性能分析、客户定制等功能,帮助汽车制造商在设计、生产和销售过程中提升效率、降低成本并提高产品质量。
在不断发展的软件开发世界中,使工具和框架与最新的平台版本保持同步至关重要,欢迎查阅~
全球航运业对国际贸易至关重要,全球 90% 以上的商品通过海运运输。准确监控和控制这些集装箱的移动对于维持高效的供应链至关重要。手动输入集装箱号码是这一程序的关键部分,它带来了相当大的挑战,例如人为错误和效率低下。
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@capbkgr.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢