Tecnologías Específicas

Tecnologías de la Información

Descripcion y Objetivos

El objetivo principal de este proyecto consiste en realizar una comparativa de distintos métodos formales  para el análisis de sistemas según las características a analizar en el mismo, así como el desarrollo de una herramienta que nos permita decidir en función de esas características. 

Este objetivo principal lleva implicitos una serie de objetivos secundarios como son el estudio riguroso del estado del arte de los métodos formales para el análisis de sistemas, clasificándolos en función de su adecuación al análisis que se quiera realizar. Así como, el estudio de distintas tecnologías para implementar una herramienta que permita seleccionar el más adecuado conforme a lo que se quiera analizar, integrando el acceso las herramientas existentes que usan estos métodos.

 

Metodología y Competencias

La metodología a utilizar para la implementación de la herramienta estará basado en el modelo de desarrollo del software en cascada, que nos permite realizar las distintas fases del desarrollo del software consecutivamente, realizando la siguiente etapa tras la finalización de la anterior. Con lo que las fases que nos permitirán el desarrollo de esta herramienta serán el análisis de requisitos, diseño del sistema y herramienta e implementación de la misma.

El plan de trabajo consistiría en el estudio de distintos métodos formales y herramientas para el análisis formal de sistemas distribuidos y en tiempo real. Una vez realizado dicho estudio se procederá a determinar el método formal a usar en función de las características a analizar en el sistema y el tipo de análisis que convenga realizar en dicho caso. Por último, se procederá a la implementación de una herramienta que nos permita decidir el método formal a utilizar según el sistema y lo que se quiera estudiar en el mismo, así como a la elección de la herramienta de análisis más adecuada y acceso a la misma.

Las competencias a conseguir con este trabajo son las siguientes:
[TI1] Capacidad para comprender el entorno de una organización y sus necesidades en el ámbito de las tecnologías de la información y las comunicaciones.
[TI2] Capacidad para seleccionar, diseñar, desplegar, integrar, evaluar, construir, gestionar, explotar y mantener las tecnologías de hardware, software y redes, dentro de los parámetros de coste y calidad adecuados.
[TI3] Capacidad para emplear metodologías centradas en el usuario y la organización para el desarrollo, evaluación y gestión de aplicaciones y sistemas basados en tecnologías de la información que aseguren la accesibilidad, ergonomía y usabilidad de los sistemas.
[TI5] Capacidad para seleccionar, desplegar, integrar y gestionar sistemas de información que satisfagan las necesidades de la organización, con los criterios de coste y calidad identificados.
[TI6] Capacidad de concebir sistemas, aplicaciones y servicios basados en tecnologías de red, incluyendo Internet, web, comercio electrónico, multimedia, servicios interactivos y computación móvil.
 

 

Medios a utilizar

- Ordenador portátil con versión actualizada de java.

- Conexión a Internet.

 

Bibliografía

 R. Alur and D.L. Dill. A Theory of Timed Automata , Theory of Computer Science, vol. 126, num. 2, pp. 183-235, 1994.

 G. Behrmann and A. David and K. G. Larsen, A Tutorial on Uppaal. Springer, LNCS, vol.3185, pp. 300{236. 2004.

 F. Moller and C. Tofts. A Temporal Calculus of Communicating Systems .Proc. CONCUR'90. Theories of Concurrency: Unication and Extension. LNCS vol. 458, pp. 401-415. 1990.