2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)最新文献

{"title":"Self-Organized Linear and Helicoidal Ramps in Insect Nests","authors":"Lijie Guo, G. Theraulaz, C. Jost, A. Perna","doi":"10.1109/FAS-W.2016.42","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.42","url":null,"abstract":"The nests built by termites of the genus Apicotermes present a regular succession of floors interconnected by vertical passages. By scanning these nests with X-ray tomography we observed that two different configurations of vertical passages coexist: ramps and helices. Based on our current knowledge of the mechanisms of nest building behaviour in different groups of social insects we formulate hypotheses about the mechanisms that could lead to the formation of these structures. In particular, we show that a 3D model of nest building in Lasius niger ants (Khuong et al, 2016) is capable of producing layered structures with vertical helices similar to the structures built by Apicotermes by simply running it with parameters different from those empirically measured for ants. It is possible that similar self-organised building mechanisms underlie the construction of the different nest structures produced by different groups of social insects.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124077688","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}

{"title":"Design Quality Assessment and Resolution in Software Intensive Systems","authors":"D. Schall","doi":"10.1109/FAS-W.2016.33","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.33","url":null,"abstract":"Typical software systems in various domains such as the healthcare or industry domain can consist of millions lines of code and a large set of packages and components interrelated to each other. To ensure that the entire system satisfies various nonfunctional requirements such as safety, robustness, efficiency, and maintainability, software analysis tools and techniques help to detect design deficits that could have negative impact on software quality. Software assessment is performed by analysing the source code of a particular product or a product line. This paper discusses how tool-based design quality assessment can be applied to continuously measure software quality in an industrial context. In large software intensive systems, software quality must be measured in an automated manner helping detect design deficits at an early stage in the software development cycle. This work presents a case study of design quality assessment in a real world industrial system.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123657888","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}

{"title":"Vascular Morphogenesis Controller: A Distributed Controller for Growing Artificial Structures","authors":"Payam Zahadat, D. Hofstadler, T. Schmickl","doi":"10.1109/FAS-W.2016.66","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.66","url":null,"abstract":"It is a challenging task to develop morphologies of structures in response to dynamic environmental factors and constraints. In the context of the EU-funded project flora robotica [1] we are interested in developing selforganized methods that combine local considerations and global requirements and drive the development of structures. Embryogenetic development of biological organisms and cell differentiation are studied for a long time in evolutionary developmental biology (EvoDevo) [2], [3]. Some of the mechanisms from that field are already applied to pattern formation [4] and development of body morphologies [5], [6] and controllers [7] in evolutionary robotics [8] and modular robotics [9]. In this work, vascular system and branching dynamics of plants are used as the source of inspiration for designing a novel algorithm called \"Vascular Morphogenesis Controller\" (VMC) that is applied to morphological development of modular structures. Plant vessels develop in the stems and roots. They transport water and minerals from the roots to the leaves, and sugars and photosynthates from the leaves to other parts of the plant [10]. There are evidences [11], [12] suggesting that there is a competition between different branches over the vascular growth. The branches that are in better situations (e.g., get more light) produce more photosynthates that flow back from the leaves. The higher flow rate leads to more vascular tissues in the branch and therefore more water and minerals from the roots reach the branch. More water and minerals facilitate the growth of the branch and the branch may end up in an even better situation which in turn reinforces the growth. Different branches with their different local conditions compete over production of new vessels. On the other hand, global resources (i.e., water) are limited and the vessels are subject to degradation as well. Based on the positive and negative feedback loops established by this competition and limitation, a dynamic system of vessels shape the growth of the plants.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121733622","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}

{"title":"A Dynamic Message-Aware Communication Scheduler for Ceph Storage System","authors":"Yunjung Han, Kwonyong Lee, Sungyong Park","doi":"10.1109/FAS-W.2016.25","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.25","url":null,"abstract":"With the proliferation of cloud computing technologies, the Ceph, a distributed object-based storage system has been an attractive alternative to building a storage backend due to its excellent performance, reliability, and scalability. As the storage system processes huge amount data and the network traffic generated from the cloud increases rapidly, designing a high-performance messenger in the storage system has created a lot of challenging issues. Although the async messenger, one of the Ceph's messengers, is known to be efficient and flexible, it contains several performance problems due to its simple round-robin based scheduling scheme that assigns a connection to a worker thread without any consideration for the amount of workloads transferred through the connections. This causes the imbalance of worker threads and adversely affects the performance of the Ceph storage system. This paper proposes a dynamic message-aware communication scheduler for Ceph storage system that balances the workloads of worker threads based on the types of incoming messages, while avoiding unnecessary connection movements among worker threads. We use genetic algorithm (GA) to solve this problem and implement the proposed scheduling algorithm using the async messenger. The benchmarking results show that the proposed approach outperforms the original async messenger by as much as 12.5% under the same workload from clients and 24% under the random workloads from clients.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131901105","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}

{"title":"A Self-Adaptive Middleware for Attaining Semantic Self-Interoperation Property","authors":"Kamaleddin Yaghoobirafi, E. Nazemi","doi":"10.1109/FAS-W.2016.70","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.70","url":null,"abstract":"Developing specific standards and taxonomies and their enforcement for data exchange is a common approach applied by many regulators all around the word. Although these standards and taxonomies can enhance the interoperability and understandability of information to a significant extent, they are limited to a specific scope. This limitation arises the need for extending these taxonomies and standards. The differences between various extended taxonomies and between a base taxonomy/standard and others, can itself become an interoperability bottleneck. The majority of existing researches for this issue, concentrate on only mappings for overcoming inconsistencies between information elements. These mappings usually involve complex and inaccurate transformations to ontologies. However, in this research, it is intended to utilize the capabilities of autonomic computing and self-adaptation paradigm to overcome interoperability challenges. In order to make use of autonomic computing in field of semantic interoperability, a new self-* property named self-interoperation is introduced and a self-adaptive middleware is proposed in order to achieve it. For this purpose, MAPE-K loop is utilized for overcoming Interoperability challenges through actualizing this loop for domain of self-interoperation. Moreover, many required contributions for enabling this loop are considered. All of these contributions are novel approaches, which include all the necessary steps for applicable adaptation to inconsistencies and enhancement of interoperability. Indeed, this research can lead to development of a new research area related to fields of self-adaptation and interoperability. The contributions will be evaluated by selecting well-known taxonomies and instances from actual applications.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123130469","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}

{"title":"Bitcoin and the Myth of Decentralization: Socio-technical Proposals for Restoring Network Integrity","authors":"A. Ekblaw, Chelsea Barabas, Jonathan Harvey-Buschel, A. Lippman","doi":"10.1109/FAS-W.2016.18","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.18","url":null,"abstract":"Since 2009, the Bitcoin open-source software project has established a commanding presence in the digital currency space as a self-organizing, distributed system. The project stems from a long history of efforts to harness decentralization and progressive cryptography for social good, as espoused by the ethos of the Cypherpunks mailing list on which Bitcoin was first released. However, certain design choices in Bitcoin's core protocol have led to consolidation of the peer-to-peer nodes, rather than greater diversification, thus threatening system integrity. In this position paper, we explore the socio-technical limits that challenge Bitcoin's ability to remain fully decentralized and \"self-contained\" as an algorithmically governed system. The need to integrate into existing human systems and infrastructures complicates the project's original vision. We propose hardware, software and electricity management modifications to the broader Bitcoin ecosystem, recognizing the need for socio-inspired design strategies to revive network integrity. We then use Bitcoin as an example to discuss the fundamental limitations of \"pure decentralization\" and algorithmic self-governance.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129536917","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}

{"title":"Enabling User-Policy-Confined VM Migration in Trusted Cloud Computing","authors":"Chuanwang Hou, Chenlin Huang, Huadong Dai, Yan Ding, Ligang He, Mengluo Ji","doi":"10.1109/FAS-W.2016.26","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.26","url":null,"abstract":"The trusted cloud environment model, based on the trusted computing technology, provides cloud users the capabilities to remotely attest the trustworthiness of cloud service. But unlike physical machine, the virtual machine is migratory among cloud nodes constantly which makes it hard for cloud users to guarantee the Virtual Machine (VM) is running in a trusted cloud node and its migration is consistent with user's policy. Since the migration operation is entirely transparent to cloud users, it is hard for them to launch the remote attestation with the existing remote attestation scheme. To guarantee the migration of VMs is consistent with user's policy, we propose a User-Policy-Confined VM Migration Protocol (UVMP), which provides a new attestation scheme that addresses the limitation and enables VM migration to be controllable and verifiable by cloud users by introducing the Ciphertext-Policy AttributeBased Encryption(CP-ABE) into attestation field. To demonstrate that UVMP is practical, we incorporate it in the Xen opensource virtualization platform and implement UTVMS: UserPolicy-Confined Trusted VM Migration System. Our evaluation suggests that the attestation scheme cannot lead to the obvious performance on the VM migration by analyzing the migration latency. The attestation scheme can provide greater flexibility for cloud users to control their own VM migration.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129870018","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}

{"title":"Run-Time Management of Computation Domains in Field Calculus","authors":"Giorgio Audrito, Ferruccio Damiani, Mirko Viroli, Roberto Casadei","doi":"10.1109/FAS-W.2016.50","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.50","url":null,"abstract":"The field calculus is proposed as a foundational model for collective adaptive systems, capturing in a tiny language essential aspects of distributed interaction, restriction and evolution, as well as providing ground for engineering resiliency properties. In this paper, we investigate the interplay between interaction and restriction: known as \"domain alignment\" in field calculus, it is extremely powerful but can cause subtle bugs when not handled properly. We propose a disciplined programming approach based on the interplay between a weak and a strong version of alignment, mixing static and dynamic checks. This is exemplified to design a new reusable component dynamically updating the strategy by which a device can extract information from neighbours, which find applications, for instance, in the on-the-fly evolution of metrics in smart mobility applications.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114561262","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}

{"title":"Distributed Machine Learning with Self-Organizing Mobile Agents for Earthquake Monitoring","authors":"S. Bosse","doi":"10.1109/FAS-W.2016.38","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.38","url":null,"abstract":"Ubiquitous computing and The Internet-of-Things (IoT) raises rapidly in today's life and is becoming part of self-organizing systems (SoS). A unified and scalable information processing and communication methodology using mobile agents is presented to merge the IoT with Mobile and Cloud environments seamless. A portable and scalable Agent Processing Platform (APP) is an enabling technology that is central for the deployment of Multi-agent Systems (MAS) in strong heterogeneous networks including the Internet. A large-scale distributed heterogeneous seismic sensor and geodetic network used for earthquake analysis is one example, which can be extended by ubiquitous sensing devices like smart phones. To simplify the development and deployment of MAS in the Internet domain agents are directly implemented in JavaScript (JS). The proposed JS Agent Machine (JAM) is an enabling technology. It is capable to execute AgentJS agents in a sandbox environment with full run-time protection, low-resource requirements, and Machine Learning as a service. A simulation of a seismic network and real earthquake data demonstrates the deployment of the JAM platform. Different (mobile) agents perform sensor sensing, aggregation, local learning and prediction, global voting, and the application.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114760152","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}

{"title":"A Framework for Adaptive and Goal-Driven Behaviour Control of Multi-robot Systems","authors":"Christopher-Eyk Hrabia","doi":"10.1109/FAS-W.2016.67","DOIUrl":"https://doi.org/10.1109/FAS-W.2016.67","url":null,"abstract":"Robot and multi-robot systems are leaving the friendly well-structured world of automation and are facing the challenges of a dynamic world. Such uncertain conditions call for a high degree of robustness and adaptivity for individual robots as well as for the organization of multi-robot systems. This corresponds to the concepts of self-adaptation and self-organization. Robots adapting to the dynamic environment still have to pursue their given tasks or goals. In order to address the requirements of creating adaptive and goal-driven multi-robot systems, it is necessary to combine existing goal-directed planning and decision-making approaches with self-adaptation and self-organization mechanisms. This work addresses this challenge with a new hybrid approach integrated into a common robot framework, combining symbolic planning with reactive behaviour networks, machine learning, and the pattern-based selection of suitable mechanisms. On that account it brings together the advantages of bottom-up and top-down oriented approaches.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124974170","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}