Loading...
Please wait, while we are loading the content...
Similar Documents
Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos
| Content Provider | Semantic Scholar |
|---|---|
| Author | Velardo, Fernando Rosa |
| Copyright Year | 2007 |
| Abstract | Las redes de Petri son un formalismo presentado por primera vez en la tesis de Carl Adam Petri para el estudio de sistemas concurrentes, Desde su aparicion hace ya mas de cuatro decadas han aparecido numerosos trabajos que han desarrollado una estable teoria para la especificacion y verificacion de sistemas concurrentes mediante redes de Petri. Factores como su representacion grafica y los numerosos resultados de decidibilidad para problemas indecidibles en otros formalismos mas expresivos son sin duda parte de los motivos que han contribuido al exito del que han gozado las redes de Petri. Sin embargo, la teoria clasica de redes se enfrenta al desafio de adecuarse a las nuevas necesidades de los sistemas informaticos que los ingenieros disenan en la actualidad. Un claro ejemplo de estas nuevas necesidades son los sistemas distribuidos y moviles, en los que conceptos como localidad y conectividad cobran gran importancia. Un paso mas alla estan los sistemas ubicuos, definidos de manera un tanto difusa, que comparten la particularidad de estar formados por componentes con poca capacidad de calculo que se comunican a traves de redes establecidas especificamente para cada comunicacion, lo que dificulta el diseno de sistemas ubicuos seguros. En esta tesis nos centramos en dos aspectos de vital importancia en los sistemas ubicuos, como son la coordinacion y la seguridad. El primer objetivo de la tesis es el de extender el modelo clasico de redes de Petri con caracteristicas que nos permitan hablar de terminos propios de los sistemas ubicuos, como pueden ser componentes, localidad, movilidad, comunicacion, coordinacion o seguridad. Presentaremos progresivamente distintos modelos que vayan incorporando nuevas caracteristicas, comparando las distintas extensiones entre si fundamentalmente a traves del estudio de las propiedades de alcanzabilidad, recubrimiento y acotacion. Por su especial relevancia desde el punto de vista teorico |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://antares.sip.ucm.es/~frosa/docs/tesis.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
