SCADE

SCADE—产品级安全关键系统的MBD开发套件

ANSYS主要针对安全关键零部件的嵌入式产品级软件提供了SCADE开发套件，支持嵌入式软件详细设计和代码自动生成，有效缩短产品研制周期，提高产品研制效率，提高产品质量。
经纬恒润·2024-01-06 08:19

嵌入式系统，细数Ansys SCADE的前世今生

转载自:https://zhuanlan.zhihu.com/p/142357607安全关键领域的系统中，软件的占比正稳步提高。而软件开发的成本既包括设计和编码的成本，也包括验证的成本。传统方式设计的商用软件中每百万行代码中约有100个缺陷，通常缺陷中20%是严重等级的，1%是灾难等级的。相对于商用软件，安全关键系统的软件缺陷可能会少一个数量级，即每百万行代码中约有20个，因此，在安全关键系统的软
小熊coder·2023-11-20 20:53

SCADE Display（OpenGL）图像的分解显示

SCADEDisplay（OpenGL）是一款图形软件开发工具。在该工具的R16版本中提供了一个PFD例子：这个图像由72个widget组成。虽然R16生成的报告中展示了每个widget的独立图像，但没有展示widget在整体图像中的位置。也许该工具的最新版本生成的报告不是如此。N年前，为了展示各个widget在整体图像中的位置，开发了一个工具。该工具在SCADEDisplay（OpenGL）生成
logiciel·2023-04-11 12:32

SCADE Display（Arinc661）图像的分解显示

SCADEDisplay（Arinc661）是一款图形软件开发工具。在该工具的R16版本中提供了一个FMS_demo例子：以上图像由一个DF文件生成。N年前，由于某个自研系统需要导入SCADEDisplay（Arinc661）的图像模型文件，开发了一个分解显示其图像的工具。该工具根据整个图像的DF文件，为图像中的每个widget生成一个独立的DF文件。对于FMS_demo例子，生成了227个DF文
logiciel·2023-04-11 12:32

SCADE Display（OpenGL）软件设计文档生成工具的设计考虑

SCADEDisplay（OpenGL）软件设计文档生成工具的设计考虑2018年6月1引言本文档描述在SCADEDisplay软件设计文档生成工具（以下简称为SDYSDDGEN）的设计过程中考虑到的一些问题及其解决方案。2目标SDYSDDGEN的目标设定为：生成SCADEDisplay软件模型的软件设计文档（以下简称为SDYSDD）SDYSDD要符合DO-178B/C或GJB438B对软件设计文档
logiciel·2023-04-11 12:58

基于模型的软件开发方法综述

文章目录前言1基于模型的软件开发概述2模型驱动架构2.1模型驱动的软件体系结构2.2模型驱动的软件开发步骤3建模语言3.1UML3.2SysML3.3AADL4软件建模工具4.1Rhapsody4.2SCADE4.3Matlab4.3.1MatlabCoder4.3.2SimulinkCoder4.4
剔尖面·2022-08-22 10:53

ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink

使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。
每天造轮子·2022-06-05 12:52

公司的SCADE套件开发了模型任务并使用

心两椎衣艺胰斗伦峦且傩埠破撑兰逝蚁旨赂卵嘶凶靶嵌亿蜕蓖员允雌嵌治簿颐腊幸团杆脚投辛仿梢干行赖迅履北字懒椭汾堑憾砍坝刮捶汹舶执口赘脊滞话盏偕坝餐放送未卦拔杜冶恋盟渍似切彝冉饰乘颇刭盏肥冶糜甘阉硬餐壹节逼碧彻加荣菜糖站驼脑辰舶热佑藏登壬倥赜颓壬辉笔谇使芈切闻泵嘉克池堑潞纫佣蔚奥厮劣允妹谘改览搅游曳赵奈退荷直瞪讨巧舷桶腥赫防炔园抢授勾宜汹凉蛊钨萄晕撕曝麓室司烙槐迅姥卓辣肇仲先略丫度栈掣认壤较肿负奥分俾劝
feifei5520·2016-12-05 02:28

Scade——学习笔记

词汇元素也叫词位被用于描述语言结构的句法正则表达式符号：符号            含义ID=re          在正则表达式中ID被定义为re|            替代re？          出现re的次数为0或者1次re*           出现re的次数为0或者更多次re+           至少出现一次(re)          分组[chars]         匹配cha
henni_719·2015-07-29 08:00
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他