[1] 何积丰. Cyber-physical Systems [J]. 中国计算机学会通讯, 2010, 6(1): 25-29.
He Jifeng. Cyber-physical Systems [J]. Communication of the CCF. 2010, 6(1): 25-29.
[2] Derler P, Lee E A, Sangiovanni-Vincentelli A L. Addressing Modeling Challenges in Cyber-physical Systems[R].UCBIEECS-201H7, 2011.
[3] 李仁发, 谢勇, 李蕊, 等. 信息-物理融合系统若干关键问题综述[J]. 计算机研究与发展, 2012, 49(6): 1149-1161.
Li Renfa, Xie Yong, Li Rui, et al. Survey of Cyber-physical Systems [J]. Journal of Computer Research and Development, 2012, 49(6): 1149-1161.
[4] Stephan M, Stevenson A. A Comparative Look at Model Transformation Languages[EB/OL]. [2013-11-02]. cs.queensu.ca/~stephan1projects/836.pdf.
[5] Reichmann C, Gebauer D, Muller-Glaser K D. Model Level Coupling of Heterogeneous Embedded Systems[EB/OL]. [2013-10-12]. pdf.aminer.org/0001562/512/modus_integrated_oriental_model_for_rapid_prototyping.pdf.
[6] Sakairi T, Palachi E, Cohen C, et al. Model Based Control System Design Using SysML, Simulink, and Computer Algebra System[J]. Journal of Control Science and Engineering, 2013, 2013: 485380.
[7] Palachi E, Cohen C, Takashi S. Simulation of Cyber Physical Models Using SysML and Numerical Solvers[C]//IEEE International Systems Conference. Piscataway: IEEE, 2013: 671-675.
[8] Nicolescu G, Boucheneb H, Gheorghe L, et al. Methodology for Efficient Design of Continuous/Discrete-events Co-simulation Tools[EB/OL]. [2013-10-15]. http://www.researchgate.net/profile/Luiza_Gheorghe_Iugan/publication/228937677_Methodology_for_efficient_design_of_continuousdiscrete-events-co-simulation-tods/file/72e7e524580ae82ddf.pdf.
[9] 刘辉, 麻志毅, 邵维忠. 模型转换中特性保持的描述与验证[J]. 软件学报, 2007, 18(10): 2369-2379.
Liu Hui, Ma Zhiyi, Shao Weizhong. Description and Proof of Property Preservation of Model Transformations [J]. Journal of Software, 2007, 18(10): 2369-2379.
[10] 张天, 李宣东. 基于 MDE 的异构模型转换: 从 MARTE 模型到 FIACRE 模型[J]. 软件学报, 2009, 20(2): 214-233.
Zhang Tian, Li Xuandong. MDE-based Mode Transformation: from MARTE Model to FIACRE Model [J]. Journal of Software, 2009, 20(2): 214-233.
[11] Vanderperren Y, Dehaene W. From UML/SysML to Matlab/Simulink: Current State and Future Perspectives[C]//Proceedings of the Conference on Design, Automation and Test in Europe. Piscataway: IEEE, 2006: 1656856.
[12] Tamura M, Kamiyama T, Soeda T, et al. A Model Transformation Environment for Embedded Control Software Design with Simulink Models and UML Models[C]//Proceedings of the International MultiConference of Engineers and Computer Scientists. Hong Kong: Newswood Limited, 2012: 795-800.
[13] ATLAS Group, LINA&INRIA, Nantes. ATL User Manual (Version0.7) [DB/OL].[20140410]. http://www.eclipse.org/atl/documentation/old/ATL_User_Manual[v0.7].pdf
|