A multi-target compiler for CML-DEVS

Cristiá, Maximiliano; Hollmann, Diego; Frydman, Claudia

doi:10.1177/0037549718765080

Cited by 10 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…6 When engineers want to simulate DEVS models, they need to program them in the input language of a concrete simulator, which means writing code in Java or C++ or another general-purpose programming language. 7 Such implementation is often called ''reduction to concrete form''. 1 Hence, even when DEVS models can be mathematically described, their simulation is performed by a concrete DEVS simulation tool.…”

Section: Introductionmentioning

confidence: 99%

Metamodel-based formalization of DEVS atomic models

Blas

Gonnet

2021

SIMULATION

View full text Add to dashboard Cite

The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but that also includes new improved elements related to the definition of atomic models. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. As an example, we show how our metamodel can be used to define the classic “switch” model. As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools.

show abstract

Section: Introductionmentioning

confidence: 99%

Metamodel-based formalization of DEVS atomic models

Blas

Gonnet

2021

SIMULATION

View full text Add to dashboard Cite

show abstract

“…An effective remedy is to use tools that enforce separation. Examples include the Modelica language for (mostly) continuous models (Fritzson 2011) and the DEVS-CML language for DEVS models Frydman 2015, Cristiá, Hollmann, andFrydman 2019), to name just two. These permit the modeler to think in terms of suitably abstract, but precise, modeling constructs which the compiler transforms into a general purpose programming language.…”

Section: Introductionmentioning

confidence: 99%

A New Modeling Interface for Simulators Implementing the Discrete Event System Specification

2019

Theory and Foundations of Modeling and Simulation (TMS 2019)

View full text Add to dashboard Cite

The Discrete Event System Specification (DEVS) offers a unique modeling interface that is often perplexing to modelers more familiar with other simulation paradigms. Recent advances in the use of super dense time for discrete event simulation offer an opportunity to recast the traditional interface into a form less confounding for new users. The new interface proposed here allows a natural progression from a message oriented approach to modeling to the familiar DEVS approach. The proposed approach retains the expressive power of the DEVS formalism, and in this sense represents a simple repackaging of the DEVS approach into a more intuitively appealing form.

show abstract

“…The same model can be implemented using different DEVS simulators, sometimes known as concrete simulators [53], such as: CD++ [54], JDEVS [55], DEVSJava [56] and…”

Section: Discrete Event System Specification (Devs)mentioning

confidence: 99%

Strategies for Cooperative Energy Distribution on Multi-Robot Warehouse Systems

Al-Gafari¹

View full text Add to dashboard Cite

Autonomous mobile robots are one of the new and innovative ways to improve operation in industries such as warehouses, logistic companies, agricultural businesses, healthcare institutions, and a lot more. They are known for their operational improvement, safety, efficiency, and speed, automating several functionalities so they can be performed with little or no human intervention.These advantages can only be realized, however, if the degree of autonomy suffices for the task at hand. Whilst many degrees of autonomy exist (e.g., functional autonomy), in this thesis we are primarily concerned with an aspect of non-functional autonomy: energy. One of the important features of an autonomous robot system is the capability to charge autonomously with little to no human intervention. This thesis examines the energy distribution problem on multi-robot warehouse systems. We model warehouse systems where robots charge autonomously, pausing their workload when needed, to charge at a station. Depending on specific execution, it is possible that robots fully deplete their energy before arriving at a charging station, decreasing total work achieved, and becoming an obstacle on the warehouse floor. We then introduce the concept of energy sharing, where robots are capable of charging one another, essentially becoming mobile charging stations.In this context, the problem of energy distribution becomes a problem of multi-agent collaboration.We analyze the impact of our solution on a multi-agent simulation, showing that energy sharing for autonomous mobile robots in warehouse systems reduces the total number of depleted robots and contributes to increasing the amount of work performed.

show abstract

A multi-target compiler for CML-DEVS

Cited by 10 publications

References 23 publications

Metamodel-based formalization of DEVS atomic models

Metamodel-based formalization of DEVS atomic models

A New Modeling Interface for Simulators Implementing the Discrete Event System Specification

Strategies for Cooperative Energy Distribution on Multi-Robot Warehouse Systems

Contact Info

Product

Resources

About