SysML is a modeling language used for systems analysis and design. While some domain‐specific analyses (e.g., finite element analysis) can only be specified in SysML when combined with other vocabulary, many common analyses can be modeled purely in SysML using its parametric and behavioral semantics. In this paper, we focus on one kind of analysis, which is requirements verification, and propose a new Executable System Engineering Method (ESEM) that automates it using executable SysML modeling patterns that involve structural, behavioral and parametric diagrams. The resulting analysis model becomes executable using a general purpose SysML execution engine. We present our method and demonstrate it on a running example derived from an industrial case study where we have verified the power requirements of a telescope system. It involves dynamic power roll‐ups in different operational scenarios and shows the automation capabilities of this method.
Systems Modeling Language (SysML) is used to capture systems design as descriptive and analytical system models, which relate text-based requirements to the system design model and provide an infrastructure to support analysis and verification. However, SysML is not a methodology, nor a method. This opens-up discussions of how to utilize SysML provided infrastructure to successfully achieve analysis and verification objectives in the context of a particular engineering problem. In this paper a new approach of how model of the system, expressed with sufficient precision in SysML, can be used to support early requirements validation and design verification, particularly when coupled with standard-based execution and simulation environment, is introduced.
When the decision is made to choose MBSE or the task is given to investigate whether MBSE is worth the investment, a long journey begins. The journey that requires knowledge, patience, and guidance to make the paradigm shift (from document-centric to model-based SE) rewarding. The final destination of this journey is prove that MBSE is rewarding in the context of a particular organizational. There are many barriers on the way, such as rumours about unsuccessful applications, too little information available how to proceed, disbelief, and a cultural change. Nowadays, MBSE is enabled by Systems Modelling Language (SysML). However, SysML is neither an architecture framework nor a method. This opens discussions of how to start, how to structure the model, what views to build, which artefacts to deliver and in what sequence. This paper summarizes the experience of different MBSE adoption projects in a form of a new framework for MBSE. The framework is organized in a matrix view and intends to help MBSE pioneers to answer the question "what's next?"
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.