Skip to main content

2022 | OriginalPaper | Buchkapitel

Interpretation Discrepancies of SysML State Machine: An Initial Investigation

verfasst von : Ben Cratsley, Siwani Regmi, Paul Wach, Alejandro Salado

Erschienen in: Recent Trends and Advances in Model Based Systems Engineering

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

Model-Based Systems Engineering (MBSE) is expected to improve communication and consistency in system development over document-based approaches. As systems become more complex, modeling languages increase the information content of their semantics to simplify modeling construction and visualization. We hypothesize in this paper that such increase in the complexity of the semantics may be detrimental to the MBSE objectives of facilitating communication and consistency. We present the results of an initial survey in which we asked systems engineers individually to interpret the behavior captured by several models in the form of Systems Modeling Language (SysML) state machines. Significant discrepancies in their answers were found. In addition, we present a qualitative assessment of the potential implications of such interpretation discrepancies for system development, which include need for rework, modeling gaps, inefficient solutions, and solutions that are not fit for purpose.

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
Zurück zum Zitat Andersson, H., et al. 2010. Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems. Systems Engineering 13 (4): 369–380. Andersson, H., et al. 2010. Experience from introducing Unified Modeling Language/Systems Modeling Language at Saab Aerosystems. Systems Engineering 13 (4): 369–380.
Zurück zum Zitat Bisht, R.K.D., and H.S. Dhami. 2015. Discrete Mathematics. Oxford: Oxford University Press.MATH Bisht, R.K.D., and H.S. Dhami. 2015. Discrete Mathematics. Oxford: Oxford University Press.MATH
Zurück zum Zitat Crane, M.L. 2005. On the Syntax and Semantics of State Machines. Kingston: Queen's University. Crane, M.L. 2005. On the Syntax and Semantics of State Machines. Kingston: Queen's University.
Zurück zum Zitat Friedenthal, S., A. Moore, and R. Steiner, eds. 2015. A Practical Guide to SysML – The Systems Modeling Language. 3rd ed. Waltham: Morgan Kaufman. Friedenthal, S., A. Moore, and R. Steiner, eds. 2015. A Practical Guide to SysML – The Systems Modeling Language. 3rd ed. Waltham: Morgan Kaufman.
Zurück zum Zitat Gregory, J., et al. 2019. Early Validation of the Data Handling Unit of a Spacecraft Using MBSE. In 2019 IEEE Aerospace Conference. Gregory, J., et al. 2019. Early Validation of the Data Handling Unit of a Spacecraft Using MBSE. In 2019 IEEE Aerospace Conference.
Zurück zum Zitat Mealy, G.H. 1955. A method for synthesizing sequential circuits. The Bell System Technical Journal 34 (5): 1045–1079.MathSciNetCrossRef Mealy, G.H. 1955. A method for synthesizing sequential circuits. The Bell System Technical Journal 34 (5): 1045–1079.MathSciNetCrossRef
Zurück zum Zitat Moore, E.F. 1956. Gedanken-experiments on Sequential Machines, Automata Studies, Annals of Mathematical Studies. Vol. 34. Princeton: Princeton University Press. Moore, E.F. 1956. Gedanken-experiments on Sequential Machines, Automata Studies, Annals of Mathematical Studies. Vol. 34. Princeton: Princeton University Press.
Zurück zum Zitat Piaszczyk, C. 2011. Model Based Systems Engineering with Department of Defense Architectural Framework. Systems Engineering 14 (3): 305–326.CrossRef Piaszczyk, C. 2011. Model Based Systems Engineering with Department of Defense Architectural Framework. Systems Engineering 14 (3): 305–326.CrossRef
Zurück zum Zitat Vipavetz, K., D. Murphy, and S. Infeld. Model-Based Systems Engineering Pilot Program at NASA Langley. In AIAA SPACE 2012 Conference & Exposition. Vipavetz, K., D. Murphy, and S. Infeld. Model-Based Systems Engineering Pilot Program at NASA Langley. In AIAA SPACE 2012 Conference & Exposition.
Zurück zum Zitat Wach, P., and A. Salado. 2019. Can Wymore’s Mathematical Framework Underspin SysML? An Initial Investigation of State Machines. In Conference on Systems Engineering Research (CSER). Washington, DC. Wach, P., and A. Salado. 2019. Can Wymore’s Mathematical Framework Underspin SysML? An Initial Investigation of State Machines. In Conference on Systems Engineering Research (CSER). Washington, DC.
Metadaten
Titel
Interpretation Discrepancies of SysML State Machine: An Initial Investigation
verfasst von
Ben Cratsley
Siwani Regmi
Paul Wach
Alejandro Salado
Copyright-Jahr
2022
DOI
https://doi.org/10.1007/978-3-030-82083-1_31

Premium Partner