Abstract:Modeling and Simulation (M&S) for system design and prototyping is practiced today both in the industry and academia. M&S are two different areas altogether and have specific objectives. However, most of the times these two separate areas are taken together. The developed code is tightly woven around both the model and the underlying simulator that executes it. This constraints both the model development and the simulation engine that impacts scalability of the developed code. Furthermore, a lot of time is spent in development of a model because it needs both domain knowledge and simulation techniques, which also requires communication among users and developers. Unified Modeling Language (UML) is widely accepted in the industry, whereas Discrete Event Specification (DEVS) based modeling that separates the model and the simulator, provides a cleaner methodology to develop models and is much used in academia. DEVS today is used by engineers who understand discrete event modeling at a much detailed level and are able to translate requirements to DEVS modeling code. There have been earlier efforts to integrate UML and DEVS but they haven't succeeded in providing a transformation mechanism due to inherent differences in these two modeling paradigms. This paper presents an integrated approach towards crosstransformations between UML and DEVS using the proposed eUDEVS, which stands for executable UML based on DEVS. Further, we will also show that the obtained DEVS models belong to a specific class of DEVS models called Finite Deterministic DEVS (FD-DEVS) that is available as a W3C XML Schema in XFD-DEVS. We also put the proposed eUDEVS in a much larger unifying framework called DEVS Unified Process that allows bifurcated model-continuity based lifecycle methodology for systems M&S. Finally, we demonstrate the laid concepts with a complete example.

Building Models in Pairs for Cross‐Verification Using SDL and DEVS

eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation

DEVSMO: an ontology of DEVS model representation for model reuse

Simulating hybrid SysML models: a model transformation approach under the DEVS framework

Verification Framework for UML-Based Design of Embedded Systems.

A Family of Simulation Criteria to Guide DEVS Models Validation Rigorously, Systematically and Semi-Automatically

Extended DEVSML As a Model Transformation Intermediary to Make UML Diagrams Executable.

A Hybrid Approach to System Verification in Early Design for Complex Mechatronic Systems Based on Formal Functional Semantics

Collaborative Verification-Driven Engineering of Hybrid Systems

Executable Modeling Approach to Service Oriented Architecture Using SoaML in Conjunction with Extended DEVSML

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

A Formal Approach for Modeling and Verification of Distributed Systems.

A MDE Based Approach for Bridging Formal Models

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA

SoS contract verification using statistical model checking

Empowering Domain Experts With Formal Methods for Consistency Verification of Safety Requirements

An approach for design and formal verification of safety-critical software

VERBUS: A Formal Model for Business Process Verification

Model verification for system design of complex mechatronic products

IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale

Verification of AADL Models with Timed Abstract State Machines