Perpetual Assurances for Self-Adaptive Systems

Weyns, Danny; Bencomo, Nelly; Călinescu, Radu; Cámara, Javier; Ghezzi, Carlo; Grassi, Vincenzo; Grunske, Lars; Inverardi, Paola; Jézéquel, Jean Marc; Malek, Sam; Mirandola, Raffaela; Mori, Marco; Tamburrelli, Giordano

doi:10.1007/978-3-319-74183-3_2

Cited by 59 publications

(37 citation statements)

References 67 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Runtime verification of this stochastic model enables to calculate expected quality properties (e.g., likelihood of failures, expected response times) for different adaptation options, allowing the system to identify system configurations that comply with the required goals and to adapt itself accordingly. 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.…”

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 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

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: A Comparison Of Framework For Timed Samentioning

confidence: 99%

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

“…In the past few years, research in this area has particularly been focussing on how to provide assurances for the adaptation goals of self-adaptive systems that operate under uncertain operating conditions [14,31]. This is particularly important for systems with strict quality goals.…”

Section: Background On Self-adaptationmentioning

confidence: 99%

Self-managing Internet of Things

Weyns

Ramachandran

Singh

2017

SOFSEM 2018: Theory and Practice of Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Internet of Things (IoT) are in full expansion. Applications range from factory floors to smart city environments. IoT applications consist of battery powered small computing devices (motes) that communicate wirelessly and interact with the environment through sensors and actuators. A key challenge that IoT engineers face is how to manage such systems that are subject to inherent uncertainties in their operation contexts, such as interferences and dynamic traffic in the network. Often these uncertainties are difficult to predict at development time. In practice, IoT applications are therefore typically over-provisioned at deployment; however, this leads to inefficiency. In this paper, we make a case for IoT applications that manage themselves at runtime to deal with uncertainties. We contribute: (1) a set of concerns that motivate the need for self-management for IoT systems, (2) three initial approaches that illustrate the potential of realising self-managing IoT systems, and (3) a set of open challenges for future research on self-adaptation in IoT.

show abstract

“…To deal with change, software systems must adapt their structure, behaviour, and security mechanisms [11]. Incomplete knowledge of the physical environment, the uncertainty of human behaviour, the multitude of stakeholders, and changing goals make such adaptation particularly challenging [35].…”

Section: Interoperability One Of the Fundamental Challenges Of Thementioning

confidence: 99%

Feed me, feed me

Bennaceur

McCormick

García-Galán

et al. 2016

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

View full text Add to dashboard Cite

The Internet of Things (IoT) promises to deliver improved quality of life for citizens, through pervasive connectivity and quantified monitoring of devices, people, and their environment. As such, the IoT presents a major new opportunity for research in adaptive software engineering. However, there are currently no shared exemplars that can support software engineering researchers to explore and potentially address the challenges of engineering adaptive software for the IoT, and to comparatively evaluate proposed solutions. In this paper, we present Feed me, Feed me, an exemplar that represents an IoT-based ecosystem to support food security at different levels of granularity: individuals, families, cities, and nations.We describe this exemplar using animated videos which highlight the requirements that have been informally observed to play a critical role in the success or failure of IoTbased software systems. These requirements are: security and privacy, interoperability, adaptation, and personalisation. To elicit a wide spectrum of user reactions, we created these animated videos based on the ContraVision empirical methodology [23], which specifically supports the elicitation of end-user requirements for controversial or futuristic technologies. Our deployment of ContraVision presented our pilot study subjects with an equal number of utopian and dystopian scenarios, derived from the food security domain, and described them at different levels of granularity.Our synthesis of the preliminary empirical findings suggests a number of key requirements and software engineering research challenges in this area. We offer these to the research community, together with a rich exemplar and associated scenarios available in both their textual form in the paper and as a series of animated videos (http://sead1.open.ac.uk/fmfm/). CCS Concepts•Software and its engineering → Software system models; •Social and professional topics → Software selection and adaptation; ACM ISBN 978-1-4503-2138-9.

show abstract

Perpetual Assurances for Self-Adaptive Systems

Cited by 59 publications

References 67 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

Self-managing Internet of Things

Feed me, feed me

Contact Info

Product

Resources

About