SCADE Display软件设计文档生成器与国产替代软件解决方案
SCADE Display软件设计文档生成器（以下简称SDYSDDGEN）是由爱韦讯自主研发的软件开发工具，其生成的 SCADE Display 软件模型的软件设计文档能够符合DO-178B/C或 GJB438B对软件设计文档的要求。借助SDYSDDGEN，您将可以专注于SCADE Display模型开发，而不必再耗费时间和心力编写描述模型的软件设计文档，也不必关注文档样式、结构、内容、细节，一切都可以一键完成。
来自埃登威旗下的形式化验证的代码生成工具ModelCoder
ModelCoder的介绍
在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个**关键领域的嵌入式软件的设计和开发。SCADE Display软件设计文档生成器与国产替代软件解决方案
我们的国产自主仿真软件已有如下客户在使用：
|
中国航K工业集团有限公司
|
成都F机设计研究所
西安航K计算技术研究所
西安自动F行控制研究所
洛阳电光S备研究所
|
|
中国航T科技集团有限公司
|
四川航T技术研究院
上海航T技术研究院
上海航T控制技术研究所
上海卫X工程研究所
|
|
中国航T科工集团有限公司
|
航天X院
航天X江集团
|
|
中国船B工业集团有限公司
|
中国船B工业系统工程研究院
|
|
中国电Z科技集团有限公司
|
第X研究所
第5XX研究所
|
|
中国电Z信息产业集团有限公司
|
武汉中原D子集团有限公司
|
|
中国核工Y集团有限公司
|
中国He动力研究设计院
广东H电集团
|
|
中国航K发动机集团有限公司
|
中国航F商用航K发动机有限责任公司
|
|
高校合作
|
清华大学
武汉理工大学
重庆交通学院
新疆农业职业技术学院
中国矿业大学
华南理工大学
北京交通大学
湖南大学
合肥工业大学
中国科学技术大学
西安电子科技大学
中山大学
山东科技大学
辽宁工程技术大学
河南工业大学
天津理工大学
成都电子科技大学
中国人民解放军装甲兵工程学院
|
|
其他客户
|
华为
北京星地恒通
重庆慧尔科技
苏州胜利科技有限公司
天津华宁电子
大连微龙软件有限公司
广州国笔科技公司
北京国威集成技术有限公司
|
|
▌SDYSDDGEN产品目标
★ 生成SCADE Display软件模型的软件设计文档
★ 生成文档支持中文或英文
★ 符合DO-178B/C或GJB438B对软件设计文档的要求
★ 生成文档支持Office Word和Excel
★ 符合用户单位的软件设计文档模板的要求SCADE Display软件设计文档生成器与国产替代软件解决方案
▌SDYSDDGEN产品特色
高效易用
SDYSDDGEN支持命令行和GUI界面运行，操作简便，生成效率极高。生成一份3000页20万字，包含大量图、表的文档只需20秒。
统一文档
SCADE Display的一个项目一般由一个SGFX文件和多个OGFX文件组成。工程的项目开发计划一般要求编制一份软件设计文档。SDYSDDGEN允许针对一个SCADE Display项目生成一份软件设计文档，即包括SGFX文件和所有相关的OGFX文件。
**标识符
SDYSDDGEN支持直接使用用户在建模时定义的标识符，不加任何前缀；也支持对用户定义的标识符增加表达层次编号的前缀。两种模式可以自由切换。
清晰明确的设计表述SCADE Display软件设计文档生成器与国产替代软件解决方案
SDYSDDGEN生成的文档结构更为清晰，对需求的描述更为准确：
★ 每个图构件的设计说明是一个单独的章节；
★ 用需求标识符(格式可由用户指定，例如：[SDD-1])指明需求描述；
★ 使用关键词“应”（英文版用shall）指明表格是图构件的需求规格；
★ Property的名称与SFGX/OGFX文件一致（例如，用Rotate angle而不是Angle）；
★ 增加SDYReporter未列出的属性（例如Static properties和Static init）；
★ 指明图构件的图像是参考而不是需求。其他产品：微量氧分析仪,药品残氧仪,露点仪,热导气体分析仪,GE流量计,OX-1氧传感器,顶空分析仪,红外气体分析仪,高温湿度仪,西门子U23分析仪,ppb微量水分析仪,OXY.IQ氧分析仪,烟气湿度仪,燃气热值仪,Kaye温度验证仪,L&W白度,仪激光氧分析仪,压缩空气露点仪,干燥机露点仪,激光气体分析仪,便携式露点仪,便携式微量氧分析仪西门子氧电池\oxy-12\ultramat-23代表U23氧模块价格|PID传感器 |总代理|代表处|授权代理商|办事处|分公司|全资子公司|价格|品牌|批发|选型|维修|校准
完整的图像显示
SDYSDDGEN生成的图构件图像不是孤立的，而是能体现该图构件在整个图层中的实际方位。
更多SCADE Display软件设计文档生成器与国产替代软件解决方案信息请直接致电埃登威上海021-55581219
