【摘 要】
：
为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在
【基金项目】
：
国家“863”高科技研究发展计划资助项目(H90739,2007AA01Z129,2007AA010304);浙江省科技厅资助项目(2008C01036-3)
论文部分内容阅读
为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartC-PLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartC-PLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartC-PLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.
其他文献
<正>【本刊讯】近日,中国恩菲工程技术有限公司与赤峰宇邦矿业有限公司(以下简称"宇邦矿业")签订了内蒙古巴林左旗双尖子山矿区银铅锌矿采选工程项目工程设计合同。内蒙古自
目的探讨口服皿治林片联合外用康复新液治疗慢性手部湿疹的临床效果。方法选择慢性手部湿疹患者100例,随机分为两组,治疗组采用口服皿治林与外用康复新液联合治疗,对照组单纯
对我国乙醇市场现状和生产工艺进行了分析综述,提出燃料乙醇是乙醇市场新的增长点。对比分析发酵法和合成法乙醇生产工艺特点及经济性,认为合成法经济优势显著,醋酸加氢工艺
经济国际化为中小企业带来了新的机遇和挑战,我国中小企业普遍存在国际化意识薄弱、国际化战略缺失、国际化人才匮乏、国际商务知识不足、缺乏自主知识产权和品牌产品、难以
盛宣怀不仅是中国近代民用工业的开拓者,也是中国近代新式教育的开先河者,他在为中国近代经济发展作出重要贡献的同时,也为中国近代教育事业的发展作出了巨大贡献,并在兴学育
晶振老化是影响时钟守时精度的最主要原因,一般的解决方法是采用GPS校准锁相环微调压控晶振的振荡周期进行补偿的电路方案。介绍了一种由固定频率晶振驱动的分频比可精细微调
<正>2013年春运从1月26日开始至3月6日结束,共计40天。春运期间全国旅客发送量将达到34.07亿人次。为实现"平安春运、平安春节"的目标,全国道路、水运、铁路、民航、公安、消
你一定有自己喜欢的小动物吧?它有什么特点?它的外形、脾气怎么样?怎么进食、怎样嬉戏、怎样休息呢?让我们用心观察,用心记录下来。
邓子恢（1896—1972）是建设有中国特色社会主义经济理论和实践的一位重要开拓者和探索者。他在建国之初全面主持中南地区经济恢复与建设事业期间和50年代初到60年代初分管党和国
全球气候变化是当前关注的热点问题,研究气候情景下中国典型开垦与退耕区耕地动态变化对保障中国粮食安全具有重要意义。该研究以东北地区作为典型区,基于设计的土地利用规划