Skip to main content
Top

2022 | OriginalPaper | Chapter

Interpretation Discrepancies of SysML State Machine: An Initial Investigation

Authors : Ben Cratsley, Siwani Regmi, Paul Wach, Alejandro Salado

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

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
go back to reference 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.
go back to reference 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
go back to reference 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.
go back to reference 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.
go back to reference 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.
go back to reference 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
go back to reference 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.
go back to reference 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
go back to reference 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.
go back to reference 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.
Metadata
Title
Interpretation Discrepancies of SysML State Machine: An Initial Investigation
Authors
Ben Cratsley
Siwani Regmi
Paul Wach
Alejandro Salado
Copyright Year
2022
DOI
https://doi.org/10.1007/978-3-030-82083-1_31

Premium Partner