A model-driven approach to enable the simulation of complex systems on distributed architectures

SIMULATION ◽  
2019 ◽  
Vol 95 (12) ◽  
pp. 1185-1211 ◽  
Author(s):  
Paolo Bocciarelli ◽  
Andrea D’Ambrogio ◽  
Alberto Falcone ◽  
Alfredo Garro ◽  
Andrea Giglio
Keyword(s):  
Modeling And Simulation ◽  
Systems Engineering ◽  
Distributed Simulation ◽  
System Modeling ◽  
Modeling Language ◽  
Design Development ◽  
Simulation Code ◽  
Model Driven ◽  
Final Code ◽  
High Level

The increasing complexity of modern systems makes their design, development, and operation extremely challenging and therefore new systems engineering and modeling and simulation (M&S) methods, techniques, and tools are emerging, also to benefit from distributed simulation environments. In this context, one of the most mature and popular standards for distributed simulation is the IEEE 1516-2010 - Standard for M&S high level architecture (HLA). However, building and maintaining distributed simulations components, based on the IEEE 1516-2010 standard, is still a challenging and effort-consuming task. To ease the development of full-fledged HLA-based simulations, the paper proposes the MONADS method (MOdel-driveN Architecture for Distributed Simulation), which relies on the model-driven systems engineering paradigm. The method takes as input system models specified in Systems Modeling Language, the reference modeling language in the systems engineering field, and produces as output the final code of the corresponding HLA-based distributed simulation through a chain of model-to-model and model-to-text transformations. The obtained simulation code is based on the HLA Development Kit software framework, which has been developed by the SMASH-Lab (System Modeling and Simulation Hub - Laboratory) of the University of Calabria (Italy), in cooperation with the Software, Robotics, and Simulation Division (ER) of NASA’s Lyndon B. Johnson Space Center (JSC) in Houston (TX, USA). The effectiveness of the method is shown through a case study that concerns a military patrol operation, in which a set of drones are engaged to patrol the border of a military area, in order to prevent both ground and flight attacks from entering the area.

From MARTE to Reconfigurable NoCs

2010 ◽  
pp. 135-157
Author(s):  
Imran Rafiq Quadri ◽  
Majdi Elhaji ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
Model Driven ◽  
Abstraction Level ◽  
Management Group ◽  
High Level Modeling ◽  
High Level ◽  
Abstraction Levels

Due to the continuous exponential rise in SoC’s design complexity, there is a critical need to find new seamless methodologies and tools to handle the SoC co-design aspects. We address this issue and propose a novel SoC co-design methodology based on Model Driven Engineering and the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard proposed by Object Management Group, to raise the design abstraction levels. Extensions of this standard have enabled us to move from high level specifications to execution platforms such as reconfigurable FPGAs. In this chapter, we present a high level modeling approach that targets modern Network on Chips systems. The overall objective: to perform system modeling at a high abstraction level expressed in Unified Modeling Language (UML); and afterwards, transform these high level models into detailed enriched lower level models in order to automatically generate the necessary code for final FPGA synthesis.

scholarly journals A Multicomponent Distributed Framework for Smart Production System Modeling and Simulation

2020 ◽  
Vol 12 (17) ◽  
pp. 6969
Author(s):  
Simon Gorecki ◽  
Jalal Possik ◽  
Gregory Zacharewicz ◽  
Yves Ducq ◽  
Nicolas Perry
Keyword(s):  
Modeling And Simulation ◽  
Manufacturing Systems ◽  
Business Models ◽  
Distributed Simulation ◽  
System Modeling ◽  
Smart Manufacturing ◽  
Distributed Modeling ◽  
Simulation Techniques ◽  
Distributed Framework ◽  
And Performance

In order to control manufacturing systems, managers need risk and performance evaluation methods and simulation tools. However, these simulation techniques must evolve towards being multiperformance, multiactor, and multisimulation tools, and this requires interoperability between those distributed components. This paper presents an integrated platform that brings interoperability to several simulation components. This work expands the process modeling tool Papyrus to allow it to communicate with external components through both distributed simulation and cosimulation standards. The distributed modeling and simulation framework (DMSF) platform takes its environment into consideration in order to evaluate the sustainability of the system while integrating external heterogeneous components. For instance, a DMSF connection with external IoT devices has been implemented. Moreover, the orchestration of different smart manufacturing components and services is achieved through configurable business models. As a result, an automotive industry case study has successfully been tested to demonstrate the sustainability of smart supply chains and manufacturing factories, allowing better connectivity with their real environments.

A SysML based hybrib photovoltaic-wind power system model

2017 ◽  
Vol 1 (2) ◽  
pp. 1
Author(s):  
Doudou Nanitamo Luta ◽  
Atanda K. Raji
Keyword(s):  
Power Systems ◽  
Power System ◽  
Wind Power ◽  
Systems Engineering ◽  
System Modeling ◽  
Point Of View ◽  
Modeling Language ◽  
Wind Power System ◽  
And Behavior ◽  
Model Based Systems Engineering

This paper presents a model of hybrid photovoltaic-wind power system based on SysML (System Modeling Language) which is a modeling language in supports to Model Based Systems Engineering (MBSE) practices. MBSE refers to a formalized procedure of systems development through the application of modeling principles, methods, languages and tools to the complete lifetime of a system.  Broadly speaking, the modeling of power systems is performed using software such as Matlab/Simulink, DigSilent, PowerWorld, ETAP, etc. These tools allow modeling considering a particular point of view depending on the objective that is to be assessed. SysML offers different aspects ranging from specifications and requirements, structure and behavior. This study focuses more specifically on the structural and behavioral modeling of hybrid photovoltaic-wind system; the main objective is to demonstrate the use of SysML in power systems’ modeling by developing models capturing the system’s major requirements, the structure and connection between entities, the interaction between stakeholders and the system itself and lastly, the system’s behavior in terms of transition between states.

Concern Separation for Adaptive QoS Modeling in Distrbuted Real-Time Embedded Systems

2010 ◽  
pp. 85-113 ◽  
Author(s):  
Jeff Gray ◽  
Sandeep Neema ◽  
Jing Zhang ◽  
Yuehua Lin ◽  
Ted Bapty ◽  
...  
Keyword(s):  
Real Time ◽  
Graphical Models ◽  
Model Transformations ◽  
Modeling Language ◽  
Model Driven ◽  
Trade Offs ◽  
Design Alternatives ◽  
Domain Specific Modeling ◽  
High Level ◽  
Qos Adaptation

The development of distributed real-time and embedded (DRE) systems is often challenging due to conflicting quality-of-service (QoS) constraints that must be explored as trade-offs among a series of alternative design decisions. The ability to model a set of possible design alternatives—and to analyze and simulate the execution of the representative model—helps derive the correct set of QoS parameters needed to satisfy DRE system requirements. QoS adaptation is accomplished via rules that specify how to modify application or middleware behavior in response to changes in resource availability. This chapter presents a model-driven approach for generating QoS adaptation rules in DRE systems. This approach creates high-level graphical models representing QoS adaptation policies. The models are constructed using a domain-specific modeling language—the adaptive quality modeling language (AQML)—which assists in separating common concerns of a DRE system via different modeling views. The chapter motivates the need for model transformations to address crosscutting and scalability concerns within models. In addition, a case study is presented based on bandwidth adaptation in video streaming of unmanned aerial vehicles.

Dynamic Simulation of Small Modular Reactors Using Modelica

2014 ◽  
Author(s):  
Lou Qualls ◽  
Richard Hale ◽  
Sacit Cetiner ◽  
David Fugate ◽  
John Batteh ◽  
...  
Keyword(s):  
Dynamic System ◽  
Open Source ◽  
Systems Engineering ◽  
Dynamic Models ◽  
System Modeling ◽  
Modeling Language ◽  
Source Modeling ◽  
Oak Ridge ◽  
Small Modular Reactors ◽  
Dynamic System Modeling

Small modular reactors (SMRs) offer potential for addressing the nation’s long-term energy needs. However, the project design cycle for new reactor concepts is lengthy. As part of the Department of Energy’s Advanced SMR research and development program, Oak Ridge National Laboratory (ORNL) is developing a Dynamic System Modeling Tool (MoDSIM) to facilitate rapid instrumentation and controls studies of SMR concepts. Traditional nuclear reactor design makes use of verified and validated codes to meet the strict quality assurance requirements of the licensing process for the Nuclear Regulatory Commission. However, there are significant engineering analyses and high-level decisions required prior to the rigorous design phase. These analyses typically do not require high-fidelity codes. Different organizations and researchers may examine various plant configuration options prior to formal design activities. Engineers and managers must continuously make down-selection decisions regarding potential reactor architectures and subsystems. Traditionally, the modeling of these complex systems has been based on legacy models. Considerable time and effort are necessary to understand and manipulate these legacy models. For trade-space studies, two developments in the model-based systems engineering space represent a significant advancement in the ability of engineering tools to meet these demands. The first is Modelica: a nonproprietary, equation-based, object-oriented modeling language for cyber-physical systems. The second is the Functional Mockup Interface: a standardized, open interface for model exchange, simulation, and deployment. ORNL’s MoDSIM tool makes use of these developments and is intended to provide a flexible and robust dynamic system-modeling environment for SMRs. This includes single or multiple reactors, perhaps sharing common resources, or producing both electricity and process heat for local consumption or feeding a regional grid. MoDSIM uses the open-source modeling language (Modelica) and incorporates a user interface, coupled dynamic models, and analysis capabilities that will enable non-expert modelers to perform sophisticated end-to-end system simulations of both neutronic and thermal-hydraulic models. This approach enables open-source and crowd-source-type collaborations for model development of SMRs in an approach similar to open-source and open-design techniques currently used for software production and complex system design. As part of the tool development, an example SMR was chosen (advanced liquid metal reactor [ALMR]) and the ALMR models developed and interface tools demonstrated. For initial verification purposes, the results from these Modelica simulations are compared with the results documented for the earlier ALMR power-reactor innovative small-module concept. These results, as well as initial demonstrations of the tool for different control strategies, are presented in this paper.

DEVSim++ Toolset for Defense Modeling and Simulation and Interoperation

2010 ◽  
Vol 8 (3) ◽  
pp. 129-142 ◽  
Author(s):  
Tag Gon Kim ◽  
Chang Ho Sung ◽  
Su-Youn Hong ◽  
Jeong Hee Hong ◽  
Chang Beom Choi ◽  
...  
Keyword(s):  
Modeling And Simulation ◽  
Distributed Simulation ◽  
Discrete Event ◽  
Model Verification ◽  
High Level Architecture ◽  
Event Models ◽  
The Republic ◽  
Devs Formalism ◽  
High Level ◽  
The Military

Discrete Event Systems Specification (DEVS) formalism supports the specification of discrete event models in a hierarchical and modular manner. Efforts have been made to develop the simulation environments for the modeling and simulation (M&S) of systems using DEVS formalism, particularly in defense M&S domains. This paper introduces the DEVSim++ toolset and its applications. The Object-Analysis Index (OAI) matrix is a tabular form of objects and analysis indices for requirements analysis. DEVSim++ is a realization of DEVS formalism in C++ for M&S. VeriTool is a DEVS model verification tool. DEVSimHLA is a library to support High-level Architecture (HLA) in DEVSim++. Other tools, including KComLib, FOM2CPPClass, and KHLAAdaptor, are used to develop a smart adaptor that allows for the interoperation of simulators of any kind. PlugSim is a distributed simulation framework using plug-in methods. These tools are utilized in every stage of the M&S development process, as well as in every application of the M&S missions to the military domain. Accordingly, the applications implemented by the toolset are used in the training, analytic, and acquisition missions of the Republic of Korea military branches. We expect the DEVS applications to become more prolific as M&S demands grow, and our toolset is already proven as complete and efficient in the domain of defense M&S.

OPAS: Ontology Processing for Assisted Synthesis of Conceptual Design Solutions

2009 ◽  
Author(s):  
Franc¸ois Christophe ◽  
Raivo Sell ◽  
Alain Bernard ◽  
Eric Coatane´a
Keyword(s):  
Conceptual Design ◽  
Systems Engineering ◽  
System Modeling ◽  
Knowledge Bases ◽  
General Purpose ◽  
Synthesis Process ◽  
Modeling Language ◽  
Engineering System ◽  
Modeling Languages ◽  
Knowledge Representations

This article focuses on a key phase of the conceptual design, the synthesis of structural concepts of solution. Several authors have described this phase of Engineering Design. The Function-Behavior-Structure (FBS) is one of these models. This study is based on the combined use of a modified version of Gero’s FBS model and the latest developments of modeling languages for systems engineering. System Modeling Language (SysML) is a general-purpose graphical modeling language for specifying, analyzing, designing, and verifying complex systems. Our development shows how SysML types of diagrams match with our updated vision of the FBS model of conceptual design. The objective of this paper is to present the possibility to use artificial intelligence tools as members of the design team for supporting the synthesis process. The common point of expert systems developed during last decades for the synthesis of conceptual solutions is that their knowledge bases were application dependent. Latest research in the field of Ontology showed the possibility to build knowledge representations in a reusable and shareable manner. This allows the construction of knowledge representation for engineering in a more generic manner and dynamic mapping of the ontology layers. We present here how processing on ontology allows the synthesis of conceptual solutions.

scholarly journals High level modeling of Dynamic Reconfigurable FPGAs

2009 ◽  
Vol 2009 ◽  
pp. 1-15 ◽  
Author(s):  
Imran Rafiq Quadri ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
Embedded Systems ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Model Driven ◽  
Fine Grain ◽  
Industry Standard ◽  
On Chip ◽  
High Level ◽  
Abstraction Levels

As System-on-Chip (SoC) based embedded systems have become a defacto industry standard, their overall design complexity has increased exponentially in recent years, necessitating the introduction of new seamless methodologies and tools to handle the SoC codesign aspects. This paper presents a novel SoC co-design methodology based on Model Driven Engineering and the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) standard, permitting us to raise the abstraction levels and allows to model fine grain reconfigurable architectures such as FPGAs. Extensions of this methodology have enabled us to integrate new features such as Partial Dynamic Reconfiguration supported by Modern FPGAs. The overall objective is to carry out system modeling at a high abstraction level expressed in a graphical language like Unified Modeling Language (UML) and afterwards transformation of these models automatically generate the necessary code for FPGA synthesis.

Sign in / Sign up

Export Citation Format

Share Document