Resumen

En este artículo se presenta una metodología de evaluación de la fiabilidad de la misión de un controlador de señales de tráfico. Para desarrollar la nueva metodología de evaluación, este trabajo combina el formalismo de Especificación de Sistemas de Eventos Discretos (DEVS) que ha sido popular en el área de fabricación por tres razones: (1) sus características compatibles con el modelado orientado a objetos; (2) su rigurosa definición formal; y (3) su soporte para las especificaciones de modelos de eventos discretos de forma jerárquica y modular. Utilizando el formalismo DEVS, construimos un modelo de simulación que tiene en cuenta no sólo las características de un controlador de señales de tráfico, sino también el entorno operativo. Una vez construido el modelo, es posible realizar experimentos de simulación. La metodología propuesta calcula la fiabilidad de la misión de un controlador de señales de tráfico utilizando un registro de simulación, y esta información desempeña un papel vital en la preparación de políticas de mantenimiento optimizadas que maximicen la disponibilidad o minimicen los costes del ciclo de vida.

• Materias:Máquina de vectores Estudio numérico Controlador Método computacional Modelado matemático
• Subjects:Vector machine Numerical study Controller Computational method Mathematical modeling
• Palabras claves:controlador de señales de tráfico, Especificación de Sistemas de Sucesos Discretos, metodología de evaluación de la fiabilidad de la misión, modelos de sucesos discretos, costes del ciclo de vida, nueva metodología de evaluación, definición formal rigurosa, controlador de señales de tráfico, documento, formalismo DEVS
• Keywords:traffic signal controller, Discrete Event System Specification, mission reliability evaluation methodology, discrete event models, life cycle costs, new evaluation methodology, rigorous formal definition, signal traffic controller, paper, DEVS formalism