Items related to Architectural Modeling for TR2E Systems: Contributions...
Architectural Modeling for TR2E Systems: Contributions to Dynamic Configuration, Fault Tolerance, Optimization and Formal Verification - Softcover
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.
"synopsis" may belong to another edition of this title.
Search results for Architectural Modeling for TR2E Systems: Contributions...
Stock Image
Architectural Modeling for TR2E Systems
Published by
Our Knowledge Publishing Feb 2024, 2024
ISBN 10: 6207187768
ISBN 13: 9786207187768
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 84 pp. Englisch. Seller Inventory # 9786207187768
Seller Image
Architectural Modeling for TR2E Systems : Contributions to Dynamic Configuration, Fault Tolerance, Optimization and Formal Verification
Published by
Our Knowledge Publishing, 2024
ISBN 10: 6207187768
ISBN 13: 9786207187768
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9786207187768
Seller Image
Architectural Modeling for TR2E Systems
Published by
Our Knowledge Publishing Feb 2024, 2024
ISBN 10: 6207187768
ISBN 13: 9786207187768
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 84 pp. Englisch. Seller Inventory # 9786207187768