Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
156 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A SysML Profile for the Standardized Description of Processes during System Development (2403.06723v1)

Published 11 Mar 2024 in cs.SE, cs.SY, and eess.SY

Abstract: A key aspect in creating models of production systems with the use of model-based systems engineering (MBSE) lies in the description of system functions. These functions shouldbe described in a clear and standardized manner.The VDI/VDE 3682 standard for Formalised Process De-scription (FPD) provides a simple and easily understandable representation of processes. These processes can be conceptualized as functions within the system model, making the FPD particularly well-suited for the standardized representation ofthe required functions. Hence, this contribution focuses on thedevelopment of a Domain-Specific Modeling Language(DSML) that facilitates the integration of VDI/VDE 3682 into the Systems Modeling Language (SysML). The presented approach not onlyextends classical SysML with domain-specific requirements but also facilitates model verification through constraints modeled in Object Constraint Language (OCL). Additionally, it enables automatic serialization of process descriptions into the Extensible Markup Language (XML) using the Velocity Template Language (VTL). This serialization enables the use of process modeling in applications outside of MBSE. The approach was validated using an collar screwing use case in the major component assembly in aircraft production.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (24)
  1. J. D’Ambrosio and G. Soremekun, “Systems engineering challenges and MBSE opportunities for automotive system design,” in 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2017, pp. 2075–2080.
  2. E. M. Sanfilippo, S. Benavent, S. Borgo, N. Guarino, N. Troquard, F. Romero, P. Rosado, L. Solano, F. Belkadi, and A. Bernard, “Modeling Manufacturing Resources: An Ontological Approach,” in Product Lifecycle Management to Support Industry 4.0, 2018, pp. 304–313.
  3. VDI/VDE 3682-1, “Formalised Process Descriptions - Concept and Graphic Representation,” 2015.
  4. F. Gehlhoff, H. Nabizada, M. Weigand, L. Beers, O. Ismail, A. Wenzel, A. Fay, P. Nyhuis, W. Lagutin, and M. Röhrig, “Challenges in automated commercial aircraft production,” IFAC-PapersOnLine, vol. 55, no. 2, pp. 354–359, 2022.
  5. VDI/VDE 3682-2, “Formalised Process Descriptions - Information model,” 2015.
  6. U. Frank, “Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines,” Domain Engineering: Product Lines, Languages, and Conceptual Models, pp. 133–157, 2013.
  7. F. Lagarde, H. Espinoza, F. Terrier, C. André, and S. Gérard, “Leveraging Patterns on Domain Models to Improve UML Profile Definition,” in International Conference on Fundamental Approaches to Software Engineering.   Springer, 2008, pp. 116–130.
  8. MagicDraw, “UML Profiling and DSL 18.1 - User Guide,” 2015. [Online]. Available: https://docs.nomagic.com/download/attachments/17667876/MagicDraw%20UMLProfiling%26DSL%20UserGuide.pdf
  9. E. Bousse, D. Mentré, B. Combemale, B. Baudry, and T. Katsuragi, “Aligning sysml with the b method to provide v&v for systems engineering,” in Proceedings of the workshop on model-driven engineering, verification and validation, 2012, pp. 11–16.
  10. J. Cabot and M. Gogolla, “Object Constraint Language (OCL): A Definitive Guide,” in Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012.   Springer, 2012, pp. 58–90.
  11. C. Hildebrandt, S. Törsleff, B. Caesar, and A. Fay, “Ontology building for cyber-physical systems: A domain expert-centric approach,” in 2018 IEEE 14th international conference on automation science and engineering (CASE).   IEEE, 2018, pp. 1079–1086.
  12. T. Jäger, L. Christiansen, M. Strube, and A. Fay, “Durchgängige Werkzeugunterstützung von der Anforderungserhebung bis zur Anlagenstrukturbeschreibung mittels formalisierter Prozessbeschreibung und AutomationML,” Proceedings of EKA, pp. 8–10, 2012.
  13. A. Köcher, C. Hildebrandt, L. M. Vieira da Silva, and A. Fay, “A Formal Capability and Skill Model for Use in Plug and Produce Scenarios,” in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, 2020, pp. 1663–1670.
  14. A. Köcher, A. Belyaev, J. Hermann, J. Bock, K. Meixner, M. Volkmann, M. Winter, P. Zimmermann, S. Grimm, and C. Diedrich, “A reference model for common understanding of capabilities and skills in manufacturing,” at - Automatisierungstechnik, vol. 71, no. 2, pp. 94–104, 2023.
  15. B. Caesar, A. Hänel, E. Wenkler, C. Corinth, S. Ihlenfeldt, and A. Fay, “Information Model of a Digital Process Twin for Machining Processes,” in 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), vol. 1, 2020, pp. 1765–1772.
  16. T. Jeleniewski, H. Nabizada, J. Reif, A. Köcher, and A. Fay, “A Semantic Model to Express Process Parameters and their Interdependencies in Manufacturing,” in 2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE), 2023, pp. 1–6.
  17. L. Kathrein, K. Meixner, D. Winkler, A. Lüder, and S. Biffl, “A Meta-Model for Representing Consistency as Extension to the Formal Process Description,” in 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2019, pp. 1653–1656.
  18. P. Novák and J. Vyskočil, “Digitalized Automation Engineering of Industry 4.0 Production Systems and Their Tight Cooperation with Digital Twins,” Processes, vol. 10, no. 2, p. 404, 2022.
  19. H. Nabizada, A. Köcher, C. Hildebrandt, and A. Fay, “Offenes, webbasiertes Werkzeug zur Informationsmodellierung mit Formalisierter Prozessbeschreibung,” in Automation 2020 - Shaping Automation for our Future, 2020.
  20. H. Nabizada, T. Jeleniewski, A. Köcher, and A. Fay, “Vorschlag für eine XML-Repräsentation der Formalisierten Prozessbeschreibung nach VDI/VDE 3682,” in 17. Fachtagung EKA - Entwurf komplexer Automatisierungssysteme, 2022.
  21. OMG, “Systems Modeling Language (SysML™ 1.6),” 2019. [Online]. Available: https://www.omg.org/spec/SysML/1.6/PDF
  22. A. Hayward, M. Rappl, and A. Fay, “A SysML-based Function-Centered Approach for the Modeling of System Groups for Collaborative Cyber-Physical Systems,” in 2022 IEEE International Systems Conference (SysCon), 2022, pp. 1–8.
  23. L. Beers, M. Weigand, H. Nabizada, and A. Fay, “MBSE Modeling Workflow for the Development of Automated Aircraft Production Systems,” in 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023, pp. 1–8.
  24. C. Binder, P. Hünecke, C. Neureiter, and A. Lüder, “Towards flexible production systems engineering according to RAMI 4.0 by utilizing PPR notation,” in 2023 IEEE 21st International Conference on Industrial Informatics (INDIN), 2023, pp. 1–6.
Citations (1)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now
X Twitter Logo Streamline Icon: https://streamlinehq.com

Tweets