A Unifying Model for Mechatronic Systems Specification

Article Preview

Abstract:

Over the years, mechatronic systems have witnessed an increase in complexity. To address this issue, a model-based approach has been utilized to produce coherent system specification. In model-based engineering, a system is depicted graphically and textually at various levels of granularity and complexity. For this purpose, Systems Modeling Language (SysML) is designed to support development stages in systems, including specification, analysis, design, and validation, and to generate specifications in a single language for use by heterogeneous development teams. Nevertheless, an underlying tool is lacking that would express the totality of a system’s processes and concepts, including mechanical, electrical, and informational aspects. SysML introduces a variety of diagrams and tools that are heterogeneous in notation and terms, e.g., use cases, blocks, activities, components, parameters, sequence, and so forth. This paper proposes a diagrammatic methodology to specify a unified conceptual map for mechatronic systems that can play the role of blueprint for a whole system at different stages of development. The paper focuses on using the proposed methodology as a specification tool, offering a new model that captures the dynamic behaviors of the system. The claim is that this proposed model for specification provides a nontechnical map of the system without a multiplicity of representations as in SysML. To demonstrate the viability of the model, it is applied to a case study of an airport baggage handling system.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

803-811

Citation:

Online since:

September 2015

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2015 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] W. Dieterle: Mechatronic Systems: Industrial Applications and Modern Design Methodologies, 3rd IFAC Symposium on Mechatronic Systems, September 6–8, Manly Beach, Sydney, Australia (2004).

DOI: 10.1016/s1474-6670(17)31071-6

Google Scholar

[2] N. Tomatis, R. Brega, K.O. Arras, B. Jensen, B. Moreau, J. Persson and R. Siegwart: A complex mechatronic system: From design to application, in: Proceedings of the IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM'01), Como, Italy (2001).

DOI: 10.1109/aim.2001.936467

Google Scholar

[3] G. Finance: SysML Modelling Language Explained (2010) http: /www. omgsysml. org/SysML_Modelling_Language_explained-finance. pdf.

Google Scholar

[4] F. O. Hansen: SysML – a modeling language for systems engineering [slides], (2010) http: /staff. iha. dk/foh/Foredrag/SysML-SystemEngineering-DSFD-15-03-2010. pdf.

Google Scholar

[5] S. Friedenthal, A. Moore and R. Steiner: A Practical Guide to SysML: The Systems Modeling Language (Elsevier, 2011) ISBN 0123852064, 9780123852069.

Google Scholar

[6] S. Friedenthal, A. Moore and R. Steiner: A Practical Guide to SysML: The Systems Modeling Language (Elsevier, 2008).

DOI: 10.1016/b978-0-12-374379-4.00003-5

Google Scholar

[7] T. Weilkiens: Systems Engineering with SysML/UML: Modeling, Analysis, Design (Elsevier, 2007).

Google Scholar

[8] OMG: OMG Systems Modeling Language (OMG SysML™), V1. 0, September (2007).

DOI: 10.3403/30333430u

Google Scholar

[9] Object Management Group: Unified Modeling Language: Superstructure version 2. 4. 1. (2011). http: /www. omg. org/spec/UML/2. 4. 1.

Google Scholar

[10] S. Al-Fedaghi: A conceptual foundation for aspect-oriented modeling, International Review on Computers and Software (IRECOS) SCOPUS, Vol. 9, No 5 (2014).

Google Scholar

[11] S. Al-Fedaghi: An alternative approach to multiple models: Application to control of a production cell, International Journal of Control and Automation SCOPUS, Vol. 7, No. 4 (2014).

Google Scholar

[12] S. Al-Fedaghi: Systems design: SysML vs. Flowthing modeling, International Journal of Software Engineering and Its Applications SCOPUS, Vol. 8, No. 1 (2014).

DOI: 10.14257/ijseia.2014.8.1.31

Google Scholar

[13] S. Al-Fedaghi: Schematizing proofs based on flow of truth values in logic, IEEE International Conference on Systems, Man, and Cybernetics (IEEE SMC 2013), October 13-16, Manchester, UK (2013).

DOI: 10.1109/smc.2013.40

Google Scholar

[14] S. Al-Fedaghi: How sensitive is your personal information? The 22nd ACM Symposium on Applied Computing (ACM SAC 2007), March 11-15, Seoul, Korea (2007).

DOI: 10.1145/1244002.1244046

Google Scholar

[15] Stanford Encyclopedia of Philosophy. http: /plato. stanford. edu/entries/heraclitus.

Google Scholar

[16] G.L. Henrich, S. Bertelsen, L. Koskela, K. Kraemer, J. Rooke and R. Owen: Construction physics: Understanding the Flows in a Construction Process. Retrieved from http: /www. headsoft. com. br/web/ghenrich/Publications_files/Construction%20Physics%20-%20Understanding%20the%20Flow%20in%20a%20Construction%20Process%20-%20Henrich%20et%20al. pdf.

Google Scholar

[17] Z. Yu, X. Fu, Y. Liu, J. Wang and Y. Cai: Modeling and analyzing software architecture using object-oriented Petri nets and pi-calculus, in: Petri Nets: Applications, edited by P. Pawlewski, In-Tech (2010).

DOI: 10.5772/7522

Google Scholar

[18] J.J.P. Tsai and K. Xu: An empirical evaluation of deadlock detection in software architecture specifications, Annals of Software Engineering, Vol. 7, No. 1-4 (1999), pp.95-126.

Google Scholar

[19] P. M. González del Foyo, A. Olivera Salmon, J. Reinaldo Silva: Requirements analysis of automated projects using UML/Petri nets, in: ABCM Symposium Series in Mechatronics, Vol. 5 (2012).

Google Scholar