Articles liés à Architectural Modeling for TR2E Systems: Contributions...

Architectural Modeling for TR2E Systems: Contributions to Dynamic Configuration, Fault Tolerance, Optimization and Formal Verification - Couverture souple

Zalila, Bechir

 
9786207187768: Architectural Modeling for TR2E Systems: Contributions to Dynamic Configuration, Fault Tolerance, Optimization and Formal Verification
Couverture souple
ISBN 10 : 6207187768 ISBN 13 : 9786207187768
Editeur : Our Knowledge Publishing, 2024

Synopsis

In this thesis, we describe the main contributions of our research activities. These activities fall within the theme of software architectures in an embedded distributed real-time context (TR2E). Four main contributions are described: dynamic reconfiguration, fault tolerance, multi-objective optimization and formal verification of TR2E systems. All these contributions are based on architecture description languages (ADLs) as the main modelling pillar. This is due to the very powerful expressive power of ADLs, which enable the global architecture of a system to be described before using model transformation and code generation techniques to carry out the various actions relating to each of the contributions. We make extensive use of these techniques to maximize automation and reduce the amount of code written by hand by the developer.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Our Knowledge Publishing
Date d'édition
2024
Langue
anglais
ISBN 10 
6207187768
ISBN 13 
9786207187768
Reliure
Broché
Nombre de pages
84
Coordonnées du fabricant
non disponible
Personne responsable
non disponible