基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC-PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC-PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC-PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.
推荐文章
相位一致性的理解及两种新的相位一致性模型
相位一致性
计算机视觉
图像处理
边缘检测
INAP协议一致性测试生成的形式化方法
INAP
UIO序列
一致性测试
形式化方法
存储一致性模型研究
分布式共享存储
一致性模型
延迟
基于SPARDL的模型和程序一致性测试
时序一致性
SPARDL
一致性测试
接受检测
覆盖检测
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 SmartC模型与代码一致性双向生成方法及开发平台
来源期刊 浙江大学学报(工学版) 学科 工学
关键词 SmartC ModaEDA 代码自动生成 模型自动生成 一致性
年,卷(期) 2011,(1) 所属期刊栏目 计算机、电信技术
研究方向 页码范围 20-29
页数 10页 分类号 TP393
字数 语种 中文
DOI 10.3785/j.issn.1008-973X.2011.01.004
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李红 143 1487 21.0 32.0
2 杨国青 12 110 6.0 10.0
3 赵民德 4 3 1.0 1.0
4 潘纲 26 568 8.0 23.0
5 郑能干 3 16 1.0 3.0
6 张莉苹 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (8)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1991(2)
  • 参考文献(2)
  • 二级参考文献(0)
1992(1)
  • 参考文献(1)
  • 二级参考文献(0)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(2)
  • 参考文献(2)
  • 二级参考文献(0)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
SmartC
ModaEDA
代码自动生成
模型自动生成
一致性
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
浙江大学学报(工学版)
月刊
1008-973X
33-1245/T
大16开
杭州市浙大路38号
32-40
1956
chi
出版文献量(篇)
6865
总下载数(次)
6
总被引数(次)
81907
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导