Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Achieving Adaptation for Adaptive Systems via Runtime Verification: A
  Model-Driven Approach   Self-adaptive systems (SASs) are capable of adjusting its behavior in
response to meaningful changes in the operational con-text and itself. The
adaptation needs to be performed automatically through self-managed reactions
and decision-making processes at runtime. To support this kind of automatic
behavior, SASs must be endowed by a rich runtime support that can detect
requirements violations and reason about adaptation decisions. Requirements
Engineering for SASs primarily aims to model adaptation logic and mechanisms.
Requirements models will guide the design decisions and runtime behaviors of
sys-tem-to-be. This paper proposes a model-driven approach for achieving
adaptation against non-functional requirements (NFRs), i.e. reliability and
performances. The approach begins with the models in RE stage and provides
runtime support for self-adaptation. We capture adaptation mechanisms as
graphical elements in the goal model. By assigning reliability and performance
attributes to related system tasks, we derive the tagged sequential diagram for
specifying the reliability and performances of system behaviors. To formalize
system behavior, we transform the requirements model to the corresponding
behavior model, expressed by Label Transition Systems (LTS). To analyze the
reliability requirements and performance requirements, we merged the sequential
diagram and LTS to a variable Discrete-Time Markov Chains (DTMC) and a variable
Continuous-Time Markov Chains (CTMC) respectively. Adaptation candidates are
characterized by the variable states. The optimal decision is derived by
verifying the concerned NFRs and reducing the decision space. Our approach is
implemented through the demonstration of a mobile information system.

18
The categories of this paper are: econ
8
The categories of this paper are: hep-ex
21
The categories of this paper are: adap-org
17
The categories of this paper are: q-fin
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
7
The categories of this paper are: hep-th
10
The categories of this paper are: q-bio
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
36
The categories of this paper are: cmp-lg
31
The categories of this paper are: ao-sci
2
The categories of this paper are: math
12
The categories of this paper are: nucl-th
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom