Tesis doctoral de Apolinarº González Potes
En la actualidad el tamaño y la complejidad de los desarrollos de sistemas de control de tiempo real se ha incrementado, implicando altos costos en desarrollo y mantenimiento.Las técnicas y metodologías para tratar este tipo de sistemas no han sido claramente definidas teniendo en cuenta integralmente los aspectos de diseño, análisis e implementación. no ha habido una correspondencia directa entre el crecimiento de los sistemas de control de tiempo real y las técnicas de análisis formales. las dificultades en la especifiación, análisis e implementación, la necesidad de mantener un buen nivel de calidad, eliminar las ambigí¼edades entre el diseño y la implementación, las necesidad de mantener un buen nivel de calidad, eliminar las ambigí¼edades entre el diseño y la implementación, las inconsistencias y análisis limitados en los sistemas de tiempo real, ha incrementado el uso de los métodos formales, aunque su complejidad desde el punto de vista matemático no ha permitido una gran aceptación en el ambiente industrial, esto se debe a que existe un margen entre las necesidades reales de los usuarios prácticos (industriales) y la comunidad científica. ante las condiciones anteriores, esta tesis intenta reducir la distancia existente entre las aplicaciones teóricas y las prácticas, integrando los tres aspectos mencionados: diseño, análisis (validación) e implementación. en el esquema de integración tratada en la tesis, reúne las necesidades para considerar un estilo arquitectónico de diseño de las aplicaciones, un método formal para el análisis y un lenguaje de programación de alto nivel que soporte características de tiempo real. para el estilo arquitectónico se tiene en cuenta el diseño bajo el modelo de concurrencia explícita, lo cual permite tener en cuenta las actividades concurrentes en las primeras etpas del ciclo de vida, facilitando las labores de traslado automático del diseño en altos
Datos académicos de la tesis doctoral «Especificación de componentes mediante redes de petri para el diseño y validación de sistemas de control de tiempo real.«
- Título de la tesis: Especificación de componentes mediante redes de petri para el diseño y validación de sistemas de control de tiempo real.
- Autor: Apolinarº González Potes
- Universidad: Politécnica de Valencia
- Fecha de lectura de la tesis: 19/10/1999
Dirección y tribunal
- Director de la tesis
- Alfons Crespo Lorente
- Tribunal
- Presidente del tribunal: Francisco Morant anglada
- alejandro Alonso muñoz (vocal)
- José María Drake moyano (vocal)
- Villarroel salcedo José Luis (vocal)