Please wait a minute...
J4  2011, Vol. 45 Issue (1): 20-29    DOI: 10.3785/j.issn.1008-973X.2011.01.004
计算机技术﹑电信技术     
SmartC模型与代码一致性双向生成方法及开发平台
张莉苹,潘纲,郑能干,杨国青,李红,赵民德
浙江大学 计算机科学与技术学院,浙江 杭州 310027
Consistent bidirectional generation method and  development
platform based on SmartC models and codes
ZHANG Li-ping, PAN Gang, ZHENG Neng-gan, YANG Guo-qing, LI Hong, ZHAO Min-de
College of Computer Science and Technology, Zhejiang University, Hangzhou 310027, China
 全文: PDF  HTML
摘要:

为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartCPLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartCPLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartCPLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.

Abstract:

Bidirectional generation rules between SmartC models and codes were proposed in order to preserve the requirement consistency in design stages and enhance the develop efficiency. Results prove that the rules can assure the consistency of  bidirectional generation. Then an integrated platform, called SmartC-PLF, was implemented according to modelbased driven automotive electronics development approach (ModaEDA). Both SmartC models and codes were supported by the automatic generator and the code editor for automotive electronics application. A car light control system based on the platform was presented, which can improve the generation efficiency and assure the consistency of  bidirectional generation. The results from extensive tests showed high performance of SmartC-PLF platform.

出版日期: 2011-03-03
:  TP 393  
基金资助:

国家“863”高科技研究发展计划资助项目(H90739, 2007AA01Z129, 2007AA010304); 浙江省科技厅资助项目(2008C01036-3).

通讯作者: 郑能干,男,博士后.     E-mail: zng@cs.zju.edu.cn
作者简介: 张莉苹(1984-), 女, 湖北咸宁人, 硕士生, 从事汽车电子模型驱动研究. E-mail: zhang_liping@zju.edu.cn
服务  
把本文推荐给朋友
加入引用管理器
E-mail Alert
RSS
作者相关文章  

引用本文:

张莉苹,潘纲,郑能干,杨国青,李红,赵民德. SmartC模型与代码一致性双向生成方法及开发平台[J]. J4, 2011, 45(1): 20-29.

ZHANG Li-ping, PAN Gang, ZHENG Neng-gan, YANG Guo-qing, LI Hong, ZHAO Min-de. Consistent bidirectional generation method and  development
platform based on SmartC models and codes. J4, 2011, 45(1): 20-29.

链接本文:

http://www.zjujournals.com/eng/CN/10.3785/j.issn.1008-973X.2011.01.004        http://www.zjujournals.com/eng/CN/Y2011/V45/I1/20

[1] LEEN G, HEFFERMAN D. Expanding automotive electronic systems [J].Computer, 2002, 35(1): 88-93.
[2] MESERVY T O,FENSTERMACHER K D. Transforming software development: an MDA road map [J]. Computer, 2005, 38(9): 52-58.
[3] KLAUS G. Software technology in an automotive company: major challenges [C]∥ Proceedings of the 25th International Conference on Software Engineering. Portland: IEEE, 2003: 498-503.
[4] DABNEY J B, HARMAN T L. Mastering SIMULINK [M]. Upper Saddle River: PrenticeHall, 1997: 1-345.
[5] CHEONG E, LIU J. galsC: a language for eventdrivenembedded systems [C]∥ Proceedings of the Conference on Design, Automation and Test in Europe. Munich: IEEE, 2005: 1050-1055.
[6] GAY D, LEVIS P, BEHREN R, et al. The nesC language: a holistic approach to networked embedded systems [C]∥ Proceedings of Programming Language Design and Implementation. San Diego: ACM, 2003: 1-11.
[7] YANG Guoqing, LI Hong, WU Zhaohui. SmartC: a componentbased hierarchical modeling language for automotive electronics [C]∥ Proceedings of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing. Indianapolis: IEEE, 2006: 203-210.
[8] ZHAO Minde, WU Zhaohui, YANG Guoqing, et al. SmartOSEK: a realtime operating system for automotive electronics [C]∥ Lecture Notes in Computer Science. Hangzhou: Springer, 2005: 437-442.
[9] MOCHIZUKI A. Automotive automatic transmission structure: US, 5495778 [P]. \[1996-03-05\].
[10] GAO Zhigang, WU Zhaohui, YE Ruizhi, et al. A modelbased development method for SmartOSEK OS [C]∥ Proceedings of the 5th International Conference on Computer and Information Technology. Shanghai: IEEE, 2005: 781-787.
[11] DSL. Domainspecific languages: an overview [EB/OL]. [2009-10-19]. http:∥en.wikipedia.org/wiki/Domainspecific_language.
[12] GAY D, LEVIS P, GULLER D, et al. nesC 11 language reference manual [EB/OL]. [2003-05-10]. http:∥webs.cs.berkeley.edu.
[13] HILL J, SZEWCZYK R, WOO A, et al. System architecture directions for network sensors [C]∥ Proceedings of International Conference on Architectural Support for Programming Languages and Operating Systems, ACM SIGPLAN Notices. New York: ACM, 2000: 93-104.
[14] KOHLER E. The click modular router [D]. Cambridge: Massachusetts Institute of Technology, 2000.
[15] KOHLER E, MORRIS R, CHEN B, et al. The click modular router [J]. ACM Transactions on Computer Systems, 2000, 18(3): 263-297.
[16] SHAH N, PLISHKER W, KEUTZER K. Npclick: a programming model for the intel ixp1200 [C]∥ Proceedings of the 2nd Workshop on Network Processor Design: Issues and Practices. Portland: IEEE, 2004: 181-201.
[17] HALBWACHS N, CASPI P, RAYMOND P, et al. The synchronous data flow programming language LUSTRE [J]. Proceedings of the IEEE, 1991, 79(9): 1305-1320.
[18] AUGUSTSSON L, SCHWARTZ J, NIKHIL R S. Bluespec: language definition [EB/OL]. [20011115]. http:∥www.bluespec.com.
[19] NIKHIL R. Bluespec systemverilog: efficient, correct RTL from highlevel specifications [C]∥ Proceedings of the 2nd ACM and IEEE International Conference on Formal Methods and Models for CoDesign. California: ACM, 2004: 69-70.
[20] HOE J C. Hardware synthesis from term rewriting systems [C]∥ Proceedings of the International Conference on Very Large Scale Integration, IFIP Conference Proceedings. Lisbon: IFIP, 1999: 595-619.
[21] HOE J C. Synthesis of operationcentric hardware descriptions [C]∥ Proceedings of the International Conference on Computer Aided Design. California: IEEE, 2000: 511-519.
[22] OMMERING R V. Building product populations with software components [C]∥ Proceedings of the International Conference on Software Engineering. Florida: IEEE, 2002: 255-265.
[23] OMMERING R V, LINDEN F V, KRAMER J, et al. The Koala component model for consumer electronics software [J]. IEEE Computer, 2000, 33(3): 78-85.
[24] BERRY G, GONTHIER G. The esterel synchronous programming language: design, semantics, implementation [J]. Science of Computer Programming, 1992, 19(2): 87-152.
[25] GUERNIC P L, GAUTIER T, BORGNE M L, et al. Programming realtime applications with signal [J]. Proceedings of the IEEE, 1991, 79(9): 1321-1336.
[26] ESSER R. An object oriented petri net approach to embedded system design [D]. Zurich: Hochschulverlag AG an der ETH, 1996.
[27] HONEYWELL Inc. DOME guide [EB/OL]. [1999-10-13]. http:∥www.htc.honeywell.com/dome.
[28] GU Z, KODASE S, WANG S, et al. A modelbased approach to systemlevel dependency and realtime analysis of embedded software [C∥Proceedings of the 9th IEEE RealTime and Embedded Technology and Applications Symposium. Toronto: IEEE, 2003: 78-85.
[29] LEDECZI A, MAROTI M, BAKAY A, et al. GME: generic modeling environment [EB/OL]. [2008-06-12]. http:∥www.isis.vanderbilt.edu/Projects/gme.
[30] ILogix. Rhapsody [EB/OL]. [2008-11-11]. http:∥www.ilogix.com/homepage.aspx.
[31] BERRY G. The effectiveness of synchronous languages for the development of safetycritical systems [EB/OL]. [2003-12-15]. http:∥www.estereltechnologies.com/technology/WhitePapers.
[32] ZHANG Liping, ZHAO Minde, WANG Chao, et al. A bidirectional generation method of SmartC models and codes [C]∥ Proceedings of the 6th International Conference on Embedded Software and Systems. Hangzhou: IEEE, 2009: 249-255.
[33] ENRICO B, KARSTEN E, CHRISTIAN K, et al. Graphical definition of inplace transformations in the eclipse modeling framework [J]. Lecture Notes in Computer Science, 2006, 4199(7): 425-439.
[34] MATTHIAS V, STEPHAN H. Modelviewcontroller and object teams: a perfect match of paradigms [C]∥ Proceedings of the 2nd International Conference on Aspectoriented Software Development. Massachusetts: ACM, 2003: 140-149.
[35] OMG. UML@Resource Page [EB/OL]. [20091113]. http:∥www.uml.org.

[1] 郭童,林峰. 基于混合遗传鱼群算法的贝叶斯网络结构学习[J]. J4, 2014, 48(1): 130-135.
[2] 李德骏,汪港,杨灿军,金波,陈燕虎. 基于NTP和IEEE1588海底观测网时间同步系统[J]. J4, 2014, 48(1): 1-7.
[3] 杜瑞忠, 田俊峰, 张焕国. 基于信任和个性偏好的云服务选择模型[J]. J4, 2013, 47(1): 53-61.
[4] 张帅,孙建伶,徐斌,黄超,KAVS Aleksander J.. 基于RBAC的跨多企业服务组合访问控制模型[J]. J4, 2012, 46(11): 2035-2043.
[5] 陈岁生,卢建刚,楼晓春. 基于MDS-MAP和非线性滤波的WSN定位算法[J]. J4, 2012, 46(5): 866-872.
[6] 杨朝晖,李善平,林欣. 增量型上下文信息服务的质量优化实时调度[J]. J4, 2012, 46(1): 90-97.
[7] 潘巨龙,李善平,张道远. 无线传感器网络簇内可疑节点的博弈检测方法[J]. J4, 2012, 46(1): 72-78.
[8] 高庆,李善平,杨朝晖. 基于虚拟场的能量高效传感器网络地理路由[J]. J4, 2012, 46(1): 98-104.
[9] 钱剑锋, 尹建伟, 董金祥. 结构化P2P网络的语义发布/订阅系统
负载均衡算法
[J]. J4, 2011, 45(10): 1710-1719.
[10] 杨朝晖,李善平,林欣. LBS中面向K-匿名服务资源约束的匿名度调节算法[J]. J4, 2011, 45(7): 1154-1160.
[11] 潘纲, 李石坚, 陈云星. ScudContext:信息-物理空间融合的大规模
环境上下文服务
[J]. J4, 2011, 45(6): 991-998.
[12] 车建华, 何钦铭, 陈建海, 王备. 基于软件模拟的虚拟机系统故障插入工具[J]. J4, 2011, 45(4): 614-620.
[13] 李鉴庭,金心宇,唐军,张昱. 基于无线多媒体传感器网络的目标定位方法[J]. J4, 2011, 45(1): 45-49.
[14] 舒挺, 孙守迁,王海宁,徐伟强. ESIS序列自适应生成算法[J]. J4, 2010, 44(11): 2183-2187.
[15] 陈友荣, 俞立, 董齐芬, 洪榛. 基于近邻算法的无线传感器网络功率控制[J]. J4, 2010, 44(7): 1321-1326.