Model-Based Simulation at Runtime for Self-Adaptive Systems

Weyns, Danny; Iftikhar, M. Usman

doi:10.1109/icac.2016.67

Cited by 46 publications

(26 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Simulation-based techniques for providing guarantees for self-adaptive systems at runtime have not been well studied yet [72]. A representative work of such a category is the modular approach presented in [73] for decision making in self-adaptive systems. It extends some of the concepts in [61,62] to deal with run-time concerns and account also for probabilistic aspects in behavior to support on-the-fly changes of adaptation goals (changing goals at runtime is a challenging type of uncertainty).…”

Section: Related Workmentioning

confidence: 99%

“…Simulation is less time and resource consuming than exhaustive verification. However, the tradeoff is that the guarantees are bounded to a certain level of accuracy [73]. In spite of these recent advances, managing uncertainty in real-time self-adaptive systems is still an impervious engineering problem.…”

Section: Related Workmentioning

confidence: 99%

“…Probabilistic, nondeterministic and realtime characteristics seem to be essential for modeling self-adaptive systems; however probabilistic models are known to be computationally expensive for execution, which makes them unsuitable for use at runtime, where often decisions have to be made very fast [74]. Runtime simulation-based techniques, such as the approach in [73], have not been well studied yet [72].…”

Section: A Comparison Of Framework For Timed Samentioning

confidence: 99%

See 2 more Smart Citations

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Camilli

Gargantini

Scandurra

2018

Science of Computer Programming

View full text Add to dashboard Cite

Self-adaptive software systems are able to autonomously adapt their behavior at run-time to react to internal dynamics and to uncertain and changing environment conditions. Formal specification and verification of self-adaptive systems are tasks generally very difficult to carry out, especially when involving time constraints. In this case, in fact, the system correctness depends also on the time associated with events.This article introduces the Zone-based Time Basic Petri nets specification formalism. The formalism adopts timed adaptation models to specify self-adaptive behavior with temporal constraints, and relies on a zone-based modeling approach to support separation of concerns. Zones identified during the modeling phase can be then used as modules either in isolation, to verify intra-zone properties, or all together, to verify inter-zone properties over the entire system. In addition, the framework allows the verification of (timed) robustness properties to guarantee self-healing capabilities when higher levels of reliability and availability are required to the system, especially when dealing with time-critical systems. This article presents also the ZAFETY tool, a Java software implementation of the proposed framework, and the validation and experimental results obtained in modeling and verifying two time-critical self-adaptive systems: the Gas Burner system and the Unmanned Aerial Vehicle system.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: A Comparison Of Framework For Timed Samentioning

confidence: 99%

See 1 more Smart Citation

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Camilli

Gargantini

Scandurra

2018

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

“…Historical data only. At one extreme, an adaptation decision can be solely based on the past historical data, e.g., [12][17][28] [29][33] [64]. An issue with such adaptive systems is that there may be no guarantees that the analyses based on historical data will be reified and manifested in the future executions of system.…”

Section: Basis Of Assurance Benchmarkingmentioning

confidence: 99%

“…Service-based systems are widely used in e-commerce, online banking, e-health and many other types of applications. They increasingly rely on self-adaptation to cope with the uncertainties that are often associated with third-party services [6][13] [14][20] [64] as the loose coupling of service-oriented architectures makes online reconfiguration feasible. Hence, the example case is a prototypical application.…”

Section: Domain and General Adaptation Scenariosmentioning

confidence: 99%

Perpetual Assurances for Self-Adaptive Systems

Weyns

Bencomo

Călinescu

et al. 2017

Software Engineering for Self-Adaptive Systems III. Assurances

Self Cite

View full text Add to dashboard Cite

Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplete knowledge to sensor noise and uncertain behavior of humans in the loop. Providing assurances that the self-adaptive system complies with its requirements calls for an enduring process spanning the whole lifetime of the system. In this process, humans and the system jointly derive and integrate new evidence and arguments, which we coined perpetual assurances for self-adaptive systems. In this paper, we provide a background framework and the foundation for perpetual assurances for self-adaptive systems. We elaborate on the concrete challenges of offering perpetual assurances, requirements for solutions, realization techniques and mechanisms to make solutions suitable. We also present benchmark criteria to compare solutions. We then present a concrete exemplar that researchers can use to assess and compare approaches for perpetual assurances for self-adaptation. RQV RSMS A=0.05,E=0.05 RSMC A=0.10,E=0.05 RSMC A=0.05,E=0.10

show abstract

A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems

2021

View full text Add to dashboard Cite

An adaptive system can modify its settings at runtime as a response to changes in its operational environment. To analyse this kind of systems at design time is a difficult task since it requires considering the system together with the adaptation operations, and taking into account how such adaptations act on the system. In order to use simulation-based techniques for the analysis of such systems, we not only need precise executable models of the systems to be analyzed, but also to capture the semantics of their adaptation mechanisms. Given the wide range and flexibility of adaptation operations, we need ways to allow the definition of new operations. We present a flexible approach for the definition and simulation-based analysis in design-time of adaptive component-based systems. Our approach combines an extension of the Palladio component model in e-Motions, a model of the adaptation mechanisms, and elastic requirements specification using the SYBL language. From the model of the system, its adaptation mechanisms, and its requirements, an executable Maude specification is generated for simulation. The application of the approach is illustrated on a use case that comprises some components and adaptations rules. The example is then analyzed using simulations. It is also shown that it is indeed possible to define additional metrics, specify adaptation requirements and rules which conduct simulations of the models in a more flexible way, and that the results of the simulation performed from these definitions can be used to carry on a valuable predictive performance analysis. K E Y W O R D Sadaptation specification, design-time analysis, modeling, self-adaptive behavior, self-adaptive models INTRODUCTIONSoftware architecture has become an essential element in building consistent systems as the size and complexity of software systems have increased. The necessity to take into account not only the overall structure of the system itself but also the allocation, functionality, and communication of the software components became a challenge for building

show abstract

Model-Based Simulation at Runtime for Self-Adaptive Systems

Cited by 46 publications

References 24 publications

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Zone-based formal specification and timing analysis of real-time self-adaptive systems

Perpetual Assurances for Self-Adaptive Systems

A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems

Contact Info

Product

Resources

About