Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML
Abstract
:1. Introduction
2. Related Work
2.1. Integration Mode of SysML and the Simulation Environment
2.2. The Transformation between the System Model and the Simulation Model
2.3. Integration of SysML and Simulink
3. Synchronous Transformation Method of the SysML Model
3.1. Extension of SysML
3.2. Model Elements Mapping Rules
3.2.1. Analysis and Extraction of SysML Model Elements
3.2.2. Mapping Relationship Construction for Model Elements
3.2.3. Mapping Relationship Construction for Model Architecture
3.3. Construction of the Model Transformation Framework and Generation of the Simulation Model
3.3.1. Specific Mapping Method of the SysML Model and the Simulation Model
3.3.2. Synchronous Updating Method of the Simulation Model
4. Case Study
4.1. Construction of the System Model
4.2. Transformation and Analysis of the Architecture of the System Model
4.3. Synchronization and Verification of the System Model and the Simulation Model
5. Discussion
6. Conclusions
Author Contributions
Funding
Conflicts of Interest
References
- Tim, W. Systems Engineering with SysML/UML; Morgan Kaufmann: Heidelberg, Germany, 2006; pp. 1–22. [Google Scholar] [CrossRef]
- Harashima, F.; Tomizuka, M.; Fukuda, T. Mechatronics: “What is it, Why and How?”. IEEE/ASME Trans. Mechatron. 1996, 1, 1–4. [Google Scholar] [CrossRef]
- Friedenthal, S.; Moore, A.; Steiner, R. A Practical Guide to SysML: The Systems Modeling Language, 3rd ed.; Morgan Kaufmann: Waltham, UK, 2012; pp. 15–29. [Google Scholar] [CrossRef]
- Rahman, M.A.A.; Mizukaw, M. Model-Based Development and Simulation for Robotic Systems with SysML, Simulink and Simscape Profiles. Int. J. Adv. Robot. Syst. 2013, 10, 112–123. [Google Scholar] [CrossRef]
- Estefan, J.A. Survey of Model-Based Systems Engineering (MBSE) Methodologies; California Institute of Technology: Pasadena, CA, USA, 2008. [Google Scholar]
- Barbieri, G.; Fantuzzi, C.; Borsari, R. A model-based design methodology for the development of mechatronic systems. Mechatronics 2014, 24, 833–843. [Google Scholar] [CrossRef]
- Qamar, A.; Torngren, M.; Wikander, J.; During, C. Integrating multi-domain models for the design and development of mechatronic systems. In Proceedings of the 7th European Systems Engineering Conference, Sweden, Stockholm, 23–26 May 2010. [Google Scholar]
- Vanderperren, Y.; Dehaene, W. From UML/SysML to Matlab/Simulink: Current State and Future Perspectives. In Proceedings of the Conference on Design, Automation and Test in Europe, Munich, Germany, 6–10 March 2006. [Google Scholar] [CrossRef]
- Chabibi, B.; Anwar, A.; Nassar, M. Towards an alignment of SysML and simulation tools. In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), Marrakech, Morocco, 17–20 November 2015. [Google Scholar] [CrossRef]
- Chabibi, B.; Douche, A.; Adil, A.; Nassar, M. Integrating SysML with simulation environments (Simulink) by model transformation approach. In Proceedings of the 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Paris, France, 13–15 June 2016. [Google Scholar] [CrossRef]
- Batarseh, O.; McGinnis, L.F. System modeling in SysML and system analysis in Arena. In Proceedings of the 2012 Winter Simulation Conference (WSC), Berlin, Germany, 9–12 December 2012. [Google Scholar] [CrossRef]
- Paredis, C.J.J.; Bernard, Y.; Burkhart, R.M.; de Koning, H.P.; Friedenthal, S.; Fritzson, P.; Rouquette, N.F.; Schamai, W. An Overview of the SysML-Modelica Transformation Specification. In Proceedings of the 20th Annual International Symposium of the International Council on Systems Engineering (INCOSE), Chicago, IL, USA, 12–15 July 2010. [Google Scholar]
- Bocciarelli, P.; D’Ambrogio, A.; Fabiani, G. A Model-driven Approach to Build HLA-based Distributed Simulations from SysML Models. In Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), Rome, Italy, 28–31 July 2012. [Google Scholar]
- Gutierrez, A.; Chamorro, H.; Jimenez, J.; Villa, L.; Alonso, C. Hardware-in-the-loop simulation of PV systems in micro-grids using SysML models. In Proceedings of the 2015 IEEE 16th Workshop on Control and Modeling for Power Electronics (COMPEL), Vancouver, BC, Canada, 12–15 July 2015. [Google Scholar] [CrossRef]
- Abdulhameed, A.; Hammad, A.; Mountassir, H.; Tatibouet, B. An approach combining simulation and verification for SysML using SystemC and Uppaal. In Proceedings of the 8th French-Speaking Conference on Software Architecture 2014 (CAL 2014), Paris, France, 10–11 June 2014. [Google Scholar]
- Berrani, S.; Hammad, A.; Mountassir, H. Mapping SysML to Modelica to validate wireless sensor networks non-functional requirements. In Proceedings of the 11th International Symposium on Programming and Systems (ISPS), Algiers, Algeria, 22–24 April 2013. [Google Scholar] [CrossRef]
- Cafe, D.; Dos Santos, F.; Hardebolle, C.; Jacquet, C.; Boulanger, F. Multi-paradigm semantics for simulating SysML models using SystemC-AMS. In Proceedings of the 2013 Forum on specification and Design Languages (FDL), Paris, France, 24–26 September 2013. [Google Scholar]
- Caltais, G.; Leitner-Fischer, F.; Leue, S.; Weiser, J. SysML to NuSMV model transformation via object-orientation. In Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016), Pittsburgh, PA, USA, 6 October 2016. [Google Scholar]
- Ruin, T.; Levrat, E.; Iung, B. Modeling Framework based on SysML and AltaRica Data Flow languages for developing models to support complex maintenance program quantification. In Proceedings of the 2nd IFAC Workshop on Advanced Maintenance Engineering, Services and Technology (A-MEST 2012), Sevilla, Spain, 22–23 November 2012. [Google Scholar] [CrossRef]
- Bagnato, A.; Brosse, E.; Quadri, I.; Sadovykh, A. The INTO-CPS cyber-physical system profile. Ada User J. 2017, 38, 227–230. [Google Scholar]
- Tsadimas, A.; Nikolaidou, M.; Anagnosopoulos, D. Extending SysML to explore Non-Functional Requirements: The Case of Information System Design. In Proceedings of the 27th Annual ACM Symposium on Applied Computing, Trento, Italy, 26–30 March 2012. [Google Scholar] [CrossRef]
- Tsadimas, A.; Kapos, G.; Dalakas, V.; Nikolaidou, M.; Anagnosopoulos, D. Integrating Simulation Capabilities into SysML for Enterprise Information System Design. In Proceedings of the 9th International Conference on System of Systems Engineering (SOSE), Glenelg, Australia, 9–13 June 2014. [Google Scholar] [CrossRef]
- OMG. MDA Guide Version 1.0. Available online: https://www.omg.org/mda/mda_files/MDA_Guide_Version1-0.pdf (accessed on 1 June 2003).
- Sindico, A.; Natale, M.; Panci, G. Integrating SysML with Simulink using open-source Model Transformations. In Proceedings of the 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2011), Noordwijkerhout, The Netherlands, 29–31 July 2011. [Google Scholar]
- Sakairi, T.; Palachi, E.; Cohen, C.; Hatsutori, Y.; Shimizu, J.; Miyashita, H. Designing a control system using SysML and Simulink. In Proceedings of the 2012 Proceedings of the SICE Annual Conference (SICE 2012), Akita, Japan, 20–23 August 2012. [Google Scholar]
- Mischkalla, F.; He, D.; Mueller, W. Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems. In Proceedings of the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, Germany, 8–12 March 2010. [Google Scholar] [CrossRef]
- Hernandez, C.; Rodriguez, M.; Diaz, I.; Sanz, R. Model Based Engineering of Process Plants using SysML. Comput. Aided Chem. Eng. 2016, 38, 1281–1286. [Google Scholar] [CrossRef]
- Nikolaidou, M.; Kapos, G.; Dalakas, V.; Anagnostopoulos, D. Basic guidelines for simulating SysML models: An experience report. In Proceedings of the 7th international conference on system of systems engineering (SoSE), Genova, Italy, 16–19 July 2012. [Google Scholar] [CrossRef]
- Eclipse Foundation. Acceleo—Generate Anything from Any EMF Model. Available online: www.eclipse.org/acceleo (accessed on 3 December 2020).
- OMG. MOF Query/View/Transformation. Version 1.3. Available online: https://www.omg.org/spec/QVT/About-QVT/ (accessed on 26 November 2020).
- Eclipse Foundation. ATL—A Model Transformation Technology. Available online: www.eclipse.org/atl (accessed on 3 December 2020).
- Nikolaidou, M.; Kapos, G.D.; Tsadimas, A.; Dalakas, V.; Anagnostopoulos, D. Challenges in SysML Model Simulation. ACSIJ Adv. Comput. Sci. Int. J. 2016, 5, 49–56. [Google Scholar]
- Bock, C.; Barbau, R.; Matei, I.; Dadfarnia, M. An extension of the systems modeling language for physical interaction and signal flow simulation. Syst. Eng. 2017, 20, 395–431. [Google Scholar] [CrossRef]
- Kapos, G.; Dalakas, V.; Nikolaidou, M.; Anagnostopoulos, D. An integrated framework for automated simulation of SysML models using DEVS. Simulation 2014, 90, 717–744. [Google Scholar] [CrossRef]
- Cao, Y.; Liu, Y.; Paredis, C.J.J. System-level model integration of design and simulation for mechatronic systems based on SysML. Mechatronics 2011, 21, 1063–1075. [Google Scholar] [CrossRef]
- Sakairi, T.; Palachi, E.; Cohen, C.; Hatsutori, Y.; Shimizu, J.; Miyashita, H. Model Based Control System Design Using SysML, Simulink, and Computer Algebra System. J. Control Sci. Eng. 2013, 2013, 9. [Google Scholar] [CrossRef]
- Watkins, C.B.; Varghese, J.; Knight, M.; Petteys, B.; Ross, J. System Architecture Modeling for Electronic Systems Using MathWorks System Composer and Simulink. In Proceedings of the 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), San Antonio, TX, USA, 11–15 October 2020. [Google Scholar] [CrossRef]
SysML Modeling Tools | Simulink Parts Involved | |||
---|---|---|---|---|
S-Function | Simscape | Stateflow | System Composer | |
Rhapsody | √ | √ | √ | |
Cameo System Modeler | √ | √ | √ | |
Enterprise Architect | √ | √ |
Parameter | SysML Block | Simscape Block | Related Ports |
---|---|---|---|
Current | i: Current | i | +, − |
Voltage | u: Voltage | u | +, − |
Angular Velocity | w: Rotor | w | W, R, C |
Torque | t: Torque | t | Tr, R, C |
Steady Speed | vv: Speed | vv | N/A |
Steady Maximum Torque | tv: Torque | tv | N/A |
Initial Speed | vi: Speed | vi | N/A |
SysML Model Elements | System Composer Model Elements |
---|---|
Block | Component |
Proxy port (Single Direction) | Port |
Connector | Connect |
Stereotype | Stereotype |
InterfaceBlock | Interface |
Constraint expression | Analysis function |
SysML Model Elements | Simulink Model Elements | Parts of Simulink |
---|---|---|
ID | ID | Simulink-Requirement |
Text | Description | |
State | State | Stateflow |
Behavior | Action | |
Transition | Transition |
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).
Share and Cite
Chu, C.; Yin, C.; Su, S.; Chen, C. Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML. Machines 2022, 10, 864. https://doi.org/10.3390/machines10100864
Chu C, Yin C, Su S, Chen C. Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML. Machines. 2022; 10(10):864. https://doi.org/10.3390/machines10100864
Chicago/Turabian StyleChu, Changyong, Chengfang Yin, Shaohui Su, and Chang Chen. 2022. "Synchronous Integration Method of System and Simulation Models for Mechatronic Systems Based on SysML" Machines 10, no. 10: 864. https://doi.org/10.3390/machines10100864