research-article

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

Authors:

Sadaf Mustafiz,

Hans VangheluweAuthors Info & Claims

MPM '12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

Pages 13 - 18

https://doi.org/10.1145/2508443.2508446

Published: 01 October 2012 Publication History

Abstract

In recent years, many new concepts, methodologies, and tools have emerged, which have made Model Driven Engineering (MDE) more usable, precise and automated. We have earlier proposed a conceptual framework, FTG+PM, that acts as a guide for carrying out model transformations, and as a basis for unifying key MDE practices, namely multi-paradigm modelling, meta-modelling, and model transformation. The FTG+PM consists of the Formalism Transformation Graph (FTG) and its complement, the Process Model (PM), and charts activities in the MDE lifecycle such as requirements development, domain-specific design, verification, simulation, analysis, calibration, deployment, code generation, execution, etc. In this paper, we apply the FTG+PM approach to a case study of a power window in the automotive domain. We present a FTG+PM model for the automotive domain, and describe the MDE process we applied based on our experiences with the power window system.

References

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

[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.

Digital Library

Cited By

Gupta RBinder CJansen NCalà AVollmar JRegnat NSchmalzing DRumpe B(2024)Towards Enabling Domain-Specific Modeling Language Exchange Between Modeling ToolsAdvances in Model and Data Engineering in the Digitalization Era10.1007/978-3-031-55729-3_8(89-103)Online publication date: 21-Mar-2024
https://doi.org/10.1007/978-3-031-55729-3_8
Paredis RExelmans JVangheluwe H(2022)Multi-Paradigm Modelling For Model Based Systems Engineering: Extending The FTG + PM2022 Annual Modeling and Simulation Conference (ANNSIM)10.23919/ANNSIM55834.2022.9859391(461-474)Online publication date: 18-Jul-2022
https://doi.org/10.23919/ANNSIM55834.2022.9859391
Mijalkovic MKaraduman BMustafiz SChallenger MKühn TSousa V(2022)Traceability analysis of wireless sensor network based IoT systemsProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3561584(692-701)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3561584
Show More Cited By

Index Terms

The FTG+PM framework for multi-paradigm modelling: an automotive case study
1. Information systems
  1. Information systems applications

Recommendations

Meta-modelling and graph grammars for multi-paradigm modelling in AToM3

This paper presents the combined use of meta-modelling and graph grammars for the generation of visual modelling tools for simulation formalisms. In meta-modelling, formalisms are described at a meta-level. This information is used by a meta-model ...
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02: Proceedings of the First International Conference on Graph Transformation

This paper proposes a Multi-Paradigm approach to the modelling of complex systems. The approach consists of the combination of meta-modelling, multi-formalism modelling, and modelling at multiple levels of abstraction. We implement these concepts in ...
Concrete syntax: a multi-paradigm modelling approach
SLE 2017: Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering

Domain-Specific Modelling Languages (DSLs) allow domain experts to create models using abstractions they are most familiar with. A DSL's syntax is specified in two parts: the abstract syntax defines the language's concepts and their allowed ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

MPM '12: Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

October 2012

78 pages

ISBN:9781450318051

DOI:10.1145/2508443

Conference Chairs:
Cécile Hardebolle
Supelec E3S, Gif-sur-Yvette, France
,
Eugene Syriani
University of Alabama, Tuscaloosa AL
,
Jonathan Sprinkle
University of Arizona, Tucson AZ
,
Tamás Mészáros
Budapest University of Technology and Economics, Budapest, Hungary

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Automotive Partnership Canada

Conference

MODELS '12

Sponsor:

SIGSOFT

MODELS '12: ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems

October 1, 2012

Innsbruck, Austria

Acceptance Rates

MPM '12 Paper Acceptance Rate 6 of 20 submissions, 30%;

Overall Acceptance Rate 6 of 20 submissions, 30%

Upcoming Conference

EuroSys '25

Sponsor:
sigops

Twentieth European Conference on Computer Systems

March 30 - April 3, 2025

Rotterdam , Netherlands

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

28
Total Citations
View Citations
215
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)2

Reflects downloads up to 27 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Gupta RBinder CJansen NCalà AVollmar JRegnat NSchmalzing DRumpe B(2024)Towards Enabling Domain-Specific Modeling Language Exchange Between Modeling ToolsAdvances in Model and Data Engineering in the Digitalization Era10.1007/978-3-031-55729-3_8(89-103)Online publication date: 21-Mar-2024
https://doi.org/10.1007/978-3-031-55729-3_8
Paredis RExelmans JVangheluwe H(2022)Multi-Paradigm Modelling For Model Based Systems Engineering: Extending The FTG + PM2022 Annual Modeling and Simulation Conference (ANNSIM)10.23919/ANNSIM55834.2022.9859391(461-474)Online publication date: 18-Jul-2022
https://doi.org/10.23919/ANNSIM55834.2022.9859391
Mijalkovic MKaraduman BMustafiz SChallenger MKühn TSousa V(2022)Traceability analysis of wireless sensor network based IoT systemsProceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings10.1145/3550356.3561584(692-701)Online publication date: 23-Oct-2022
https://dl.acm.org/doi/10.1145/3550356.3561584
Torres Wvan den Brand MSerebrenik A(2022)Xamã : Optical character recognition for multi-domain model managementInnovations in Systems and Software Engineering10.1007/s11334-022-00453-720:3(225-249)Online publication date: 27-Apr-2022
https://doi.org/10.1007/s11334-022-00453-7
Paredis RDenil JVangheluwe H(2021)Specifying and executing the combination of timed finite state automata and causal-block diagrams by mapping onto DEVSProceedings of the Winter Simulation Conference10.5555/3522802.3522972(1-12)Online publication date: 13-Dec-2021
https://dl.acm.org/doi/10.5555/3522802.3522972
Molesini ADenti EOmicini A(2021)MDE and MDA in a Multi-Paradigm Modeling PerspectiveAdvancements in Model-Driven Architecture in Software Engineering10.4018/978-1-7998-3661-2.ch004(64-87)Online publication date: 2021
https://doi.org/10.4018/978-1-7998-3661-2.ch004
Paredis RDenil JVangheluwe H(2021)Specifying and Executing the Combination of Timed Finite State Automata and Causal-Block Diagrams by Mapping Onto Devs2021 Winter Simulation Conference (WSC)10.1109/WSC52266.2021.9715387(1-12)Online publication date: 12-Dec-2021
https://doi.org/10.1109/WSC52266.2021.9715387
Karaduman BDavid IChallenger M(2021)Modeling the Engineering Process of an Agent-based Production System: An Exemplar Study2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00051(296-305)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00051
Feng HGomes CSandberg MThule CLausdahl KLarsen P(2021)Developing a Physical and Digital Twin: An Example Process Model2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00050(286-295)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00050
Meyers BVangheluwe HDenil JSalay R(2020)A Framework for Temporal Verification Support in Domain-Specific ModellingIEEE Transactions on Software Engineering10.1109/TSE.2018.285994646:4(362-404)Online publication date: 1-Apr-2020
https://doi.org/10.1109/TSE.2018.2859946
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten