嵌入式软件

嵌入式软件正越来越多地在智能设备中使用,但不完美的代码可以是许多产品失败的原因。52betway.com行业领先者估计,每1000行的嵌入式软件包含8个错误。为了管理这种质量风险和满足更高标准的软件认证,你需要利用嵌入式软件开发和验证工具,以及认证的代码生成器。

必威体育网址ANSYS提供了一个基于模型的嵌入式软件开发和仿真环境,内置的自动代码生成器来加速嵌入式软件开发项目。系统和软件工程师利用ANSYS SCADE解决方案,以图形化设计,验必威体育网址证并自动生成关键的嵌入式系统和软件应用的高可靠性要求。SCADE解决方案具有高度互操作性,并可以很容易地集成,优化开发和提高团队成员之间的沟通。

各行业认证的代码生成

SCADE代码生成和验证工具已经超过了10个安全当局已经合格的/在安全的在六个细分市场的最高级别认证的全球,其中包括:

  • DO-178C达A级由FAA,EASA,加拿大运输部,民航总局和国家民航局航空及国防应用
  • ISO 26262高达ASIL d由TÜV南德意志集团汽车应用
  • IEC 61508高达SIL 3由TÜV南德意志集团的运输和工业应用
  • EN 50128高达SIL 3/4由TÜV南德意志集团,EBA和Certifer轨道交通的应用
  • 核应用IEC 60880证明遵守许多核安全当局

SCADE加速嵌入式软件开发和验证过程

SCADE用户报告下列开发和验证成本改进:

  • 根据安全标准的目标设计过程中的对齐
  • 发展减少了50%的成本,平均
  • 由两个因素的时间来认证加速

旗舰产品52betway.com

  • SCADE套房嵌入式软件图标

    SCADE套件是一个基于模型的开发环境关键性嵌入式软件,它提供了需求管理,基于模型的设计,验证,qualifiable /认证的代码生成和互操作性与其他开发工具和平台。

    学到更多
  • SCADE显示嵌入式软件图标

    SCADE显示可以方便嵌入式图形,显示和HMI开发,和认证代码生成安全关键显示器。

    学到更多
  • SCADE愿景嵌入式软件图标

    SCADE视觉自动化的智能车的感知系统的潜在漏洞的标识。其目的是为安全分析,神经网络开发者和基于机器学习的感知系统的设计者。

    学到更多