Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification

Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano

doi:10.1007/978-1-4471-2297-5_12

Cited by 5 publications

(3 citation statements)

References 46 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…the taxonomy of uncertainty in [13]), type of adaptation required (cf. the SBS adaptations from, e.g., [2]- [4], [8], [10]), and type(s) of requirements that these adaptations aim to meet. Within these scenarios, we propose the evaluation and comparison of different self-adaptation solutions based on quality attributes and metrics described in [14] and summarised in Table II. …”

Section: Fig 1 Tas Workflowmentioning

confidence: 99%

“…TAS was originally introduced in [2], and has the advantage that it has already been used in the evaluation of several self-adaptation solutions [3], [4], [8], [10], albeit based on ad-hoc implementations, scenarios and evaluation metrics that make the comparison of these solutions and its use to evaluate other solutions very difficult. To address these limitations, we implemented TAS using our new Research Service Platform (ReSeP 1 ), and we propose predefined concrete scenarios for its immediate use in the evaluation of self-adaptation solutions.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Tele Assistance: A Self-Adaptive Service-Based System Exemplar

Weyns

Călinescu

2015

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

View full text Add to dashboard Cite

Abstract-Research on adaptive and self-managing systems is hindered by a lack of prototypical applications that researchers could use to evaluate and compare new methods, techniques and tools. To address this limitation, we introduce a reference implementation of a Tele Assistance System (TAS) for research on self-adaptation in the domain of service-based systems. Our TAS exemplar of service-based systems comes with pre-defined scenarios for comparing the effectiveness of different self-adaptation solutions. Other researchers can easily exploit the underlying service platform, reusable components and development method we devised for TAS to speed up the engineering of additional research exemplars for service-based systems.

show abstract

Section: Fig 1 Tas Workflowmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Tele Assistance: A Self-Adaptive Service-Based System Exemplar

Weyns

Călinescu

2015

2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

View full text Add to dashboard Cite

show abstract

“…This research has been partially funded by the European Commission, Programme IDEAS-ERC, Project 227977-SMScom. Other publications of the author include [10,4,7,3,12,13,11]. He is also co-author of the Dagstuhl proceedings book "Model Driven Quality Prediction" (Springer ed.…”

Section: Acknowledgmentsmentioning

confidence: 99%