首页 > 产品与服务 > CAE仿真工具 > ANSYS 仿真设计工具 基于模型的高安全性系统和软件开发环境(ANSYS SCADE) 
ANSYS SCADE Suite基于模型的控制软件建模、验证和自动代码生成环境
SCADE Suite-基于模型的控制软件开发环境。其前台提供图形化的数据流图、控制流图、数学运算符等对控制逻辑进行建模,支持安全状态机,安全状态机可以和其他模型构建混合建模;其后台有一套严谨的同步语言(scade)与前台的模型对应,能够保证设计模型的精确性、完整性、一致性、可验证性和无二异性。SCADE Suite提供模型检查、模拟调试、形式化验证、覆盖率分析、时间堆栈分析等验证方法,可以进行完备的模型与需求一致性的验证。SCADE Suite可以自动生成符合DO-178B/C、IEC61508、EN50128、ISO26262等标准的最高安全级别的产品级代码。

ANSYS SCADE Architect基于SysML系统建模语言的系统建模和验证工具
ANSYS SCADE Architect主要用于系统和软件架构设计,是基于SysML系统建模语言的系统建模和验证工具。它提供了对系统进行分析、架构设计和验证的能力,支持可视化地进行专业对象库封装并提供针对航空领域的定制,能和ANSYS SCADE Suite和ANSYS SCADE Display进行无缝对接使得系统设计的成果顺畅地传递给软件设计。ANSYS SCADE Architect 能很好地支持进行符合相关行业系统工程标准(如ARP4754A、IEC61508(PART1)、EN50126、ISO26262-2)的系统设计过程。

ANSYS SCADE LifeCycle 系统/软件研发生命周期数据生成、维护与研发流程管理工具
ANSYS SCADE LifeCycle主要用于系统、软件研发生命周期各阶段数据的生成和维护、研发流程管理、验证支持等。包括:全生命周期数据追踪管理、设计文档自动生成、支持OSLC(Open Services for Lifecycle Collaboration)协议用于和第三方PLM/ALM工具桥接、提供认证计划用于帮助需要适航认证的项目准备计划阶段的文档。

ANSYS SCADE Display 人机交互界面软件建模、验证及自动代码生成环境
ANSYS SCADE Display主要用于人机交互界面软件的建模、验证及自动代码生成。建模方面:支持“所见即所得”的人机交互界面设计,提供基本控件库和一些行业相关的控件库,用户还可以方便地封装自定义的控件库,设计人员可以使用这些控件库设计显示界面;支持OpenGL特性包括向量绘图、遮罩、位图、纹理、α通道、光晕及反锯齿特效等等;支持向量和位图字体;支持中文字库;支持多国语言开发;支持和地图及视频的叠加集成;支持在图形模型中加入SCADE Suite或C实现的控制逻辑,使得逻辑和显示能很好地融合。验证方面:支持对模型进行合法性检查;支持对设计的图形界面以及嵌入的逻辑进行模拟;支持对人机交互界面进行批量自动测试,方便设计人员进行回归测试,减轻测试工作量;SCADE Display可以自动生成符合DO-178B/C、IEC61508、EN50128、ISO26262等标准的最高安全级别的产品级代码,代码适用于所有支持OpenGL的平台。

ANSYS SCADE Test™ 模型自动化测试工具
ANSYS SCADE Test主要用于对SCADE模型进行验证,使模型测试从主机端到目标机端形成完整的自动化测试流程。支持测试用例的创建和管理;支持在PC机上自动批量地运行测试用例,并生成测试报告和覆盖率结果报告;支持自动生成目标机平台测试框架(支持Tested、PTRT、VectorCAST),然后在目标机批量运行测试,并生成测试报告。

ANSYS MediniAnalyze™功能安全分析工具
ANSYS MediniAnalyze是专业的安全分析工具,支持符合安全标准的功能安全开发流程,它突破了传统的单点工具方法,采用基于模型的集成分析方法。Medini支持场景分析、危害和风险分析、失效模式和影响分析、硬体失效率和故障指标分析,支持开发全流程所有安全相关信息及决策的链接和跟踪,可生成符合安全标准的工作产品。