|
|
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 |
|
|
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 modelbased 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
|
|
SmartC模型与代码一致性双向生成方法及开发平台
为了保证汽车电子软件系统的开发在各阶段设计的一致性,并增强软件开发效率,提出SmartC模型与代码的双向生成规则,证明了这些规则能够保证模型与代码之间双向生成的一致性.在此基础上,实现了集成开发平台SmartCPLF.该平台结合ModaEDA思想,支持SmartC语言的模型和代码2种描述形式,包括SmartC代码和模型之间的自动生成和SmartC代码编辑工具,具有很强的汽车电子领域专用特点.通过在SmartCPLF平台上开发的车灯控制系统实例,演示了该平台双向自动生成的一致性;通过大量实验比较在不同情况下的生成时间,测试SmartCPLF平台的性能指标,表明了该平台在汽车电子系统开发方面的高效性.
|
|
[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: PrenticeHall, 1997: 1-345.
[5] CHEONG E, LIU J. galsC: a language for eventdrivenembedded 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 Guoqing, LI Hong, WU Zhaohui. SmartC: a componentbased 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 Minde, WU Zhaohui, YANG Guoqing, et al. SmartOSEK: a realtime 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 Zhigang, WU Zhaohui, YE Ruizhi, et al. A modelbased development method for SmartOSEK OS [C]∥ Proceedings of the 5th International Conference on Computer and Information Technology. Shanghai: IEEE, 2005: 781-787.
[11] DSL. Domainspecific languages: an overview [EB/OL]. [2009-10-19]. http:∥en.wikipedia.org/wiki/Domainspecific_language.
[12] GAY D, LEVIS P, GULLER D, et al. nesC 11 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. Npclick: 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]. [20011115]. http:∥www.bluespec.com.
[19] NIKHIL R. Bluespec systemverilog: efficient, correct RTL from highlevel specifications [C]∥ Proceedings of the 2nd ACM and IEEE International Conference on Formal Methods and Models for CoDesign. 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 operationcentric 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 realtime 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 modelbased approach to systemlevel dependency and realtime analysis of embedded software [C∥Proceedings of the 9th IEEE RealTime 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 safetycritical systems [EB/OL]. [2003-12-15]. http:∥www.estereltechnologies.com/technology/WhitePapers.
[32] ZHANG Liping, ZHAO Minde, 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 inplace transformations in the eclipse modeling framework [J]. Lecture Notes in Computer Science, 2006, 4199(7): 425-439.
[34] MATTHIAS V, STEPHAN H. Modelviewcontroller and object teams: a perfect match of paradigms [C]∥ Proceedings of the 2nd International Conference on Aspectoriented Software Development. Massachusetts: ACM, 2003: 140-149.
[35] OMG. UML@Resource Page [EB/OL]. [20091113]. http:∥www.uml.org. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|