Especificación del sistema de eventos discretos finitos y deterministas


FD-DEVS (Especificación de sistema de eventos discretos finitos y deterministas) es un formalismo para modelar y analizar sistemas dinámicos de eventos discretos en formas de simulación y verificación. FD-DEVS también proporciona funciones de modelado modular y jerárquico que se han heredado de Classic DEVS .

FD-DEVS se nombró originalmente como `` DEVS controlable por programación '' [Hwang05] y se diseñó para respaldar el análisis de verificación de sus redes, que había sido un problema abierto del formalismo de DEVS durante 30 años. Además, también fue designado para resolver el llamado problema `` OPNA '' de SP-DEVS . Desde el punto de vista de Classic DEVS , FD-DEVS tiene tres restricciones

La tercera restricción también se puede ver como una relajación de SP-DEVS donde la programación siempre se conserva por cualquier evento de entrada. Debido a esta relajación, ya no existe el problema de OPNA, pero también hay una limitación de que una abstracción de línea de tiempo que puede usarse para abstraer los tiempos transcurridos de las redes SP-DEVS ya no es útil para la red FD-DEVS [Hwang05] . Pero otro método de abstracción de tiempo [Dill89] que fue inventado por el Prof. D. Dill puede ser aplicable para obtener un gráfico de alcanzabilidad de vértices finitos para redes FD-DEVS.

Considere un solo partido de ping-pong en el que hay dos jugadores. Cada jugador puede ser modelado por FD-DEVS de modo que el modelo de jugador tenga un evento de entrada ? Recibir y un evento de salida ! Enviar , y tenga dos estados: Enviar y Esperar . Una vez que el jugador ingresa a `` Enviar '', generará ``! Enviar '' y volverá a `` Esperar '' después del tiempo de envío, que es 0.1 unidad de tiempo. Cuando se queda en `` Esperar '' y si aparece ``? Recibir '', cambia a `` Enviar '' nuevamente. En otras palabras, el modelo de jugador permanece en `` Esperar '' para siempre a menos que obtenga ``? Recibir ''.

Para hacer un partido de ping-pong completo, un jugador comienza como un infractor cuyo estado inicial es `` Enviar '' y el otro comienza como un defensor cuyo estado inicial es `` Esperar ''. Así, en la Fig. 1. El jugador A es el infractor inicial y el jugador B es el defensor inicial. Además, para que el juego continúe, el evento ``? Enviar '' de cada jugador debe acoplarse al ``? Recibir '' del otro jugador como se muestra en la Fig.1.

Considere una tostadora en la que hay dos ranuras que tienen sus propias perillas de inicio, como se muestra en la figura 2 (a). Cada ranura tiene la misma funcionalidad excepto su tiempo de tostado. Inicialmente, no se presiona la perilla, pero si se presiona la perilla, la ranura asociada comienza a tostar por su tiempo de tostado: 20 segundos para la ranura izquierda, 40 segundos para la ranura derecha. Después del tiempo de tostado, emergen cada ranura y sus perillas. Tenga en cuenta que aunque uno intenta presionar una perilla cuando su ranura asociada está tostando, no sucede nada.


Fig.1: Diagrama acoplado FD-DEVS para juego de ping-pong
Fig.2: (a) Tostadora de dos ranuras (b) Diagrama acoplado FD-DEVS para tostadora de dos ranuras
Fig. 3. Un segmento de evento y una trayectoria de estado del jugador A
Fig. 4. un segmento de evento y una trayectoria de estado de una tostadora
Fig. 5. Gráfico de accesibilidad de la tostadora de dos ranuras