Please wait a minute...
J4  2011, Vol. 45 Issue (1): 20-29    DOI: 10.3785/j.issn.1008-973X.2011.01.004
    
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
Download:   PDF(0KB) HTML
Export: BibTeX | EndNote (RIS)      

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.



Published: 03 March 2011
CLC:  TP 393  
Cite this article:

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.

URL:

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


SmartC模型与代码一致性双向生成方法及开发平台

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

[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] GUO Tong,LIN Feng. Bayesian network structure learning based on hybrid genetic
and fish swarm algorithm
[J]. J4, 2014, 48(1): 130-135.
[2] I De-jun,WANG Gang,YANG Can-jun,JIN Bo,CHEN Yan-hu. NTP/IEEE1588-based time synchronization system in seafloor observatory network[J]. J4, 2014, 48(1): 1-7.
[3] DU Rui-zhong, TIAN Jun-feng, ZHANG Huan-guo. Cloud service selection model based on trust and personality preferences[J]. J4, 2013, 47(1): 53-61.
[4] ZHANG Shuai, SUN Jian-ling, XU Bin, HUANG Chao, KAVS Aleksander J.. RBAC based access control model for services compositions
cross multiple enterprises
[J]. J4, 2012, 46(11): 2035-2043.
[5] Chen Sui-sheng,Lu Jian-gang,Lou Xiao-chun. Localization algorithm for wireless sensor networks
based on MDS-MAP and nonlinear filtering
[J]. J4, 2012, 46(5): 866-872.
[6] YANG Zhao-hui, LI Shan-ping, LIN Xin. Quality optimizing real-time scheduling for incremental context services[J]. J4, 2012, 46(1): 90-97.
[7] GAO Qing,LI Shan-ping,YANG Zhao-hui. Virtual force-field based energy efficient geo-routing in
wireless sensor network
[J]. J4, 2012, 46(1): 98-104.
[8] PAN Ju-long, LI Shan-ping, ZHANG Dao-yuan. Detecting suspicious node within one cluster in wireless sensor network
using game theoretic approach
[J]. J4, 2012, 46(1): 72-78.
[9] QIAN Jian-feng, YIN Jian-wei, DONG Jin-xiang. Load balancing algorithms of semantic publish/subscribe system
over structured P2P networks
[J]. J4, 2011, 45(10): 1710-1719.
[10] YANG Zhao-hui, LI Shan-ping, LIN Xin. Anonymity level adaptation algorithm to meet resource constraint
of K-anonymity service in LBS
[J]. J4, 2011, 45(7): 1154-1160.
[11] PAN Gang, LI Shi-jian, CHEN Yun-xing. ScudContext: large-scale environmental context services infrastructure
towards cyber-physical space integration
[J]. J4, 2011, 45(6): 991-998.
[12] CHE Jian-hua, HE Qin-ming, CHEN Jian-hai, WANG Bei. Software simulation-based fault injection tool of
virtual machine system
[J]. J4, 2011, 45(4): 614-620.
[13] LI Jian-ting, JIN Xin-yu, TANG Jun, ZHANG Yu. Target localization method based on wireless multimedia sensor network[J]. J4, 2011, 45(1): 45-49.
[14] SHU Ting, SUN Shou-qian, WANG Hai-ning, XU Wei-qiang. Adaptive generation algorithm for executable state identification
sequences in EFSM model
[J]. J4, 2010, 44(11): 2183-2187.
[15] CHEN You-Rong, SHU Li, DONG Ji-Fen, HONG Zhen. Power control in wireless sensor network based on
nearestneighbor algorithm
[J]. J4, 2010, 44(7): 1321-1326.