Modelação arquitetónica para sistemas TR2E [Portuguese]

By Bechir Zalila

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.

• Format: Paperback
• Language: Portuguese
• ISBN: 6207187792
• ISBN13: 9786207187799
• Release Date: February 2024
• Publisher: Edicoes Nosso Conhecimento
• Length: 88 Pages
• Weight: 0.31 lbs.
• Dimensions: 0.2" x 6.0" x 9.0"