Architectural Modeling for TR2E Systems
Contributions to Dynamic Configuration, Fault Tolerance, Optimization and Formal Verification
Versandkostenfrei!
Versandfertig in 6-10 Tagen
40,99 €
inkl. MwSt.
PAYBACK Punkte
20 °P sammeln!
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 ...
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.
Andere Kunden interessierten sich für
