Design specification of cyber-physical systems: Towards a domain-specific modeling language based on simulink, eclipse modeling framework, and giotto

CEUR Workshop Proceedings

Volumn 1250, Issue , 2014, Pages 6-15

  Tariq, Muhammad Umer ^a   Florence, Jacques ^a   Wolf, Marilyn ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Cyber physical systems; Domain specific modeling language; Model driven development

Indexed keywords

DESIGN; SPECIFICATION LANGUAGES; SPECIFICATIONS; SYNTACTICS; SYSTEMS ANALYSIS; VISUAL LANGUAGES;

CYBER PHYSICAL SYSTEMS (CPSS); DESIGN SPECIFICATION; DOMAIN-SPECIFIC MODELING LANGUAGE; ECLIPSE MODELING FRAMEWORK; MODEL DRIVEN DEVELOPMENT; MODEL TRANSFORMATION; PROGRAMMING PARADIGMS; SIMULINK MODELS;

EMBEDDED SYSTEMS;

EID: 84913622545     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework. Addison-Wesley Professional, Boston (2008)
2. Gronback, R.C.: Eclipse Modeling Project: A Domain-Specific Language Toolkit. Addison-Wesley Professional, Boston (2009)
3. Biehl, M., Sjostedt, C.J., Torngren, M.: A Modular Tool Integration Approach - Experiences from Two Case Studies. In: 3rd Workshop on Model-Driven Tool and Process Integration at the European Conference on Modelling Foundations and Applications (2010)
4. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated Development of Embedded Software. Proceedings of the IEEE, 91(1), 145-164 (2003)
5. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A Time-Triggered Language for Embedded Programming. Proceedings of the IEEE, 91(1), 84-99 (2003)
6. Pree, W., Stieglbauer, G., Templ, J.: Simulink Integration of Giotto/TDL. In: Automotive SoftwareConnected Services in Mobile Networks, pp. 137-154. Springer Berlin Heidelberg (2006)
7. Emerson, M., Sztipanovits, J.: Implementing a MOF-based Metamodeling Environment using Graph Transformations. In: Proceedings of OOPSLA Workshop on Domain-Specific Modeling, pp. 83-92 (2004)