Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach
نویسندگان
چکیده
Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Haidian Dstr., Beijing 100190, P. R. China Key Laboratory of High Confidence Software Technologies (MoE), Peking University, Haidian Dstr., Beijing 100871, P. R. China Software Engineering Dept., College of Computer Science and Information Technology, Guangxi Normal University, Guilin, Guangxi 541004, P. R. China
منابع مشابه
Adaptive RBF network control for robot manipulators
TThe uncertainty estimation and compensation are challenging problems for the robust control of robot manipulators which are complex systems. This paper presents a novel decentralized model-free robust controller for electrically driven robot manipulators. As a novelty, the proposed controller employs a simple Gaussian Radial-Basis-Function Network as an uncertainty estimator. The proposed netw...
متن کاملFrom Model-Based Design to Formal Verification of Adaptive Embedded Systems
Adaptation is important in dependable embedded systems to cope with changing environmental conditions. However, adaptation significantly complicates system design and poses new challenges to system correctness. We propose an integrated model-based development approach facilitating intuitive modelling as well as formal verification of dynamic adaptation behaviour. Our modelling concepts ease the...
متن کاملAdaptive Service Composition Based on Runtime Verification of Formal Properties
Service-Oriented Computing (SOC) has been used in business environments in order to integrate heterogeneous systems. The dynamic nature of these environments causes changes in the application requirements. As a result, service composition must be flexible, dynamic and adaptive, which motivate the need to ensure the service composition behavior at runtime. The development of adaptive service com...
متن کاملModel Driven Prediction and Control
Self-adaptive systems are capable of changing their behaviour at runtime to meet target constraints. An important research question is how quality of service models can inform runtime adaptation. We sketch one solution to this question by application of control theory to improve performance of queued systems by means of architectural adaptation. Previous research by our group has shown how Auto...
متن کاملA Model-Driven Approach for Developing Adaptive Software Systems
Context-awareness and adaptation are highly interrelated key concepts to build applications for heterogeneous and dynamic execution environments. While gathering, distribution, abstraction, and management of context is examined in research for several years, development of context-aware, adaptive applications, and the relations between context and adaptation are rarely considered. We present a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1704.00869 شماره
صفحات -
تاریخ انتشار 2017