2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)最新文献_第7页

Enhancing the Smart, Digitized Food Supply Chain through Self-Learning and Self-Adaptive Systems 通过自我学习和自适应系统增强智能数字化食品供应链

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00081

Elia Henrichs

引用次数: 4

Towards an Autonomous, Power-Efficient Base Station for Sensor Data Collection 面向传感器数据收集的自主、节能基站

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00083

Pierre-Louis Sixdenier

引用次数: 1

Towards Scalable Manycore-Aware Persistent B+- Trees for Efficient Indexing in Cloud Environments 面向云环境中高效索引的可扩展多核感知持久性B+树

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00022

Safdar Jamil, Awais Khan, Bernd Burastaller, Youngjae Kim

{"title":"Towards Scalable Manycore-Aware Persistent B+- Trees for Efficient Indexing in Cloud Environments","authors":"Safdar Jamil, Awais Khan, Bernd Burastaller, Youngjae Kim","doi":"10.1109/ACSOS-C52956.2021.00022","DOIUrl":"https://doi.org/10.1109/ACSOS-C52956.2021.00022","url":null,"abstract":"The emergence of manycore machines with Intel DC Persistent Memory (DCPM) aims to provide high performance and scalability with persistence guarantees. Thus, it is required to offer opportunities to port DRAM-based index data structures to DCPM to fully exploit the performance of these machines. Fast & Fair (F&F) is the state-of-the-art concurrent variant of the B+ -tree for DCPM. However, its adoption on manycore machines suffers from scalability limitations due to lengthy, lock-based synchronization including structure modification operations (SMOs). In this work, we propose F3 -tree, a concurrent, persistent future-based B+-tree that shows superior scalability on DCPMs. F3 -tree design relies on thread-local future objects and a global B+ -tree. We employ an in-memory hash table to mitigate the read overhead for the key searches in thread-local future objects. We implemented the proposed ideas atop F &F and performed experiments on Linux (kernel v5.4.0) using both synthetic and real-world workloads. We evaluated F3 -tree with F &F and the results show that F3 -tree outperforms F &F by 3.4x on average for sequential, random, and mixed workloads.","PeriodicalId":268224,"journal":{"name":"2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115597883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Lightweight and Reconfigurable Security Architecture for Internet of Things devices 面向物联网设备的轻量级可重构安全架构

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00082

Armin Babaei

引用次数: 2

Q-Spark: QoS Aware Micro-batch Stream Processing System Using Spark Q-Spark:基于Spark的QoS感知微批流处理系统

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00027

Suyeon Lee, Yeonwoo Jeong, Minwoo Kim, Sungyong Park

{"title":"Q-Spark: QoS Aware Micro-batch Stream Processing System Using Spark","authors":"Suyeon Lee, Yeonwoo Jeong, Minwoo Kim, Sungyong Park","doi":"10.1109/ACSOS-C52956.2021.00027","DOIUrl":"https://doi.org/10.1109/ACSOS-C52956.2021.00027","url":null,"abstract":"Unlike the event-driven stream processing systems, the micro-batch stream processing systems collect input data for a certain period of time before processing. This is because they focus on improving the throughput of the entire system rather than reducing the latency of each data. However, ingesting a continuous stream of data and its real-time analysis is also necessary in micro-batch stream processing systems where reducing the latency is more important than improving the throughput. This paper presents Q-Spark, a QoS (Quality of Service) aware micro-batch stream processing system that is implemented on Apache Spark. The main idea of Q - Spa rk design is to set a deadline time for each query and dynamically adjust the batch size so as not to exceed it. Since Q - Spa r k executes a micro-batch by buffering as much as possible until the deadline set for each query is exceeded, it guarantees the QoS requirement of each query while maintaining the throughput as much as the original Spark batching mechanism. Experimental results show that the tail latency of Q - Spa rk is always bound to the deadline compared to the original Spark where data is buffered using triggers for a certain period. As a result, Q - Spa r k reduces the tail latency per query by up to 75%, while maintaining the throughput stably compared to the original Spark without the concept of a deadline.","PeriodicalId":268224,"journal":{"name":"2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128064595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

4th International Workshop on Self-Organized Construction (SOCO 2021) [Organizing Committee and Program Committee] 第四届自组织建筑国际研讨会(SOCO 2021)[组委会及项目委员会]

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/acsos-c52956.2021.00017

引用次数: 0

Interactive Methodology to Iteratively Add Functionality to Swarm Programs 交互式方法迭代地为群程序添加功能

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00037

Daniel W. Palmer, Ryan Houghtaling, M. Kirschenbaum, Morgan Might

引用次数: 0

Applying Security-Awareness to Service-Based Systems 将安全意识应用于基于服务的系统

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-09-01 DOI: 10.1109/ACSOS-C52956.2021.00041

Sharmin Jahan, R. Gamble

引用次数: 0

Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness 具有后退视界的混合规划:元自我意识的案例

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-08-25 DOI: 10.1109/ACSOS-C52956.2021.00045

Sona Ghahremani, H. Giese

{"title":"Hybrid Planning with Receding Horizon: A Case for Meta-self-awareness","authors":"Sona Ghahremani, H. Giese","doi":"10.1109/ACSOS-C52956.2021.00045","DOIUrl":"https://doi.org/10.1109/ACSOS-C52956.2021.00045","url":null,"abstract":"The trade-off between the quality and timeliness of adaptation is a multi-faceted challenge in engineering self-adaptive systems. Obtaining adaptation plans that fulfill system objectives with high utility and in a timely manner is the holy grail, however, as recent research revealed, it is not trivial. Hybrid planning is concerned with resolving the time and quality tradeoff via dynamically combining multiple planners that individually aim to perform either timely or with high quality. The choice of the most fitting planner is steered based on assessments of runtime information. A hybrid planner for a self-adaptive system requires (i) a decision-making mechanism that utilizes (ii) system-level as well as (iii) feedback control-level information at runtime. In this paper, we present Hypezon, a hybrid planner for self-adaptive systems. Inspired by model predictive control, Hypezon leverages receding horizon control to utilize runtime information during its decision-making. Moreover, we propose to engineer Hypezon for self-adaptive systems via two alternative designs that conform to meta-self-aware architectures. Meta-self-awareness allows for obtaining knowledge and reasoning about own awareness via adding a higher-level reasoning entity. Hypezon aims to address the problem of hybrid planning by considering it as a case for meta-self-awareness.","PeriodicalId":268224,"journal":{"name":"2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116730410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns 用规范模式映射控制理论和软件工程属性

2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C) Pub Date : 2021-08-18 DOI: 10.1109/ACSOS-C52956.2021.00067

Ricardo Caldas, Razan Ghzouli, A. Papadopoulos, Patrizio Pelliccione, Danny Weyns, T. Berger

{"title":"Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns","authors":"Ricardo Caldas, Razan Ghzouli, A. Papadopoulos, Patrizio Pelliccione, Danny Weyns, T. Berger","doi":"10.1109/ACSOS-C52956.2021.00067","DOIUrl":"https://doi.org/10.1109/ACSOS-C52956.2021.00067","url":null,"abstract":"A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control theory (CT) provides a well-established foundation for designing feedback loop systems and providing guarantees for essential properties, such as stability, settling time, and steady state error. Currently, it is an open question whether and how traditional SE approaches to self-adaptation consider properties from CT. Answering this question is challenging given the principle differences in representing properties in both fields. In this paper, we take a first step to answer this question. We follow a bottom up approach where we specify a control design (in Simulink) for a case inspired by Scuderia Ferrari (F1) and provide evidence for stability and safety. The design is then transferred into code (in C) that is further optimized. Next, we define properties that enable verifying whether the control properties still hold at code level. Then, we consolidate the solution by mapping the properties in both worlds using specification patterns as common language and we verify the correctness of this mapping. The mapping offers a reusable artifact to solve similar problems. Finally, we outline opportunities for future work, particularly to refine and extend the mapping and investigate how it can improve the engineering of self-adaptive systems for both SE and CT engineers.","PeriodicalId":268224,"journal":{"name":"2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127887381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1