Publicación: Ad Hoc systems management and specification with distributed Petri Nets.
Autores
Resumen en inglés
Managing mobile ad hoc systems is a difficult task due to the high volatility of the systems¿ topology. Ad hoc systems are commonly defined by means of their constituent entities and the relationships between such entities, however, a formal specification and run-time execution model is missing. The benefit of a formal specification is that it can enable reasoning about local and global system properties, for example, determining whether the system can reach a given state. We propose a Petri net-based specification and execution model to manage ad hoc distributed systems. Our model enables spontaneous communication between previously unknown system components. The model is locally equivalent to standard Petri nets, and hence could be used for the verification of properties for system snapshots static with respect to connections and disconnection, in which it is possible to analyze liveness, reachability, or conflicts. We validate the usability of our distributed ad hoc Petri net model by modeling distributable systems as described by existing distributed Petri nets approaches. Additionally, we demonstrate the ap- plicability and usability of the proposed model in distributed ad hoc networks by implementing the communication behavior of two prototypical ad hoc network applications, disaster and crisis management, and VANETs, successfully validating the appropriate behavior of the system in each case.
Resumen en español
La gestión de sistemas móviles ad hoc es una tarea difícil debido a la alta volatilidad de la topología de estos. Los sistemas ad hoc se definen comúnmente por medio de sus entidades constitutivas y la relaciones entre tales entidades, sin embargo, una especificación formal y un modelo de ejecución en tiempo de ejecución Está perdido. El beneficio de una especificación formal es que puede permitir el razonamiento sobre propiedades globales del sistema, por ejemplo, determinar si el sistema puede alcanzar un estado determinado. Proponemos un modelo de ejecución y especificación basado en la red de Petri para gestionar sistemas. Nuestro modelo permite la comunicación espontánea entre sistemas previamente desconocidos componentes. El modelo es localmente equivalente a las redes de Petri estándar y, por lo tanto, podría usarse para la verificación de propiedades para instantáneas del sistema estáticas con respecto a las conexiones y desconexión, en la que es posible analizar la vivencia, la accesibilidad o los conflictos. Validamos la usabilidad de nuestro modelo distribuido de red de Petri ad hoc mediante el modelado de sistemas distribuibles como descrito por los enfoques existentes de redes de Petri distribuidas. Además, demostramos el ap- aplicabilidad y usabilidad del modelo propuesto en redes ad hoc distribuidas mediante la implementación el comportamiento de comunicación de dos aplicaciones de red ad hoc prototípicas, desastre y crisis gestión y VANETs, validando con éxito el comportamiento adecuado del sistema en cada caso.
PDF 
FLIP 