| 1. |
- Iftikhar, Muhammad Usman, et al.
(författare)
-
DeltaIoT : A Self-Adaptive Internet of Things Exemplar
- 2017
-
Ingår i: Proceedings - 2017 IEEE/ACM 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2017. - : IEEE. - 9781538615508 ; , s. 76-82
-
Konferensbidrag (refereegranskat)abstract
- Internet of Things (IoT) consists of networked tiny embedded computers (motes) that are capable of monitoring and controlling the physical world. Examples range from building security monitoring to smart factories. A central problem of IoT is minimising the energy consumption of the motes, while guaranteeing high packet delivery performance, regardless of uncertainties such as sudden changes in traffic load and communication interference. Traditionally, to deal with uncertainties the network settings are either hand-tuned or over-provisioned, resulting in continuous network maintenance or inefficiencies. Enhancing the IoT network with self-adaptation can automate these tasks. This paper presents DeltaIoT, an exemplar that enables researchers to evaluate and compare new methods, techniques and tools for self-adaptation in IoT. DeltaIoT is the first exemplar for research on self-adaptation that provides both a simulator for offline experimentation and a physical setup that can be accessed remotely for real-world experimentation. © 2017 IEEE.
|
|
| 2. |
- Weyns, Danny, et al.
(författare)
-
Applying architecture-based adaptation to automate the management of internet-of-things
- 2018
-
Ingår i: 12th European Conference on Software Architecture, ECSA 2018. - Cham : Springer. - 9783030007607 ; , s. 449-467
-
Konferensbidrag (refereegranskat)abstract
- Architecture-based adaptation equips a software-intensive system with a feedback loop that enables the system to adapt itself at runtime to changes to maintain its required quality goals. To guarantee the required goals, existing adaptation approaches apply exhaustive verification techniques at runtime. However these approaches are restricted to small-scale settings, which often limits their applicability in practice. To tackle this problem, we introduce an innovative architecture-based adaptation approach to solve a concrete practical problem of VersaSense: automating the management of Internet-of-Things (IoT). The approach, called MARTAS, equips a software system with a feedback loop that employs Models At Run Time and Statistical techniques to reason about the system and adapt it to ensure the required goals. We apply MARTAS to a building security case system, which is a representative IoT system deployed by VersaSense. The application comprises a set of IoT devices that communicate sensor data over a time synchronized smart mess network to a central monitoring facility. We demonstrate how MARTAS outperforms a conservative approach that is typically applied in practice and a state-of-the-art adaptation approach for different quality goals, and we report lessons learned from this industrial case. © Springer Nature Switzerland AG 2018.
|
|
| 3. |
-
7th IEEE International Conference on Software Engineering (ICSE), 2015 IEEE/ACM 3 (Volume:2 )
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- Cyber-physical system (CPS) have been recognized as a top-priority in research and development. The innovations sought for CPS demand them to deal effectively with dynamicity of their environment, to be scalable, adaptive, tolerant to threats, etc. -- i.e. they have to be smart. Although approaches insoftware engineering (SE) exist that individually meet these demands, their synergy to address the challenges of smart CPS (sCPS) in a holistic manner remains an open challenge. The workshop focuses on software engineering challenges for sCPS. The goals are to increase the understanding of problems of SE for sCPS, study foundational principles for engineering sCPS, and identify promising SE solutions for sCPS. Based on these goals, the workshop aims to formulate a research agenda for SE of sCPS.
|
|
| 4. |
- Abbas, Nadeem, 1980-, et al.
(författare)
-
ASPLe : a methodology to develop self-adaptive software systems with systematic reuse
- 2020
-
Ingår i: Journal of Systems and Software. - : Elsevier. - 0164-1212 .- 1873-1228. ; 167, s. 1-19
-
Tidskriftsartikel (refereegranskat)abstract
- More than two decades of research have demonstrated an increasing need for software systems to be self-adaptive. Self-adaptation is required to deal with runtime dynamics which are difficult to predict before deployment. A vast body of knowledge to develop Self-Adaptive Software Systems (SASS) has been established. We, however, discovered a lack of process support to develop self-adaptive systems with reuse. To that end, we propose a domain-engineering based methodology, Autonomic Software Product Lines engineering (ASPLe), which provides step-by-step guidelines for developing families of SASS with systematic reuse. The evaluation results from a case study show positive effects on quality and reuse for self-adaptive systems designed using the ASPLe compared to state-of-the-art engineering practices.
|
|
| 5. |
- Abbas, Nadeem, 1980-, et al.
(författare)
-
Knowledge evolution in autonomic software product lines
- 2011
-
Ingår i: SPLC '11 Proceedings of the 15th International Software Product Line Conference, Volume 2. - New York, NY, USA : ACM Press. - 9781450307895 ; , s. 36:1-36:8
-
Konferensbidrag (refereegranskat)abstract
- We describe ongoing work in knowledge evolution management for autonomic software product lines. We explore how an autonomic product line may benefit from new knowledge originating from different source activities and artifacts at run time. The motivation for sharing run-time knowledge is that products may self-optimize at run time and thus improve quality faster compared to traditional software product line evolution. We propose two mechanisms that support knowledge evolution in product lines: online learning and knowledge sharing. We describe two basic scenarios for runtime knowledge evolution that involves these mechanisms. We evaluate online learning and knowledge sharing in a small product line setting that shows promising results.
|
|
| 6. |
- Abbas, Nadeem, 1980-, et al.
(författare)
-
Modeling Variability in Product Lines Using Domain Quality Attribute Scenarios
- 2012
-
Ingår i: Proceedings of the WICSA/ECSA 2012 Companion Volume. - New York, NY, USA : ACM Press. - 9781450315685 ; , s. 135-142
-
Konferensbidrag (refereegranskat)abstract
- The concept of variability is fundamental in software product lines and a successful implementation of a product line largely depends on how well domain requirements and their variability are specified, managed, and realized. While developing an educational software product line, we identified a lack of support to specify variability in quality concerns. To address this problem we propose an approach to model variability in quality concerns, which is an extension of quality attribute scenarios. In particular, we propose domain quality attribute scenarios, which extend standard quality attribute scenarios with additional information to support specification of variability and deriving product specific scenarios. We demonstrate the approach with scenarios for robustness and upgradability requirements in the educational software product line.
|
|
| 7. |
- Abbas, Nadeem, et al.
(författare)
-
Rigorous architectural reasoning for self-adaptive software systems
- 2016
-
Ingår i: Proceedings. - : IEEE. - 9781509021314 ; , s. 11-18
-
Konferensbidrag (refereegranskat)abstract
- Designing a software architecture requires architectural reasoning, i.e., activities that translate requirements to an architecture solution. Architectural reasoning is particularly challenging in the design of product-lines of self-adaptive systems, which involve variability both at development time and runtime. In previous work we developed an extended Architectural Reasoning Framework (eARF) to address this challenge. However, evaluation of the eARF showed that the framework lacked support for rigorous reasoning, ensuring that the design complies to the requirements. In this paper, we introduce an analytical framework that enhances eARF with such support. The framework defines a set of artifacts and a series of activities. Artifacts include templates to specify domain quality attribute scenarios, concrete models, and properties. The activities support architects with transforming requirement scenarios to architecture models that comply to required properties. Our focus in this paper is on architectural reasoning support for a single product instance. We illustrate the benefits of the approach by applying it to an example client-server system, and outline challenges for future work. © 2016 IEEE.
|
|
| 8. |
|
|
| 9. |
-
Agent Environments for Multi-Agent Systems IV : 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers
- 2015
-
Proceedings (redaktörskap) (refereegranskat)abstract
- This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Environments for Multiagent Systems, E4MAS 2014 - 10 years later, held in Paris, France, in May 2014 as an associated event of AAMAS 2014, the 13th International Conference on Autonomous Agents and Multiagent Systems.The 6 revised full papers presented together with 1 roadmap paper and 7 invited papers were carefully reviewed and selected from 14 initial submissions. The papers are organized in topical sections on connecting agents, environments, and humans; environments for complex and stigmergic systems; virtual and simulated environments; and open agent environments and interoperability.
|
|
| 10. |
|
|
