Ingeniería guiada por Modelado y Simulación de Eventos Discretos:

En este trabajo presentamos una metodología iterativa e incre-mental para desarrollo de proyectos de ingeniería guiados por modelado y simu-lació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 es-cala del proyecto, estas redes están disponibles para ensayos solo esporádica-mente. Mostramos como asistimos su diseño mediante técnicas de modelado y simulación, hipotetizando sobre el sistema real cuando se encuentra inaccesible.