Model Integration and Model Transformation Approach for Multi-Paradigm Cyber Physical System Development

Advances in Intelligent Systems and Computing

Volumn 1089, Issue , 2015, Pages 629-635

  Lichen, Lichen ^a,b  

^a GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

^b EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

AADL; Integration; MDA; Modelica; SysML; Transformation

Indexed keywords

EMBEDDED SYSTEMS; INTEGRATION; MATHEMATICAL MODELS; SOFTWARE ARCHITECTURE; SYSTEMS ENGINEERING;

AADL; MDA; MODELICA; SYSML; TRANSFORMATION;

PHYSICAL ADDRESSES;

EID: 84906568794     PISSN: 21945357     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-319-08422-0_89     Document Type: Conference Paper

References (21)

1. David Broman, Edward A. Lee, Stavros Tripakis, and Martin Törngren. Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems, in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM'12), Innsbruck, Austria, October, 2012.
2. Manfred Broy: Cyber Physical Systems (Part 2). it-Information Technology 55(1): 3-4 (2013)
3. Manfred Broy: Challenges in modeling cyber-physical systems. IPSN 2013: 5-6
4. John Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou. Distributed Real-Time Software for Cyber-Physical Systems, Proceedings of the IEEE (special issue on CPS), 100(1): 45-59, January 2012
5. M. Biehl. Literature Study on Model Transformations. Technical Report ISRN/KTH/MMK/R-10/07-SE, Royal Institute of Technology, July 2010.
6. K. Czarnecki and S. Helsen. Feature-based survey of model transformation approaches. IBM Systems Journal, special issue on Model-Driven Software Development, 45(3): 621-645, 2006.
7. Feiler P H, Lewis B, Vestal S, et al. An overview of the SAE architecture analysis & design language (AADL) standard: a basis for model-based architecture-driven embedded systems engineering[M]. Architecture Description Languages. Springer US, 2005: 3-15.
8. Modelica Association. Modelica: A Unified Object-Oriented Language for Physical Systems Modeling: Language Specification Version 3. 0, Sept 2007. www. modelica. org
9. Johnson, T. A., C. J. J. Paredis and R. M. Burkhart. "Integrating Models and Simulations of Continuous Dynamics into SysML. " 6th International Modelica Conference, Bielefeld, Germany, March 3-4, Modelica Association, 135-145, 2008
10. Xiping Song. Systematic Integration of Design Methods, IEEE Software, Volume 14 Issue 2, March 1997, Page 107-117
11. Atif Aftab Ahmed Jilani et al. Model Transformations in Model Driven Architecture, Universal Journal of Computer Science and Engineering Technology. 1 (1), 50-54, Oct. 2010
12. Kleppe, Warmer, J., Bast., W.: MDA Explained, The Model-Driven Architecture: Practice and Promise. Addison Wesley (2003)
13. Jean Bezivin et al. Model Transformations? Transformation Models!, MoDELS 2006, LNCS 4199, pp. 440-453, 200
14. S. Sendall and W. Kozaczynski, Model Transformation: the heart and soul of MSD, Software, IEEE 2003; 20(5): 42-45
15. Kevin Lano et al. Comparative Evaluation of Model Transformation Specification Approaches, Int J Software Informatics, Volume 6, Issue 2 (2012), pp. 233-269
16. OMG Systems Modeling Language (OMG SysML), v1. 2. OMG, Needham, MA.
17. Fritzson P, Engelson V. Modelica-A unified object-oriented language for system modeling and simulation[M]//ECOOP'98-Object-Oriented Programming. Springer Berlin Heidelberg, 1998: 67-90.
18. OMG SE DSIG SysML-Modelica Working Group. SysMLModelica transformation specification. http: //www. omgwiki. org/ OMGSysML/doku. php?id=sysml-modelica: sysml_and_modelica_ integration, 2009.
19. Wladimir Schamai, EADS Innovation Works (Hamburg, Germany), Linkoping University (Linkoping, Sweden). ModelicaML: Getting Started. Issue 1. 1, November 2009
20. Feiler P H, Gluch D P, Hudak J J. The architecture analysis & design language (AADL): An introduction[R]. CARNEGIEMELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST, 2006.
21. Behrmann G, David A, Larsen K G. A turorial on UPPAAL[C]// Proceedings of the 4th Int'l School on Formal Methods for the Design of Computer, Communication, and Software Systems. Bertinoro: Springer ~ Verlag, 2004: 200-236