Titlebook: Assurances for Self-Adaptive Systems; Principles, Models, Javier Cámara,Rogério Lemos,Antónia Lopes Book 2013 Springer-Verlag Berlin Heide

Corrugate

書目名稱Assurances for Self-Adaptive Systems影響因子(影響力)




書目名稱Assurances for Self-Adaptive Systems影響因子(影響力)學(xué)科排名




書目名稱Assurances for Self-Adaptive Systems網(wǎng)絡(luò)公開度




書目名稱Assurances for Self-Adaptive Systems網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Assurances for Self-Adaptive Systems被引頻次




書目名稱Assurances for Self-Adaptive Systems被引頻次學(xué)科排名




書目名稱Assurances for Self-Adaptive Systems年度引用




書目名稱Assurances for Self-Adaptive Systems年度引用學(xué)科排名




書目名稱Assurances for Self-Adaptive Systems讀者反饋




書目名稱Assurances for Self-Adaptive Systems讀者反饋學(xué)科排名

FLORA

Verification of a Self-configuration Protocol for Distributed Applications in the Cloudsetting up, (re)configuring, and monitoring these applications is a real burden since a software application may depend on several remote software and virtual machine configurations. These management tasks involve many complex protocols, which fully automate these tasks while preserving application

保守黨

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architecturessystems make autonomous decisions, their behavior is hard to predict. Without behavioral guarantees their acceptance, especially in safety critical applications, is arguable. This chapter presents a rigorous specification and verification approach for self-* systems that allows giving behavioral gua

金桌活畫面

Timed Hazard Analysis of Self-healing Systems failures by a structural reconfiguration of the architecture during runtime. This means the exchange of components or the modification of the components’ connections, in order to avoid that a failure results in a hazard. This reaction is subject to hard real-time constraints because reacting too la

黑豹

Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML mechatronic systems). Software will build communities of autonomous agents at runtime which exploit local and global networking to enhance and optimize their functionality leading to self-adaptation or self-optimization. However, current development techniques are not capable of providing the safet

leniency

Model-Based Reasoning for Self-Adaptive Systems – Theory and Practices a demanding task. This holds especially in the case where systems heavily interact with their environment. Even in case that the most common faults can be handled, it is very unlikely to capture all possible faults or interaction patterns at development time. As a consequence self-adaptive systems

方舟

Achieving Self-adaptation through Dynamic Group Managementcy response. In all these applications high volumes of typically volatile software components need to coordinate and collaborate to achieve a common goal, given a defined set of constraints..In our A-3 initiative we advocate that the coordination of high volumes of volatile components can be simplif

有角

大方一點(diǎn)

OASIS

Emerging Techniques for the Engineering of Self-Adaptive High-Integrity Softwarens may lead to financial loss or loss of life. Many of these software systems need to deliver not only high integrity but also self adaptation to the continual changes that characterise such application areas. A challenge long solved by control theory for continuous-behaviour systems was thus reopen