Introducing Explicit Causality in Object-oriented Hybrid System Modeling

International audienceAlong with the rapid development of embedded devices and network technology, the area of CyberPhysical Systems (CPS), has arisen. In terms of modeling and simulation, CPS—like many technical systems—have ahybrid nature, i.e., discrete-event behavior and continuous-time dynamics have to be integrated with each other.Basically, this integration is supported by modern object-oriented modeling paradigms such as Modelica®. Theequation-based concept resolves the causality between interconnected components, which qualifies this modelingscheme for complex multi-domain systems. However, in hybrid systems, explicit causality is required to correctlymanage iterative events. This paper highlights these issues, including algorithmic loops and instantaneous multipleupdates, which essentially arise from incompatibilities between the object-oriented concept and specific discrete-eventphenomena. We discuss several possible solutions and introduce the concept of re-allocating the objects’ behavioralintelligence

Using advanced simulation techniques to improve industrial controller’s dependability

Modelica Modeling language is powerful and suitable for modeling mechatronic systems, being possible to interact different technological aspects and deal, simultaneously with different technologies (mechanical, electrical, pneumatic, hydraulic,..). In this paper it is discussed, in a case study, the possibility of using this language for modeling an automation system (controller and plant) in closed loop behavior and also in defining some parameters of the automation system in order to optimize some behavior aspects of the system as, for instance, the time cycle of the automation system. Some aspects relied with controllers dependability are also discussed and it is showed how Modelica modeling language can help controllers’ designers improving controllers dependability, when are used Simulation Techniques

Integrating models and simulations of continuous dynamic system behavior into SysML

Contemporary systems engineering problems are becoming increasingly complex as they are handled by geographically distributed design teams, constrained by the objectives of multiple stakeholders, and inundated by large quantities of design information. According to the principles of model-based systems engineering (MBSE), engineers can effectively manage increasing complexity by replacing document-centric design methods with computerized, model-based approaches. In this thesis, modeling constructs from SysML and Modelica are integrated to improve support for MBSE. The Object Management Group has recently developed the Systems Modeling Language (OMG SysML ) to provide a comprehensive set constructs for modeling many common aspects of systems engineering problems (e.g. system requirements, structures, functions). Complementing these SysML constructs, the Modelica language has emerged as a standard for modeling the continuous dynamics (CD) of systems in terms of hybrid discrete- event and differential algebraic equation systems. The integration of SysML and Modelica is explored from three different perspectives: the definition of CD models in SysML; the use of graph transformations to automate the transformation of SysML CD models into Modelica models; and the integration of CD models and other SysML models (e.g. structural, requirements) through the depiction of simulation experiments and engineering analyses. Throughout the thesis, example models of a car suspension and a hydraulically-powered excavator are used for demonstration. The core result of this work is the provision of modeling abilities that do not exist independently in SysML or Modelica. These abilities allow systems engineers to prescribe necessary system analyses and relate them to stakeholder concerns and other system aspects. Moreover, this work provides a basis for model integration which can be generalized and re-specialized for integrating other modeling formalisms into SysML.M.S.Committee Chair: Chris Paredis; Committee Member: Dirk Schaefer; Committee Member: Russell Pea