5.5.1 An Overview of the SysML‐Modelica Transformation Specification

Paredis, Christiaan J. J.; Bernard, Yves; Burkhart, Roger; Koning, Hans-Peter de; Friedenthal, Sanford; Fritzson, Peter; Rouquette, Nicolas; Schamai, Wladimir

doi:10.1002/j.2334-5837.2010.tb01099.x

Cited by 70 publications

(38 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…It is also possible to use SysML for specifying the composition rules of CPS components. Paredis et al [12] present a transformation specification to integrate Modelica models with SysML models. However, we not only provide a modeling language with syntax and semantics, but a tool chain for automatic transformations as well.…”

Section: Related Workmentioning

confidence: 99%

Component-based modeling of dynamic systems using heterogeneous composition

Lattmann

Nagel

Levendovszky

et al. 2012

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) are composed of computational and physical components, which includes various types of physical phenomena such as electrical and mechanical domains. Many modeling paradigms exist to model the static properties and dynamic behavior of such components. However, there is no unified modeling framework to compose components that use different paradigms and/or tools. In this paper, we present the syntax and semantics of such an integration language and its component-based design, where components can embed models from different tools, formalisms, and paradigms such as Bond Graphs and Modelica models. Our framework is built around common set of interface concepts to support heterogeneous composition and interchangeability among modeling paradigms.

show abstract

Section: Related Workmentioning

confidence: 99%

Component-based modeling of dynamic systems using heterogeneous composition

Lattmann

Nagel

Levendovszky

et al. 2012

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling

View full text Add to dashboard Cite

show abstract

“…In the course of this dissertation ModelicaML was also used to prototype ideas and contribute to the SyM standard (OMG SyM, 2012), (Paredis, et al, 2010) that defines a bidirectional transformation between SysML and Modelica.…”

Section: 1mentioning

confidence: 99%

Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool

Schamai¹

2013

Self Cite

View full text Add to dashboard Cite

Modeling and simulation of complex systems is at the heart of any modern engineering activity. Engineers strive to predict the behavior of the system under development in order to get answers to particular questions long before physical prototypes or the actual system are built and can be tested in real life.An important question is whether a particular system design fulfills or violates requirements that are imposed on the system under development. When developing complex systems, such as spacecraft, aircraft, cars, power plants, or any subsystem of such a system, this question becomes hard to answer simply because the systems are too complex for engineers to be able to create mental models of them. Nowadays it is common to use computer-supported modeling languages to describe complex physical and cyber-physical systems. The situation is different when it comes to describing requirements. Requirements are typically written in natural language. Unfortunately, natural languages fail at being unambiguous, in terms of both syntax and semantics. Automated processing of natural-language requirements is a challenging task which still is too difficult to accomplish via computer for this approach to be of significant use in requirements engineering or verification.This dissertation proposes a new approach to design verification using simulation models that include formalized requirements. The main contributions are a new method that is supported by a new language and tool, along with case studies. The method enables verification of system dynamic behavior designs against requirements using simulation models. In particular, it shows how naturallanguage requirements and scenarios are formalized. Moreover, it presents a framework for automating the composition of simulation models that are used for design verification, evaluation of verification results, and sharing of new knowledge inferred in verification sessions.A new language called ModelicaML was developed to support the new method. It enables requirement formalization and integrates UML and Modelica. The language and the developed algorithms for automation are implemented in a prototype that is based on Eclipse Papyrus UML, Acceleo, and Xtext for modeling, and OpenModelica tools for simulation. The prototype is used to illustrate the applicability of the new method to examples from industry. The case studies presented start with sets of natural-language requirements and show how they are translated into models. Then, designs and verification scenarios are modeled, and simulation models are composed and simulated automatically. The simulation results produced are then used to draw conclusions on requirement violations; this knowledge is shared using semantic web technology.This approach supports the development and dynamic verification of cyberphysical systems, including both hardware and software components. ModelicaML facilitates a holistic view of the system by enabling engineers to model and verify multi-domain system behavior using mathematical models an...

show abstract

“…The second stage applied the established MBSE processes and re-useable SysML model components to a much larger project, the European Extremely Large Telescope (Karban et al, 2009). Other major efforts to illustrate the applicability and usability of MBSE for large complex projects such as: the FireSat Satellite system (Cloutier and Griego, 2008), Space systems (Piggot et al, 2008;Delp et al, 2009), integration of SysML with other modelling tools such as Matlab and Modelica (Peak et al, 2009;Paredis et al, 2010), MBSE for systems of Systems (Williamson, 2009).…”

Section: Model-based Systems Engineering Design and Analysismentioning

confidence: 99%

10.5.1 An MBSE Case Study and Research Challenges

Cook

2012

INCOSE International Symp

View full text Add to dashboard Cite

Model‐Based Systems Engineering (MBSE) is an emerging practice that provides major advantages over document‐based engineering design approaches: traceability and transparency of the evolving design, improved design completeness, and improved knowledge sharing. The paper opens with an introduction to contemporary systems engineering practice, its limitations and the need for MBSE. Then the paper describes an MBSE case study on the ground‐based air missile defence system, which includes SysML model design and development, lessons learnt and insights, and a set of derived research challenges for future research and development.

show abstract

5.5.1 An Overview of the SysML‐Modelica Transformation Specification

Cited by 70 publications

References 2 publications

Component-based modeling of dynamic systems using heterogeneous composition

Component-based modeling of dynamic systems using heterogeneous composition

Model-Based Verification of Dynamic System Behavior against Requirements : Method, Language, and Tool

10.5.1 An MBSE Case Study and Research Challenges

Contact Info

Product

Resources

About