Bechir Zalila

Modelação arquitetónica para sistemas TR2E

Contribuições para a configuração dinâmica, tolerância a falhas, otimização e verificação formal

• Broschiertes Buch

Produktbeschreibung

Nesta tese, descrevemos as principais contribuições das nossas actividades de investigação. Estas actividades fazem parte do tema das arquitecturas de software num contexto de tempo real distribuído incorporado (TR2E). São descritas quatro contribuições principais: reconfiguração dinâmica, tolerância a falhas, otimização multi-objetivo e verificação formal de sistemas TR2E. Todas estas contribuições se baseiam em linguagens de descrição de arquitecturas (ADL) como principal pilar de modelização, devido ao poder de expressão muito poderoso das ADL, que permite descrever a arquitetura global de um sistema antes de utilizar técnicas de transformação de modelos e de geração de código para realizar as várias acções relacionadas com cada uma das contribuições. Utilizamos amplamente estas técnicas para maximizar a automatização e reduzir a quantidade de código escrito à mão pelo programador.

Produktdetails

• Verlag: Edições Nosso Conhecimento
• Seitenzahl: 88
• Erscheinungstermin: 22. Februar 2024
• Portugiesisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 149g
• ISBN-13: 9786207187799
• ISBN-10: 6207187792
• Artikelnr.: 70026331

Autorenporträt

Bechir Zalila é professor assistente universitário na Ecole Nationale d'Ingénieurs de Sfax (Universidade de Sfax, Tunísia) desde 2011. Defendeu a sua Habilitação em 28 de maio de 2022.As suas actividades de ensino e investigação centram-se em sistemas distribuídos de tempo real aplicados a sistemas incorporados.