Abstract: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.

Increasing dependability by means of model-based acceptance test inside RTOS

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in C/OS-II: A Case Study

Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study.

Online Model Checking for Dependable Real-Time Systems

Model-based Runtime Verification Framework

Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System

Combining Model Checking and Testing with an Application to Reliability Prediction and Distribution

Integrate Online Model Checking Into Distributed Reconfigurable System On Chip With Adaptable Os Services

Achieving Adaptation for Adaptive Systems Via Runtime Verification: A Model-Driven Approach

Verified Runtime Validation for Partially Observable Hybrid Systems

Reusable formal models for concurrency and communication in custom real-time operating systems

Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness

Quantitative Verification with Adaptive Uncertainty Reduction

Runtime Verification for Trustworthy Computing

Run Time Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems

A Workload Model Based Approach to Evaluate the Robustness of Real-time Operating System

Runtime Verification via Rational Monitor with Imperfect Information

Model-based Verification and Validation of an Autonomous Vehicle System

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation

Technical-Report: Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures

Accelerated Runtime Verification of LTL Specifications with Counting Semantics