Tecnologías Específicas

Tecnologías de la Información

Descripcion y Objetivos

El objetivo principal de este proyecto consiste en realizar una comparativa y estudio 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. 

 

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.

 

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.