Ingeniería guiada por modelado y simulación de eventos discretos: metodología y caso de estudio en la red de datos del experimento ATLAS

Abstract

En este trabajo presentamos una metodología iterativa e incremental para desarrollo de proyectos de ingeniería guiados por modelado y simulación (M&S) formal. Basándonos en el marco formal DEVS (Discrete Event Systems Specification), y sumando prácticas estándar en proyectos de software, se obtienen modelos que dan respuesta a preguntas de diseño y optimización de redes de datos. Presentamos una aplicación práctica de la metodología a un caso de estudio de ingeniería de redes, en el contexto de un experimento científico a gran escala: el experimento ATLAS (Máquina de Dios) en el cual científicos de todo el mundo intentan responder preguntas sobre el origen del universo. Estas redes absorben en tiempo real datos de experimentos físicos, y por su criticidad se someten a diseños exhaustivos y mejoras continuas. Sin embargo, por la escala del proyecto, estas redes están disponibles para ensayos solo esporádicamente. Mostramos como asistimos su diseño mediante técnicas de modelado y simulación, hipotetizando sobre el sistema real cuando se encuentra inaccesible.