hirain

需求形式化建模和分析工具 — Stimulus

概述 Stimulus 是法国Argosim 公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完...

喜讯 | 经纬恒润荣获陕汽控股“品质领先奖”!

今天,在中国宝鸡刚刚召开的 2018年度陕汽控股优秀供应商颁奖盛典上,北京经纬恒润科技有限公司荣获 2018年度“品质领先奖”奖项!经纬恒润上台领奖经纬恒润荣获2018年度“品质领先奖” 经纬恒润与陕汽控股已有...

Concurrent iHawk — 实时并行计算机仿真系统

概述 Concurrent 公司的iHawk 并行计算机仿真系统是具有高实时特性的实时仿真系统,该仿真系统包含对称多处理器计算机平台、实时操作系统、实时开发工具以及应用软件。系统以MATLAB®/Simulink® 软件作为前...

系统多学科协同仿真平台 — TISC

概述 德国TLK-Thermo GmbH 公司的TISC 软件是一款实现多学科物理协同仿真的平台工具,它提供了一个标准的协同仿真环境,仿真过程既可以支持本地也可以支持远程、分布式,能有效连接起来并进行同步和控制各仿真工具,被广...

Helix QAC/QAC++ — 软件静态测试工具

概述 美国Perforce公司(原PRQA公司)是被世界范围内的高级软件开发人员、行业专家、标准团体认可的编程标准专家。在静态审查方面,为广大用户提供相关的自动化测试及管理工具,并结合客户需求提供专业的解决方案。其主打产品He...

PCB可靠性解决方案

概述 随着PCB 高速信号设计越发普遍,电子电路的设计越发面临信号完整性、电源完整性、热、电磁兼容等问题挑战。PCB板级可靠性解决方案从原理图到PCB的整套设计,均引入仿真验证手段,大大提升产品开发效率,设计正确性,实现产品最...

符合 ISO26262 规范的软件开发及测试咨询服务

概述 随着汽车电子系统的普及性和复杂性不断地提高,汽车电子产品的系统失效、部件失效等安全问题日益严峻。恒润科技从 2008 年起开始研究 ISO-26262 功能安全相关标准和技术 , 2012 年恒润参与国标委组织的功能安全...

Altia — 基于模型的 HMI 设计及开发软件

概述 随着消费电子和车辆电子的飞速发展,车载仪表和车载娱乐系统在内的 HMI(Human Machine Interface- 人机交互界面)普遍向多功能多元化趋势发展,HMI 开发面临难度大、周期长、成本高的挑战。美国 Al...

Symtavision — 分布式控制系统时间建模分析和验证工具

概述 德国Symtavision公司是全球领先的分布式控制系统时间建模、分析和验证工具的供应商。为客户提供完整的系统级时间特性建模、分析和验证的工具链以及项目咨询服务。在具有实时性要求的复杂的分布式控制系统开发过程中,对系统时...

PolySpace — 嵌入式软件运行时静态检查工具

概述 PolySpace 是 MathWorks 公司产品,主要用于分析软件运行时错误工具。它包括PolySpace Bug Finder 和PolySpace Code Prover 两个模块。产品介绍• PolySpace...

Mentor PCB 设计仿真工具链

概述 作为世界 PCB 领域首选的设计仿真平台,Mentor 公司为设计者提供了一个从概念设计到生产制造的的硬件全流程解决方案。它涉及到 PCB 设计从系统定义、原理仿真、约束定义、Layout 布线,到后续生产制造的 DFM...

基于DOORS和Rhapsody的需求工程解决方案

概述 需求分析以系统规格说明和项目规划作为分析活动的基本出发点,并从软件角度对它们进行检查与调整。同时需求规格说明又是软件设计、实现、测试直至维护的主要基础。良好的分析活动有助于避免或尽早剔除早期错误,从而提高软件生产率,降低...

Mentor Valor 面向制造的硬件工艺设计工具

概述 Mentor Graphics 公司的 Valor NPI 解决方案,它可将印刷电路板(PCB)设计和制造业务无缝对接,是业界首个集成式和自动化的 PCB 设计、制造和工艺验证流程。 Valor NPI 提...

SIMPACK — 多体动力学分析和实时仿真工具

概述 SIMPACK 软件是法国达索公司针对机械 / 机电系统开发的多体动力学软件,是第一款采用完全递归算法,利用相对坐标系建立机构动力学分析的软件。由于其系统方程数量少、不需要对质量矩阵求逆,在算法的稳定性、可靠性和求解效率...

RQM — 需求驱动的测试管理工具

概述 嵌入式系统复杂程度越来越高,随之而来的测试要求和任务也越来越繁重,而测试更多的是对产品满足需求情况的测试,因此,在高强度、高频度的测试过程中,难免有需求遗漏、回归测试不充分、缺陷管理不合理、测试人员疏忽导致的测试不完整等...