Teaching co-simulation basics through practice

International audienceCyber-physical system representation is one of the current challenges in Modeling and Simulation. In fact, multi-domain modeling requires new approaches to rigorously deal with it. Co-simulation, one of the approaches, lets modelers use several M&S tools in collaboration. The challenge is to find a way to enable co-simulation use for non-IT experts while being aware of assumptions and limitations involved. This paper deals with co-simulation basic principles teaching through practice. we propose an iterative and modular co-simulation process supported by a DSL-based environment for the MECSYCO co-simulation platform. Through a thermal use case, we are able to introduce co-simulation in a 4 hours tutorial destined to our students. Efficient energy management is one of this century challenges. The current trend to deal with it is to build cyber-physical system (CPS) [Kleissl and Agarwal, 2010]. CPS are physical systems monitored and supervised by one or several computers through a communication networks [Ra-jkumar et al., 2010]. Smart-grids are examples of CPS where the energy network is coupled with a communication network to enable remote monitoring and control. The Modeling and Simulation (M&S) of such systems is one of the current challenges in M&S due to the inter-disciplinary issues they raise. It requests the development of new methods which deal with multi-domain by integrating each expert point of view in the same rigorous and efficient M&S activity. Co-simulation [Gomes et al., 2018] is a way to achieve it

Modelling and Co-simulation of Multi-Energy Systems: Distributed Software Methods and Platforms

L'abstract è presente nell'allegato / the abstract is in the attachmen

Teaching co-simulation basics through practice

International audienceCyber-physical system representation is one of the current challenges in Modeling and Simulation. In fact, multi-domain modeling requires new approaches to rigorously deal with it. Co-simulation, one of the approaches, lets modelers use several M&S tools in collaboration. The challenge is to find a way to enable co-simulation use for non-IT experts while being aware of assumptions and limitations involved. This paper deals with co-simulation basic principles teaching through practice. we propose an iterative and modular co-simulation process supported by a DSL-based environment for the MECSYCO co-simulation platform. Through a thermal use case, we are able to introduce co-simulation in a 4 hours tutorial destined to our students. Efficient energy management is one of this century challenges. The current trend to deal with it is to build cyber-physical system (CPS) [Kleissl and Agarwal, 2010]. CPS are physical systems monitored and supervised by one or several computers through a communication networks [Ra-jkumar et al., 2010]. Smart-grids are examples of CPS where the energy network is coupled with a communication network to enable remote monitoring and control. The Modeling and Simulation (M&S) of such systems is one of the current challenges in M&S due to the inter-disciplinary issues they raise. It requests the development of new methods which deal with multi-domain by integrating each expert point of view in the same rigorous and efficient M&S activity. Co-simulation [Gomes et al., 2018] is a way to achieve it

Using domain specific languages to capture design knowledge for model-based systems engineering

Design synthesis is a fundamental engineering task that involves the creation of structure from a desired functional specification; it involves both creating a system topology as well as sizing the system's components. Although the use of computer tools is common throughout the design process, design synthesis is often a task left to the designer. At the synthesis stage of the design process, designers have an extensive choice of design alternatives that need to be considered and evaluated. Designers can benefit from computational synthesis methods in the creative phase of the design process. Recent increases in computational power allow automated synthesis methods for rapidly generating a large number of design solutions. Combining an automated synthesis method with an evaluation framework allows for a more thorough exploration of the design space as well as for a reduction of the time and cost needed to design a system. To facilitate computational synthesis, knowledge about feasible system configurations must be captured. Since it is difficult to capture such synthesis knowledge about any possible system, a design domain must be chosen. In this thesis, the design domain is hydraulic systems. In this thesis, Model-Driven Software Development concepts are leveraged to create a framework to automate the synthesis of hydraulic systems will be presented and demonstrated. This includes the presentation of a domain specific language to describe the function and structure of hydraulic systems as well as a framework for synthesizing hydraulic systems using graph grammars to generate system topologies. Also, a method using graph grammars for generating analysis models from the described structural system representations is presented. This approach fits in the context of Model-Based Systems Engineering where a variety of formal models are used to represent knowledge about a system. It uses the Systems Modeling Language developed by The Object Management Group (OMG SysML™) as a unifying language for model definition.M.S.Committee Chair: Paredis, Chris; Committee Member: McGinnis, Leon; Committee Member: Schaefer, Dir

Integrating AADL and FMI to Extend Virtual Integration Capability

Virtual Integration Capability is paramount to perform early validation of Cyber Physical Systems. The objective is to guide the systems engineer so as to ensure that the system under design meets multiple criteria through high-fidelity simulation. In this paper, we present an integration scheme that leverages the FMI (Functional Mock-Up interface) standard and the AADL architecture description language. Their combination allows for validation of systems combining embedded platform captured by the AADL, and FMI components that represent physical elements, either mechanical parts, or the environment. We present one approach, and demonstrator case studies

A Framework for Executable Systems Modeling

Systems Modeling Language (SysML), like its parent language, the Unified Modeling Language (UML), consists of a number of independently derived model languages (i.e. state charts, activity models etc.) which have been co-opted into a single modeling framework. This, together with the lack of an overarching meta-model that supports uniform semantics across the various diagram types, has resulted in a large unwieldy and informal language schema. Additionally, SysML does not offer a built in framework for managing time and the scheduling of time based events in a simulation. In response to these challenges, a number of auxiliary standards have been offered by the Object Management Group (OMG); most pertinent here are the foundational UML subset (fUML), Action language for fUML (Alf), and the UML profile for Modeling and Analysis of Real Time and Embedded Systems (MARTE). However, there remains a lack of a similar treatment of SysML tailored towards precise and formal modeling in the systems engineering domain. This work addresses this gap by offering refined semantics for SysML akin to fUML and MARTE standards, aimed at primarily supporting the development of time based simulation models typically applied for model verification and validation in systems engineering. The result of this work offers an Executable Systems Modeling Language (ESysML) and a prototype modeling tool that serves as an implementation test bed for the ESysML language. Additionally a model development process is offered to guide user appropriation of the provided framework for model building

Domain Globalization: Using Languages to Support Technical and Social Coordination

International audienceWhen a project is realized in a globalized environment, multiple stakeholders from different organizations work on the same system. Depending on the stakeholders and their organizations, various (possibly overlapping) concerns are raised in the development of the system. In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns. This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages. We identify two types of coordination: technical coordination and social coordination. After presenting an overview of the current state of the art, we discuss first the open challenges arising from the composition of multiple DSLs, and then the open challenges associated to the collaboration in a globalized environment

Current Trends in Digital Twin Development, Maintenance, and Operation:An Interview Study

Digital twins (DT) are often defined as a pairing of a physical entity and a corresponding virtual entity mimicking certain aspects of the former depending on the use-case. In recent years, this concept has facilitated numerous use-cases ranging from design to validation and predictive maintenance of large and small high-tech systems. Although growing in popularity in both industry and academia, digital twins and the methodologies for developing and maintaining them differ vastly. To better understand these differences and similarities, we performed a semi-structured interview research study with 19 professionals from industry and academia who are closely associated with different lifecycle stages of the corresponding digital twins. In this paper, we present our analysis and findings from this study, which is based on eight research questions (RQ). We present our findings per research question. In general, we identified an overall lack of uniformity in terms of the understanding of digital twins and used tools, techniques, and methodologies for their development and maintenance. Furthermore, considering that digital twins are software intensive systems, we recognize a significant growth potential for adopting more software engineering practices, processes, and expertise in various stages of a digital twin's lifecycle

Manufacturing compliance analysis for architectural design: a knowledge-aided feature-based modeling framework

Given that achieving nominal (all dimensions are theoretically perfect) geometry is challenging during building construction, understanding and anticipating sources of geometric variation through tolerances modeling and allocation is critical. However, existing building modeling environments lack the ability to support coordinated, incremental and systematic specification of manufacturing and construction requirements. This issue becomes evident when adding multi-material systems produced off site by different vendors during building erection. Current practices to improve this situation include costly and time-consuming operations that challenge the relationship among the stakeholders of a project. As one means to overcome this issue, this research proposes the development of a knowledge-aided modeling framework that integrates a parametric CAD tool with a system modeling application to assess variability in building construction. The CAD tool provides robust geometric modeling capabilities, while System Modeling allows for the specification of feature-based manufacturing requirements aligned with construction standards and construction processes know-how. The system facilitates the identification of conflicting interactions between tolerances and manufacturing specifications of building material systems. The expected contributions of this project are the representation of manufacturing knowledge and tolerances interaction across off-site building subsystems to identify conflicting manufacturing requirements and minimize costly construction errors. The proposed approach will store and allocate manufacturing knowledge as Model-Based Systems Engineering (MBSE) design specifications for both single and multiple material systems. Also, as new techniques in building design and construction are beginning to overlap with engineering methods and standards (e.g. in-factory prefabrication), this project seeks to create collaborative scenarios between MBSE and Building Information Modeling (BIM) based on parametric, simultaneous, software integration to reduce human-to-data translation errors, improving model consistency among domains. Important sub-stages of this project include the comprehensive review of modeling and allocation of tolerances and geometric deviations in design, construction and engineering; an approach for model integration among System Engineering models, mathematical engines and BIM (CAD) models; and finally, a demonstration computational implementation of a System-level tolerances modeling and allocation approach.Ph.D