Corpus ID: 201670476

ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems

@article{Weyns2019ActivFORMSAM,
  title={ActivFORMS: A Model-Based Approach to Engineer Self-Adaptive Systems},
  author={Danny Weyns and M. Usman Iftikhar},
  journal={ArXiv},
  year={2019},
  volume={abs/1908.11179}
}
  • Danny Weyns, M. Usman Iftikhar
  • Published in ArXiv 2019
  • Computer Science
  • Handling change is an increasingly important challenge for software engineers. Our focus is on changes caused by uncertainties in the operating conditions of a system, such as changes in the availability of resources in a highly dynamic environment. To deal with such uncertainties, an external feedback loop system can be added to the system that collects additional data during operation to resolve the uncertainties and adapt the system to achieve particular quality requirements (i.e… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 69 REFERENCES

    Engineering Trustworthy Self-Adaptive Software with Dynamic Assurance Cases

    VIEW 5 EXCERPTS

    Uppaal SMC tutorial

    VIEW 25 EXCERPTS
    HIGHLY INFLUENTIAL

    Requirements-driven software evolution

    VIEW 5 EXCERPTS
    HIGHLY INFLUENTIAL

    Dynamic QoS Management and Optimization in Service-Based Systems

    VIEW 10 EXCERPTS
    HIGHLY INFLUENTIAL

    Taming uncertainty in self-adaptive software

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    ProEva: Runtime Proactive Performance Evaluation Based on Continuous-Time Markov Chains

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Robustness-Driven Resilience Evaluation of Self-Adaptive Software Systems

    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL