{"product_id":"architectural-modeling-for-tr2e-systems-von-bechir-zalila","title":"Architectural Modeling for TR2E Systems","description":"\u003cp\u003eIn 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786207187768\"\u003e\u003ch3\u003eContributions to Dynamic Configuration, Fault Tolerance, Optimization and Formal Verification\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786207187768","offer_id":47687037649221,"sku":"9786207187768","price":60.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/6a724c4f-3a73-4166-b802-2f48f1d826a8.jpg?v=1760330085","url":"https:\/\/shop.autorenwelt.de\/products\/architectural-modeling-for-tr2e-systems-von-bechir-zalila","provider":"Autorenwelt Shop","version":"1.0","type":"link"}