Abstract.This paper provides an overview of the formal transformation between the two complementary languages: OMG SysML TM and Modelica. SysML is a standardized general purpose graphical modeling language for capturing complex system descriptions in terms of their structure, behavior, properties, and requirements. Modelica is a standardized general purpose systems modeling language for analyzing the continuous and discrete time dynamics of complex systems in terms of differential algebraic equations. Integrating the descriptive power of SysML models with the analytic and computational power of Modelica models provides a capability that is significantly greater than provided by SysML or Modelica individually. A standardized bi-directional transformation between the two modeling languages is being developed that will support implementations to transfer efficiently and automatically the modeling information between SysML and Modelica models without ambiguity. In addition to an overview of this bi-directional transformation approach, the paper provides a simple example to clarify the transformation principles and to illustrate the important synergies resulting from the integration between these two languages.
Abstract. Establishing and managing a "good" set of requirements is one of the critical success factors for any space system project, and for the development of any complex product in general. The NextGenRE project sponsored by the European Space Agency has developed an innovative approach featuring the use of semantic wiki technology to enable users to specify structured, semantically-rich requirements associated with canonical system designs in OMG SysML. Reuse of requirements through templates is supported, as well as semantic reasoning to check properties such as consistency and coherence among requirements. The approach is entirely model-based, allowing tight integration of the requirements engineering and design processes and opening the way to the application of model checking and simulation techniques. The new approach is being validated alongside an existing space project.
Current Requirements Engineering PracticeIt has often been said, with only slight exaggeration, that systems engineering is mostly about eliciting requirements and determining feasibility. Requirements engineering is particularly crucial in complex systems developments such as space systems, which need multidisciplinary concurrent engineering of many different subsystems in domains ranging from electronics to biology. The Next Generation Requirements Engineering (NextGenRE) project sponsored by the European Space Agency has developed an approach to introducing incremental improvements in requirements engineering as it is practiced today toward the best practices of tomorrow. It is important to distinguish between:Requirements engineering, which comprises the elicitation, formulation, analysis, derivation and refinement of requirements, as well as the identification and assignment of verification and validation approaches. Requirements engineering is usually performed in an iterative process with conceptual / preliminary design 461
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.