Definition Of A Transparent Constraint-Based Modeling And Simulation Layer For The Management Of Complex Systems

Modeling and Simulation (M&S) is one of the most multifaceted topics present today in both industry and academia. However, we are involved in a new M&S paradigm. Systems are becoming more complex and new simulation needs arise and have to be studied. As a consequence, the way in which we perform M&S must be adapted, providing new ideas and tools. In this paper, we propose a rule-based constraints evaluator, which facilitate the validation and verification of complex models in a transparent manner. For this, constraints are defined. The constraints definition process is completely independent of the model development process because (a) the set of constraints is defined once the model has been developed, and (b) constraints are validated at simulation time. The proposed Constraint M&S architecture has been built using the Discrete Event System Specification (DEVS) formalism and has been tested on a validated data center simulation model.

[1]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[2]  J. Koomey Worldwide electricity used in data centers , 2008 .

[3]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[4]  José Luis Risco-Martín,et al.  SFIDE: a simulation infrastructure for data centers , 2017, SummerSim.

[5]  Román Hermida,et al.  Reconsidering the performance of DEVS modeling and simulation environments using the DEVStone benchmark , 2017, Simul..

[6]  José Manuel Moya,et al.  Dynamic workload and cooling management in high-efficiency data centers , 2015, 2015 Sixth International Green and Sustainable Computing Conference (IGSC).

[7]  Saurabh Mittal,et al.  Model engineering for cyber complex adaptive systems , 2014 .

[8]  Hessam S. Sarjoughian,et al.  Modeling and verification of network-on-chip using constrained-DEVS , 2017, SpringSim.

[9]  Saurabh Mittal,et al.  Simulation-Based Complex Adaptive Systems , 2017 .

[10]  Francisca Santana Robles,et al.  Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use , 2015 .

[11]  Bernard P. Zeigler,et al.  Reachability Graph of Finite and Deterministic DEVS Networks , 2009, IEEE Transactions on Automation Science and Engineering.

[12]  Damien Foures,et al.  FROM SEQUENCE DIAGRAMS UML 2.x TO FD-DEVS BY MODEL TRANSFORMATION , 2012 .

[13]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[14]  Giancarlo Mauri,et al.  Constraint-Based Modeling and Simulation of Cell Populations , 2016, WIVACE.

[15]  Gabriel A. Wainer,et al.  Principles of Discrete Event System Specification model verification , 2013, Simul..