计算机技术﹑电信技术 |
|
|
|
|
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 |
引用本文:
张莉苹,潘纲,郑能干,杨国青,李红,赵民德. 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: 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 |
|
|
|
|