Bechir Zalila

Modelado arquitectónico para sistemas TR2E

Contribuciones a la configuración dinámica, la tolerancia a fallos, la optimización y la verificación formal

• Broschiertes Buch

Produktbeschreibung

En esta tesis describimos las principales aportaciones de nuestras actividades de investigación. Estas actividades se enmarcan en el tema de las arquitecturas de software en un contexto de tiempo real distribuido embebido (TR2E). Se describen cuatro contribuciones principales: reconfiguración dinámica, tolerancia a fallos, optimización multiobjetivo y verificación formal de sistemas TR2E. Todas estas contribuciones se basan en lenguajes de descripción de arquitecturas (ADL) como pilar principal de modelado, debido a la potentísima capacidad de expresión de los ADL, que permite describir la arquitectura global de un sistema antes de utilizar técnicas de transformación de modelos y generación de código para llevar a cabo las distintas acciones relacionadas con cada una de las contribuciones. Utilizamos ampliamente estas técnicas para maximizar la automatización y reducir la cantidad de código escrito a mano por el desarrollador.

Produktdetails

• Verlag: Ediciones Nuestro Conocimiento
• Seitenzahl: 88
• Erscheinungstermin: 22. Februar 2024
• Spanisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 149g
• ISBN-13: 9786207187775
• ISBN-10: 6207187776
• Artikelnr.: 70024314

Autorenporträt

Bechir Zalila es profesor ayudante universitario en la Ecole Nationale d'Ingénieurs de Sfax (Universidad de Sfax, Túnez) desde 2011. Defendió su Habilitación el 28 de mayo de 2022.Sus actividades docentes e investigadoras se centran en los sistemas distribuidos en tiempo real aplicados a los sistemas embebidos.