基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
随着航空机载软件功能和复杂性的提高,采用传统的人工编码方法来已不能满足其效率和安全性要求,因此寻求一种更有效的航空机载软件设计方法势在必行.本文研究了一种航空机载软件开发方法一高安全性开发环境SCADE,并以飞机自主导航软件为例,按照SCADE软件的程序设计流程,即通过直观的图形化建模和模拟仿真自动生成可直接面向工程的安全嵌入式C代码.实验结果表明,SCADE在很大程度上实现了软件开发的自动化,节约了开发成本和开发时间.
推荐文章
图形化编程平台运行算法的研究
图形化编程平台
数据流语言
可视化编程语言
虚拟仪器
控制流
Visio图形化无功优化软件的开发
Visio2003
VBA编程
图形化
无功优化
电力系统
Matlab平台DSP自动代码生成技术研究
自动代码生成
CCS
DM642 EVM
边缘检测
图形化编程对象模型及运行算法设计
图形化编程
面向对象
对象模型
消息驱动
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 SCADE平台下的图形化设计和代码自动生成
来源期刊 软件 学科 工学
关键词 软件开发 SCADE 高安全性 自动代码生成
年,卷(期) 2011,(5) 所属期刊栏目 软件工程
研究方向 页码范围 74-77
页数 分类号 TP311.52
字数 2968字 语种 中文
DOI 10.3969/j.issn.1003-6970.2011.05.021
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 金平 上海飞机设计研究院飞控系统设计研究部 5 28 3.0 5.0
2 章晓春 上海飞机设计研究院飞控系统设计研究部 9 28 2.0 4.0
3 孙全艳 上海飞机设计研究院飞控系统设计研究部 4 17 2.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (11)
共引文献  (21)
参考文献  (4)
节点文献
引证文献  (11)
同被引文献  (26)
二级引证文献  (15)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(1)
  • 二级参考文献(1)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2007(3)
  • 参考文献(0)
  • 二级参考文献(3)
2008(2)
  • 参考文献(1)
  • 二级参考文献(1)
2009(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2013(2)
  • 引证文献(2)
  • 二级引证文献(0)
2015(4)
  • 引证文献(1)
  • 二级引证文献(3)
2016(3)
  • 引证文献(1)
  • 二级引证文献(2)
2017(5)
  • 引证文献(2)
  • 二级引证文献(3)
2018(5)
  • 引证文献(1)
  • 二级引证文献(4)
2019(5)
  • 引证文献(3)
  • 二级引证文献(2)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
软件开发
SCADE
高安全性
自动代码生成
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
软件
月刊
1003-6970
12-1151/TP
16开
北京市3108信箱
1979
chi
出版文献量(篇)
9374
总下载数(次)
40
论文1v1指导