Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations

Schamai, Wladimir; Fritzson, Peter; Paredis, Christiaan J. J.; Pop, Adrian

doi:10.3384/ecp09430081

Cited by 63 publications

(59 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This and the relation (28) imply that A is an architecture where both the relations (17) and (18) hold. According to the relation (25), this means that it follows that…”

Section: Conditions On Element and Environmentmentioning

confidence: 99%

“…An example of when a specification such as the one shown in Fig. 1b is used in an industrial case-study, can be found in [24] where ModelicaML [25] is used to specify and verify requirements on a subsystem of a fuel management system where the requirements express the end-to-end functionality of the fuel management system in general. Another example can be found in [26] where SysML [27] is used to specify requirements on an engine knock controller and where the requirements allocated to the controller explicitly refer to parts, such as e.g.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Environment-Centric Contracts for Design of Cyber-Physical Systems

Westman

Nyberg

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. A contract splits the responsibilities between a component and its environment into a guarantee that expresses an intended property under the responsibility of the component, given that the environment fulfills the assumptions. Although current contract theories are limited to express contracts over interfaces of components, specifications that are not limited to interfaces are used in practice and are needed in order to properly express safety requirements. A framework is therefore presented, generalizing current contract theory to environment-centric contracts -contracts that are not limited to the interface of components. The framework includes revised definitions of properties of contracts, as well as theorems that specifies exact conditions for when the properties hold. Furthermore, constraints are introduced, limiting the ports over which an environment-centric contract is expressed where the constraints constitute necessary conditions for the guarantee of the contract to hold in an architecture.

show abstract

“…This and the relation (28) imply that A is an architecture where both the relations (17) and (18) hold. According to the relation (25), this means that it follows that…”

Section: Conditions On Element and Environmentmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Environment-Centric Contracts for Design of Cyber-Physical Systems

Westman

Nyberg

2014

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…In the simulation approach to be presented, the target simulation language is Modelica [24] with Modelica Modeling Language (ModelicaML) [25] [26]. For simulating Modelica models there are both open source (e.g., OpenModelica [26]) and commercial tools (e.g., Dymola [27]) available.…”

Section: Related Workmentioning

confidence: 99%

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

Vepsäläinen

Kuikka

2014

Advances in Software Engineering

View full text Add to dashboard Cite

The scope and responsibilities of control applications are increasing due to, for example, the emergence of industrial internet. To meet the challenge, model-driven development techniques have been in active research in the application domain. Simulations that have been traditionally used in the domain, however, have not yet been sufficiently integrated to model-driven control application development. In this paper, a model-driven development process that includes support for design-time simulations is complemented with support for simulating sequential control functions. The approach is implemented with open source tools and demonstrated by creating and simulating a control system model in closed-loop with a large and complex model of a paper industry process.

show abstract

“…The intent of the ModelicaML profile is slightly broader than the SysML-Modelica Transformation described in this paper; ModelicaML also aims to represent all of the Modelica language in a graphical form, including equations and algorithms. The work on ModelicaML is still ongoing and has recently extended by Schamai et al (Schamai, et al, 2009). In parallel to the development of ModelicaML, Johnson et al (Johnson, et al, 2008) proposed a mapping between SysML and Modelica.…”

Section: Introductionmentioning

confidence: 99%

5.5.1 An Overview of the SysML‐Modelica Transformation Specification

Paredis

Bernard

Burkhart

et al. 2010

INCOSE International Symp

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations

Cited by 63 publications

References 4 publications

Environment-Centric Contracts for Design of Cyber-Physical Systems

Environment-Centric Contracts for Design of Cyber-Physical Systems

Model-Driven Development of Automation and Control Applications: Modeling and Simulation of Control Sequences

5.5.1 An Overview of the SysML‐Modelica Transformation Specification

Contact Info

Product

Resources

About