000011735 001__ 11735
000011735 005__ 20190219123652.0
000011735 037__ $$aTESIS-2013-070
000011735 041__ $$aeng
000011735 080__ $$a004
000011735 1001_ $$aRodríguez Fernández, Ricardo Julio
000011735 24500 $$aPerfomance Analysis and Resource Optimisation of Critical Systems Modelled by Petri Nets
000011735 260__ $$aZaragoza$$bUniversidad de Zaragoza, Prensas de la Universidad$$c2013
000011735 300__ $$a203
000011735 4900_ $$aTesis de la Universidad de Zaragoza$$v2013-52$$x2254-7606
000011735 500__ $$aPresentado: 24 06 2013
000011735 502__ $$aTesis-Univ. Zaragoza, Informática e Ingeniería de Sistemas, 2013$$bZaragoza, Universidad de Zaragoza$$c2013
000011735 506__ $$aby-nc-nd$$bCreative Commons$$c3.0$$uhttps://creativecommons.org/licenses/by-nc-nd/3.0/
000011735 520__ $$aUn sistema crítico debe cumplir con su misión a pesar de la presencia de problemas de seguridad. Este tipo de sistemas se suele desplegar en entornos heterogéneos, donde pueden ser objeto de intentos de intrusión, robo de información confidencial u otro tipo de ataques. Los sistemas, en general, tienen que ser rediseñados después de que ocurra un incidente de seguridad, lo que puede conducir a consecuencias graves, como el enorme costo de reimplementar o reprogramar todo el sistema, así como las posibles pérdidas económicas. Así, la seguridad ha de ser concebida como una parte integral del desarrollo de sistemas y como una necesidad singular de lo que el sistema debe realizar (es decir, un requisito no funcional del sistema). Así pues, al diseñar sistemas críticos es fundamental estudiar los ataques que se pueden producir y planificar cómo reaccionar frente a ellos, con el fin de mantener el cumplimiento de requerimientos funcionales y no funcionales del sistema. A pesar de que los problemas de seguridad se consideren, también es necesario tener en cuenta los costes incurridos para garantizar un determinado nivel de seguridad en sistemas críticos. De hecho, los costes de seguridad puede ser un factor muy relevante ya que puede abarcar diferentes dimensiones, como el presupuesto, el rendimiento y la fiabilidad. Muchos de estos sistemas críticos que incorporan técnicas de tolerancia a fallos (sistemas FT) para hacer frente a las cuestiones de seguridad son sistemas complejos, que utilizan recursos que pueden estar comprometidos (es decir, pueden fallar) por la activación de los fallos y/o errores provocados por posibles ataques. Estos sistemas pueden ser modelados como sistemas de eventos discretos donde los recursos son compartidos, también llamados sistemas de asignación de recursos. Esta tesis se centra en los sistemas FT con recursos compartidos modelados mediante redes de Petri (Petri nets, PN). Estos sistemas son generalmente tan grandes que el cálculo exacto de su rendimiento se convierte en una tarea de cálculo muy compleja, debido al problema de la explosión del espacio de estados. Como resultado de ello, una tarea que requiere una exploración exhaustiva en el espacio de estados es incomputable (en un plazo prudencial) para sistemas grandes. Las principales aportaciones de esta tesis son tres. Primero, se ofrecen diferentes modelos, usando el Lenguaje Unificado de Modelado (Unified Modelling Language, UML) y las redes de Petri, que ayudan a incorporar las cuestiones de seguridad y tolerancia a fallos en primer plano durante la fase de diseño de los sistemas, permitiendo así, por ejemplo, el análisis del compromiso entre seguridad y rendimiento. En segundo lugar, se proporcionan varios algoritmos para calcular el rendimiento (también bajo condiciones de fallo) mediante el cálculo de cotas de rendimiento superiores, evitando así el problema de la explosión del espacio de estados. Por último, se proporcionan algoritmos para calcular cómo compensar la degradación de rendimiento que se produce ante una situación inesperada en un sistema con tolerancia a fallos.
000011735 6531_ $$aredes de petri
000011735 6531_ $$asistemas críticos
000011735 6531_ $$aseguridad informática
000011735 6531_ $$aingeniería de sistemas
000011735 6531_ $$apetri nets
000011735 6531_ $$acritical systems
000011735 6531_ $$acomputer security
000011735 6531_ $$asystems engineering
000011735 700__ $$aMerseguer Hernáiz, José Javier$$edir.
000011735 700__ $$aJúlvez Bueno, Jorge Emilio$$edir.
000011735 7102_ $$aUniversidad de Zaragoza$$bInformática e Ingeniería de Sistemas
000011735 8560_ $$fzaguan@unizar.es
000011735 8564_ $$s3401847$$uhttps://zaguan.unizar.es/record/11735/files/TESIS-2013-070.pdf$$zTexto completo (eng)
000011735 909CO $$ooai:zaguan.unizar.es:11735
000011735 909co $$ptesis
000011735 909CO $$pdriver
000011735 9102_ $$aIngeniería de sistemas y automática$$bInformática e Ingeniería de Sistemas
000011735 980__ $$aTESIS