Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Definition Of A Transparent Constraint-Based Modeling And Simulation Layer For The Management Of Complex Systems
 
conference paper

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

Henares, Kevin
•
Risco-Martin, Jose L.
•
Zapater, Marina  
January 1, 2019
2019 Spring Simulation Conference (Springsim)
Spring Simulation Conference (SpringSim)

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.

  • Files
  • Details
  • Metrics
Type
conference paper
DOI
10.23919/SpringSim.2019.8732847
Web of Science ID

WOS:000492000800002

Author(s)
Henares, Kevin
Risco-Martin, Jose L.
Zapater, Marina  
Date Issued

2019-01-01

Publisher

IEEE

Publisher place

New York

Published in
2019 Spring Simulation Conference (Springsim)
ISBN of the book

978-1-5108-8388-8

Subjects

model checking

•

constraint modeling and simulation

•

discrete events

•

verification

•

data centers

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
ESL  
Event nameEvent placeEvent date
Spring Simulation Conference (SpringSim)

Tucson, AZ

Apr 29-May 02, 2019

Available on Infoscience
November 6, 2019
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/162719
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés