The FTG+PM framework for multi-paradigm modelling: An automotive case study

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, MPM 2012

Volumn , Issue , 2012, Pages 13-18

  Mustafiz, Sadaf ^a   Denil, Joachim ^b,c   Lúcio, Levi ^a   Vangheluwe, Hans ^a,b  

^a MCGILL UNIVERSITY   (Canada)

^b UNIVERSITY OF ANTWERP   (Belgium)

^c University College   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE DOMAINS; CODE GENERATION; CONCEPTUAL FRAMEWORKS; MODEL TRANSFORMATION; MODEL-DRIVEN ENGINEERING; MULTI-PARADIGM MODELLING; PROCESS MODELING; TRANSFORMATION GRAPHS;

MATHEMATICAL MODELS;

EID: 84882969976     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2508443.2508446     Document Type: Conference Paper

References (19)

1. OMG Systems Modeling Language, OMG document number formal/2012-06-01 (OMG SysML version 1.3), available from www.omg.org 2012.
2. AUTOSAR. http://www.autosar.org, 2010.
3. G. Bhatia, K. Lakshmanan, and R. Rajkumar. An End-to-End Integration Framework for Automotive Cyber-Physical Systems Using SysWeaver. In AVICPS 2010, pages 23-30, 2010.
4. B. Denckla and P. J. Mosterman. Formalizing Causal Block Diagrams for Modeling a Class of Hybrid Dynamic Systems. In Proceedings of the 44th IEEE Conference on Decision and Control, pages 4193-4198, 2005.
5. J. Friedman and J. Ghidella. Using model-based design for automotive systems engineering-requirements analysis of the power window example. SAE, 2006.
6. Z. Gao, H. Xia, and G. Dai. A model-based software development method for automotive cyber-physical systems. Comput. Sci. Inf. Syst, 8(4):1277-1301, 2011.
7. D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8(3):231-274, June 1987.
8. R. Johansson, P. Frey, J. Jonsson, J. Nordlander, R. M. Pathan, N. Feiertag, M. Schlager, H. Espinoza, K. Richter, S. Kuntz, H. Lonn, R. Kolgari, and H. Blom. TIMMO Timing Model TADL: Timing Augmented Description Language. Technical report, 2009.
9. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM, 20(1):46-61, Jan. 1973.
10. L. Lucio, J. Denil, and H. Vangheluwe. An overview of model transformations for a simple automotive power window. Technical Report SOCS-TR-2012.2, McGill University, January 2012.
11. L. Lucio, S. Mustafiz, J. Denil, B. Meyers, and H. Vangheluwe. The formalism transformation graph as a guide to model driven engineering. Technical Report SOCS-TR-2012.1, McGill University, March 2012.
12. R. Mannadiar. A Multi-Paradigm Modelling Approach to the Foundations of Domain-Specific Modelling. PhD thesis, McGill University, June 2012.
13. T. Mens and P. Van Gorp. A taxonomy of model transformation. Electron. Notes Theor. Comput. Sci., 152:125-142, Mar. 2006.
14. P. Mosterman, J. Sztipanovits, and S. Engell. Computer-automated multiparadigm modeling in control systems technology. IEEE TCST, 12(2):223-234, 2004.
15. P. J. Mosterman and H. Vangheluwe. Computer Automated Multi-Paradigm Modeling: An Introduction. Simulation, 80(9):433-450, 2004.
16. K. Muller-Glaser, G. Frick, E. Sax, and M. Kuhl. Multiparadigm modeling in embedded systems design. IEEE TCST, 12(2):279-292, march 2004.
17. S. Prabhu and P. Mosterman. Model-based design of a power window system: Modeling, simulation and validation. In IMAC-XXII, 2004.
18. H. Vangheluwe and G. C. Vansteenkiste. A multi-paradigm modeling and simulation methodology: formalisms and languages. In ESS'96, pages 168-172, 1996.
19. S. Wang. Model transformation for high-integrity software development in derivative vehicle control system design. In HASE, pages 227-234, 2007.