嵌入式软件
嵌入式软件正被广泛地用于智能设备，但不完美的代码可能会导致频繁的产品故障。据行业领导者估计，嵌入式软件中每 1,000 行代码中就有 8 个漏洞。要管控这一质量风险并满足更高的软件认证标准，这需要充分利用嵌入式软件开发和验证工具及经认证的代码生成器。
Ansys 提供基于模型的嵌入式软件开发和仿真环境，内置代码自动生成器，可加速完成嵌入式软件开发项目。系统及软件工程师利用 Ansys SCADE 解决方案以图表的形式进行设计、验证并自动生成具有高可靠性的关键嵌入式系统和软件应用程序。SCADE 解决方案具有较高的交互性，能够轻松集成到现有开发流程中，优化开发并加强各团队成员之间的交流。
跨行业认证代码生成
SCADE 代码生成器和验证工具已在六大细分市场中获得超过 10 家全球安全机构的顶级安全标准资质/认证，这些安全机构包括：
- DO-178C 标准（直至 A 级）— FAA、EASA、加拿大运输部、CAAC 与 ANAC 等航空航天与国防应用
- ISO 26262 标准（直至 ASIL D 级）– TÜV SÜD 汽车应用
- IEC 61508 标准（直至 SIL 3 级）– TÜV SÜD 运输和工业应用
- EN 50128 标准（直至 SIL 3/4 级）– TÜV SÜD、EBA 与 Certifer 铁路运输应用
- IEC 60880 标准合规性表现—核安全机构核应用
SCADE 加速嵌入式软件的开发和验证进程
SCADE 用户表示希望开发和验证成本得到以下改进：
- 根据安全标准要求调整设计流程
- 开发成本平均降低 50%
- 认证速度加快两倍
- 文章
- 嵌入式系统 | 基于SCADE模型的形式化方法
- 嵌入式系统 | 细数Ansys SCADE的前世今生
- Mastering Complexity: Airbus - Dimensions - Article - V1 I1
- Breaking the Code: Turbomeca - Article - ANSYS Advantage - V8 I1
- Eye in the Sky: Piaggio Aero - Article - ANSYS Advantage - V8 I3
- Safe Landing: Crane Aerospace - Article - ANSYS Advantage - V7 I1
- 宣传册
- 客户感言
- 白皮书
- Charged Up: A Holistic Approach to Developing Large-Scale Battery Management Systems
- Driving Speed and Reliability in Automotive Systems Engineering: The Need for a Model-Based Solution - White Paper
- Ansys SCADE Test: An Integrated Solution to Reduce Embedded Code Testing Costs - White Paper
- Developing Critical Applications for Multicore Environments: The SCADE Advantage
- Integrating Product Development with Safety Analyses: A Value-Added Approach
- 视频
旗舰产品
-
SCADE 套件
-
SCADE Display
特色产品
分享: