39,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
payback
20 °P sammeln
  • Broschiertes Buch

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…mehr

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.
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.