Skip to main content

2024 | OriginalPaper | Buchkapitel

MBSE-Based Design Space Exploration for Productivity Improvement Using Workflow Models

verfasst von : Jozef Hooman, Koen Kanters, Alexandr Vasenev, Jacques Verriet

Erschienen in: The Proceedings of the 2023 Conference on Systems Engineering Research

Verlag: Springer Nature Switzerland

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

During systems design, systems engineers would like to reason about systems feasibility as early in the process as possible. In this chapter, we present a model-based systems engineering (MBSE) method to support design decisions early in the process of systems development by quantitative information about important system qualities. We focus on productivity and propose a method based on system workflows that provide customer value. We annotate the workflows with quantitative information and resources being used and define a formal semantics for these workflows to enable analysis by means of simulation. The approach reuses constructs of the MBSE method Arcadia and is supported by prototype tooling in the form of an add-on of the tool Capella. We visualize simulation results using Gantt charts, with several viewing possibilities and critical path analysis. Finally, the add-on includes design space exploration functionality, which supports specification of parameter ranges and automatic simulation of all combinations. This integrates early design space exploration with MBSE.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
2.
Zurück zum Zitat J.A. Estefan, T. Weilkiens, MBSE methodologies, in Handbook of Model-Based Systems Engineering, (Springer, 2022), pp. 1–40 J.A. Estefan, T. Weilkiens, MBSE methodologies, in Handbook of Model-Based Systems Engineering, (Springer, 2022), pp. 1–40
3.
Zurück zum Zitat J.A. Estefan, Survey of model-based systems engineering (MBSE) methodologies, in INCOSE MBSE Initiative (2008) J.A. Estefan, Survey of model-based systems engineering (MBSE) methodologies, in INCOSE MBSE Initiative (2008)
4.
Zurück zum Zitat J. Ma, G. Wang, J. Lu, H. Vangheluwe, D. Kiritsis, Y. Yan, Systematic literature review of MBSE tool-chains. Appl. Sci. 12, 3431 (2022)CrossRef J. Ma, G. Wang, J. Lu, H. Vangheluwe, D. Kiritsis, Y. Yan, Systematic literature review of MBSE tool-chains. Appl. Sci. 12, 3431 (2022)CrossRef
7.
Zurück zum Zitat P.F. Smith, S.M. Prabhu, J. Friedman, Best practices for establishing a model-based design culture. SAE Technical Paper (2007) P.F. Smith, S.M. Prabhu, J. Friedman, Best practices for establishing a model-based design culture. SAE Technical Paper (2007)
17.
Zurück zum Zitat M.S. Erden, H. Komoto, T.J. van Beek, V. D’Amelio, E. Echavarria, T. Tomiyama, A review of function modeling: approaches and applications. Artif. Intell. Eng. Des. Anal. Manuf. 22, 147–169 (2008)CrossRef M.S. Erden, H. Komoto, T.J. van Beek, V. D’Amelio, E. Echavarria, T. Tomiyama, A review of function modeling: approaches and applications. Artif. Intell. Eng. Des. Anal. Manuf. 22, 147–169 (2008)CrossRef
18.
Zurück zum Zitat K.E. Bemmami, P. David, State-of-practice survey in industry on the deployment of simulation in systems engineering. IFAC-PapersOnLine 54(1), 1132–1137 (2021)CrossRef K.E. Bemmami, P. David, State-of-practice survey in industry on the deployment of simulation in systems engineering. IFAC-PapersOnLine 54(1), 1132–1137 (2021)CrossRef
20.
Zurück zum Zitat L. Rioux, R. Henia, N. Sordon, Using model-checking for timing verification in industrial system design, in 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), (IEEE, 2017), pp. 377–378CrossRef L. Rioux, R. Henia, N. Sordon, Using model-checking for timing verification in industrial system design, in 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), (IEEE, 2017), pp. 377–378CrossRef
21.
Zurück zum Zitat L. Batista, O. Hammami, Capella based system engineering modelling and multi-objective optimization of avionics systems, in 2016 IEEE International Symposium on Systems Engineering (ISSE), (IEEE, 2016), pp. 1–8 L. Batista, O. Hammami, Capella based system engineering modelling and multi-objective optimization of avionics systems, in 2016 IEEE International Symposium on Systems Engineering (ISSE), (IEEE, 2016), pp. 1–8
22.
Zurück zum Zitat B. Eisenbart, K. Gericke, L. Blessing, Taking a look at the utilisation of function models in interdisciplinary design: insights from ten engineering companies. Res. Eng. Des. 28, 299–331 (2017)CrossRef B. Eisenbart, K. Gericke, L. Blessing, Taking a look at the utilisation of function models in interdisciplinary design: insights from ten engineering companies. Res. Eng. Des. 28, 299–331 (2017)CrossRef
23.
Zurück zum Zitat J.E. Long, Relationships between common graphical representations in systems engineering. Insight 21(1), 8–11 (2018)CrossRef J.E. Long, Relationships between common graphical representations in systems engineering. Insight 21(1), 8–11 (2018)CrossRef
24.
Zurück zum Zitat B. van der Sanden, Y. Blankenstein, R. Schiffelers, J. Voeten, LSAT: specification and analysis of product logistics in flexible manufacturing systems, in 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), (IEEE, 2021), pp. 1–8 B. van der Sanden, Y. Blankenstein, R. Schiffelers, J. Voeten, LSAT: specification and analysis of product logistics in flexible manufacturing systems, in 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE), (IEEE, 2021), pp. 1–8
26.
Zurück zum Zitat K. Traganos, D. Spijkers, P. Grefen, I. Vanderfeesten, Dynamic process synchronization using BPMN 2.0 to support buffering and (un)bundling in manufacturing, in Business Process Management Forum. BPM 2020, Lecture Notes in Business Information Processing, ed. by D. Fahland, C. Ghidini, J. Becker, M. Dumas, vol. 392, (Springer, 2020), pp. 18–34CrossRef K. Traganos, D. Spijkers, P. Grefen, I. Vanderfeesten, Dynamic process synchronization using BPMN 2.0 to support buffering and (un)bundling in manufacturing, in Business Process Management Forum. BPM 2020, Lecture Notes in Business Information Processing, ed. by D. Fahland, C. Ghidini, J. Becker, M. Dumas, vol. 392, (Springer, 2020), pp. 18–34CrossRef
27.
Zurück zum Zitat J. Wang, Deterministic timed petri nets, in Timed Petri Nets, The Kluwer International Series on Discrete Event Dynamic Systems, vol. 9, (Springer, 1998), pp. 37–61CrossRef J. Wang, Deterministic timed petri nets, in Timed Petri Nets, The Kluwer International Series on Discrete Event Dynamic Systems, vol. 9, (Springer, 1998), pp. 37–61CrossRef
28.
Zurück zum Zitat K. Salimifard, M. Wright, Petri net-based modelling of workflow systems: an overview. Eur. J. Oper. Res. 134(3), 664–676 (2001)CrossRef K. Salimifard, M. Wright, Petri net-based modelling of workflow systems: an overview. Eur. J. Oper. Res. 134(3), 664–676 (2001)CrossRef
29.
Zurück zum Zitat M. Herget, F.S. Saadatmand, M. Bor, I. González Alonso, T. Stefanov, B. Akesson, A.D. Pimentel, Design space exploration for distributed cyber-physical systems: state-of-the-art, challenges, and directions, in 2022 25th Euromicro Conference on Digital System Design (DSD), (IEEE, 2022), pp. 632–640CrossRef M. Herget, F.S. Saadatmand, M. Bor, I. González Alonso, T. Stefanov, B. Akesson, A.D. Pimentel, Design space exploration for distributed cyber-physical systems: state-of-the-art, challenges, and directions, in 2022 25th Euromicro Conference on Digital System Design (DSD), (IEEE, 2022), pp. 632–640CrossRef
30.
Zurück zum Zitat K. Miranda, W. Girard-Dias, M. Attias, W. de Souza, I. Ramos, Three dimensional reconstruction by electron microscopy in the life sciences: an introduction for cell and tissue biologists. Mol. Reprod. Dev. 82(7–8), 530–547 (2015)CrossRef K. Miranda, W. Girard-Dias, M. Attias, W. de Souza, I. Ramos, Three dimensional reconstruction by electron microscopy in the life sciences: an introduction for cell and tissue biologists. Mol. Reprod. Dev. 82(7–8), 530–547 (2015)CrossRef
31.
Zurück zum Zitat P. Roques, Systems Architecture Modeling with the Arcadia Method – A Practical Guide to Capella (ISTE Press – Elsevier, 2018) P. Roques, Systems Architecture Modeling with the Arcadia Method – A Practical Guide to Capella (ISTE Press – Elsevier, 2018)
32.
Zurück zum Zitat F. Pommereau, Nets-in-nets with SNAKES, in Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA’09) (2009), pp. 107–126 F. Pommereau, Nets-in-nets with SNAKES, in Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA’09) (2009), pp. 107–126
34.
Zurück zum Zitat J.P. López-Grao, J. Merseguer, J. Campos, From UML activity diagrams to Stochastic Petri nets: application to software performance engineering, in WOSP ’04: Proceedings of the 4th International Workshop on Software and Performance, (ACM, 2004), pp. 25–36CrossRef J.P. López-Grao, J. Merseguer, J. Campos, From UML activity diagrams to Stochastic Petri nets: application to software performance engineering, in WOSP ’04: Proceedings of the 4th International Workshop on Software and Performance, (ACM, 2004), pp. 25–36CrossRef
Metadaten
Titel
MBSE-Based Design Space Exploration for Productivity Improvement Using Workflow Models
verfasst von
Jozef Hooman
Koen Kanters
Alexandr Vasenev
Jacques Verriet
Copyright-Jahr
2024
DOI
https://doi.org/10.1007/978-3-031-49179-5_3

Neuer Inhalt