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