Especificación de componentes mediante Redes de Petri para el diseño y validación de sistemas de control de tiempo real
- Autores: Apolinar González Potes
- Directores de la Tesis: Alfons Crespo i Lorente (dir. tes.)
- Lectura: En la Universitat Politècnica de València ( España ) en 1999
- Idioma: español
- Tribunal Calificador de la Tesis: Francisco Morant Anglada (presid.), Juan Antonio Vila Carbó (secret.), José María Drake Moyano (voc.), Alejandro Alonso Muñoz (voc.), José Luis Villarroel Salcedo (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
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
