描述 SCADE是用于嵌入式或受影响敏感软件的基于模型的开发环境。Scade的本地语言软件是集成的，作为程序集成的开发环境，包含需求管理、基于设计的模型是至关重要的。、模拟。在美国，建筑规范是允许的。程序的输出数据可以在其他工具和平台上使用。
来自SCADE的软件可用于至关重要的设计，如飞行控制等控制系统，发动机系统，车轮供应商，着陆，自动驾驶仪等系统，电源管理和燃料等显示座舱，功能，汽车，列车，控制列车的计算机，刹车系统，汽车，保护高速，控制核电站，系统，管理，电池等电子转向在汽车，航空航天，轨道，能源，汽车，以及工业用途。
SCADE的特点 基于模型的高级设计 与软件架构设计同步 模型分析 调试与仿真 自动代码生成 与SCADE工具集成 系统仿真能力 嵌入式汽车软件的专有解决方案
系统需求 Windows 10(64位专业版、企业版和教育版) Windows 7(64位专业版和企业版) Windows Server 2012 R2标准版(64位) 空间:硬盘39gb CPU:多处理 内存:2gb -系统需求分析 – 用于系统需求分析、功能设计、架构设计和系统组件的高级建模器编辑器 – 使用图表进行系统分析：用例、序列、活动、状态、功能块、 内部模块和参数图 -定义和导入/导出数据流 – 描述数据对象的表格方式，自定义表格格式的能力 – 支持所有标准图形功能和图表样式的可视化组件控制 -模型导航和搜索 -协作支持 -使用指定的建模规则进行模型合规性检查 – 以 RTF 或 HTML 格式报告 -模型拆分合并，匹配不同模型版本 -自动创建接口控制文档（ICD） – 架构模型系统和项目模型之间的双向同步 -根据行业标准和自定义规则配置系统设计环境 – 将元素和要求导出到 Ansys Twin Builder -用于汽车和航空电子设备以及 FACE 标准的其他设计模式包…….
功能特色
1、先进的基于模型的设计 Ansys SCADE Suite在与配置管理、系统仿真和实时测试工具相连接的完全集成环境中提供软件数据流和状态机设计和仿真功能。 借助Ansys SCADE Suite，您将使用直观的图形符号，支持数据流和分层状态机的无限嵌套。使用规则检查器确保您的代码符合适用标准。基于Python的框架使您能够为每个项目的完全量身定制的解决方案创建自己的规则和指标。 2、与软件架构设计同步 Ansys SCADE Architect和Ansys SCADE Suite的集成为您提供了从架构到组件详细设计的完整软件设计流程所需的所有工具。 这种集成支持架构和设计的并行演进，并根据要求和项目里程碑提供同步。架构和设计模型之间的双向同步减少或消除了同步接口以实现最大效率的重复工作。Ansys SCADE Suite和Ansys SCADE Architect之间的同步支持架构设计到IMA、FACE和AUTOSAR等上下文中的代码生产流程。 3、模型分析 为确保Ansys SCADE Suite模型符合其要求，您可以执行静态分析、根据规则检查模型、评估安全要求以及执行时序和堆栈优化分析。 Ansys SCADE Suite的代码生成器无需代码验证即可满足模型中提供的规范。因此，验证模型的行为是否正确至关重要。我们的软件配备了多个模型级分析，以验证模型的正确性并确保较短的开发时间。您将能够对模型进行静态分析。模型的静态分析（即检查模型是否一致，数据流类型是否正确，初始化是否正确完成）由代码生成器的前端完成，因此在各种软件安全的最高级别上合格标准。借助规则检查器，您可以使用基于Python的框架自定义和添加特定检查，该框架支持必需或建议规则的证明机制。 Ansys SCADE Suite Design Verifier是一种验证助手，可正式表达和评估安全要求，提供一种在开发过程早期发现错误的有效方法。它由Prover®技术提供支持，并由支持浮点计算的多核形式证明引擎提供支持。 4、调试和仿真 Ansys SCADE Suite仿真功能基于实际生成的代码，为您提供强大的可视化调试环境，支持断点和观察点来检查内部变量和输出值。 Ansys SCADE Suite允许您使用图形和文本块定义软件设计。定义后，您可以使用基于自动生成的代码的仿真功能来仿真软件设计或其任何单个模块。仿真和调试功能包括可执行设计、实际生成代码的详细仿真、场景记录和回放、规范错误的早期检测、自动非回归测试等。 5、自动代码生成 此代码生成器可节省编码阶段的验证工作，例如对Ansys SCADE Suite KCG生成的代码进行代码审查和低级测试。这种生产力的提高缩短了认证和/或修改的时间和精力。 Ansys SCADE Suite KCG是来自Scade模型的C和Ada代码生成器，已被认证为A级DO-178B软件和TQL-1的DO-178C/DO-330的开发工具；通过IEC 61508 SIL 3认证和EN 50128 SIL 3/4认证；并符合ISO 26262软件的最高ASIL D标准，这意味着KCG开发过程符合这些软件安全标准。Ansys SCADE Suite支持使用多核代码生成器生成多核代码。在模型中识别操作符的特定实例成为可并行化的任务。这些任务的规范独立于模型，允许进行各种配置。 6、SCADE工具集成 Ansys SCADE Suite可轻松与用于系统架构设计、HMI开发和测试以及应用程序生命周期管理的工具集成，为所有嵌入式软件开发活动提供完整的环境 7、系统仿真能力 Ansys Twin Builder的系统仿真功能通过在一个环境中连接硬件和软件，帮助您构建产品的完整虚拟系统原型。 Ansys SCADE Suite的Advanced Modeler包括Twin Builder，这是一个用于对虚拟系统原型进行建模、仿真和分析的强大平台。它使产品开发团队能够验证和优化其软件控制的多域系统设计的性能。 8、嵌入式汽车软件的专用解决方案 SCADE Automotive Package包含SCADE Architect、SCADE Suite和SCADE LifeCycle，以提供AUTOSAR R4.2.2支持、校准和定点支持以及合格代码生成。 Ansys SCADE Suite扩展并简化了汽车市场的系统设计功能。它支持从AUTOSAR软件组件(SWC)到Runnables的AUTOSAR RTE兼容代码生成的开发流程：您可以启动基于AUTOSAR标准的开发流程，以创建由Ansys SCADE Suite的KCG代码生成的AUTOSAR RTE兼容代码发电机。该解决方案还使您能够导入和导出AUTOSAR ARXML交换格式，允许系统工程师之间进行多重同步并生成合规代码。下载声明
☉ 本站资源一般为压缩文件，请使用 [ WinRAR v5 ] 以上版本解压本站软件。
☉ 如果资源下载地址失效，请在评论中留言,我们会尽快修复，谢谢!
☉ 资源为免费下载，不提供技术支持；
☉ 本站提供的一些商业软件是供学习研究之用，如用于商业用途，请购买正版。
☉ 本站提供的所有资源来源互联网，版权归该下载资源的合法拥有者所有。
☉ 侵权删除联系sdrjw@qq.com
暂无评论内容