埃登威国产自主系统仿真平台软件 - 埃登威自动化系统设备（上海）有限公司

产品资讯

请输入产品名称

噪声分析仪纺织检测仪器 Toc分析仪 PT-303红外测温仪转矩测试仪继电保护试验仪定氮仪

埃登威自动化系统设备（上海）有限公司
新增产品 | 公司简介
注册时间：2012-12-14
联系人：
电话：
Email：

首页公司简介产品目录公司新闻技术文章资料下载成功案例人才招聘荣誉证书联系我们

产品目录

当前位置：

首页 > 产品目录 > 国外进口分析仪品牌 > 埃登威国产自主系统仿真平台软件

产品图片	产品名称/型号	产品简单介绍
	国产C程序静态分析工具软件 Canalyze	C程序静态分析工具Canalyze国产替代软件 1.需求及背景软件测试与分析是发现软件缺陷、提高软件质量的重要措施。动态测试是保障软质量的传统手段。不过，它依赖于测试用例的质量。如何设计一组比较少的试用例，给出合适的输入数据，达到比较高的覆盖率，是一个具有挑战性的题。即使达到了高覆盖率，也不一定能发现软件中潜在的缺陷。程态分析是近年来日益受到重视的一类技术。它通过扫描、分析源程序或中间码，以检软件中各种难以发现的缺陷。它不需要运行被测软件，就能生一些错误报，帮助开发人员、测试人员准确地找出软件中的bugs.
	SCADE软件国产替代解决方案 Modelcoder	Modelcoder形式化验证的代码生成工具软件是高**性嵌入式软件的开发标准，是SCADE软件国产替代解决方案其应用领域涵盖航空、国防、轨道交通、能源和重工业。替代SCADE软件已经在中核、中广核获得应用，效果反应获得用户好评，真正的民族脊梁。SCADE软件国产替代解决方案请直接致电埃登威
	国产替代MATLAB软件 MATLAB国产替代软件	类似于MATLAB软件国产替代MATLAB软件 ·MATLAB®: MATLAB 语言的单元测试框架 MATLAB工作界面目前已经可以替代Matlab的部分：国产替代MATLAB软件控制系统、嵌入式代码生成、基于模型的系统工程、系统设计和仿真，其他部分还在进行中。 MATLAB国内替代软件基于SysML的系统建模工具SysModeler SysModeler的核心功能和组成类似于MATLAB软件
	国内同款Simulink软件 Simulink替代软件	Simulink替代软件国内同款Simulink软件埃登威国内仿真软件介绍：团队：源于清华大学康教授团队+后期前华为技术工程师组成目标：国内此领域仿真软件头巨头使命：为中华之软件崛起而努力国内同款Simulink软件
	形式化验证的代码生成工具软件 ModelCoder	形式化验证的代码生成工具软件ModelCoder在关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了关键领域的主流软件开发方式。由形式化验证的代码生成工具软件ModelCoder我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。Lustre转C
	基于SysML的系统建模工具SysModeler 迪捷数原科技	SysModeler软件基于SysML的系统建模工具SysModeler迪捷数原科技是埃登威公司代理的高科技软件产品，MBSE从需求阶段开始即通过模型（而非文档）的不断演化、迭代递增驱动系统的研制过程，SysModeler软件包括需求分析、功能分析、系统设计、确认及验证行为均由模型表达并由模型驱动。基于SysML的系统建模工具SysModelerMBSE在国外的防务、航空航天等领域已有广泛应用。
	国产系统仿真平台软件 SkyEye	国产系统仿真平台软件SkyEye是一种全系统虚拟机器，它能高效地在目标硬件上运行原生的产品代码。SkyEye是由国内清华大学康硕教授为核心团队经过4年时间开发而成，后于派进行商业化开发。国产系统仿真平台软件已有客户 – 十二大**集团的八家:中核，中航工业，航天科技，航天科工，中国电子，中国电科，中船，商发，中核建是偏建筑工程等多家企业。

若网站内容侵犯到您的权益，请通过网站上的联系方式及时联系我们修改或删除

沪公网安备 31010902002456号