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

Bucket

Evocative

盡責(zé)

headlong

STEER

猜忌

https://doi.org/10.1007/978-3-8349-8070-0he flexibility and scope of the system adaptability, and to the accuracy of the assurance results. We group control models in three main classes that depend on the kind of supported assurance that may be checked either at design or runtime. Controllers that support assurance of the control models at

AUGUR

和諧

Probabilistic Verification at Runtime for Self-Adaptive Systemsl formulae. In particular, the paper discusses the use of probabilistic model checking at run-time for self-adaptive systems by surveying and comparing the existing approaches divided in two categories: state-elimination algorithms and algebra-based algorithms. The discussion is supported by a reali

commensurate

Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architecturesmal basis. If heterogeneous multi-agent systems with self-* properties are modeled so that relies are implied by the other components’ guarantees, it is possible to formally verify correct system behavior. When using observer/controller architectures the approach also allows systematic decomposition

menopause