{"title":"Testing Self-Organizing, Adaptive Systems","authors":"Benedikt Eberhardinger","doi":"10.1109/SASOW.2015.28","DOIUrl":"https://doi.org/10.1109/SASOW.2015.28","url":null,"abstract":"The characteristics of self-organizing, adaptive systems (SOAS) lead to a significantly higher flexibility and robustness against an ever-changing environment. This flexibility makes it hard to test these systems adequately, which is, however, inevitable in order to assure their quality. The PhD thesis faces the following key challenges for testing SOAS: state space explosion, interleaved feedback loops, and error masking. In the context of a self-organizing energy grid, we present the first results of the thesis and give an overview of the research plan.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133733871","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":"Socio-Inspired Design Approaches for Self-Adaptive and Self-Organizing Collaborative Systems","authors":"J. Botev, S. Rothkugel, J. Klein","doi":"10.1109/SASOW.2015.8","DOIUrl":"https://doi.org/10.1109/SASOW.2015.8","url":null,"abstract":"This paper addresses the challenges involved with the engineering of self-adaptive and self-organizing collaborative socio-technical systems. By examining the inherently interdisciplinary nature of the problem and giving a brief insight into some exemplary applications, we argue that particularly the inclusion of sociological findings already at structural and algorithmic level is fundamental to the efficiency, operation, and generally a more meaningful design of such systems. Perspectives and limitations are discussed, especially regarding steady user behavior feedback loops.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131232082","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}
R. Goldman, M. Burstein, J. Benton, U. Kuter, Joseph Mueller, P. Robertson, D. Cerys, Andreas Hoffman, R. Bobrow
{"title":"Active Perception for Cyber Intrusion Detection and Defense","authors":"R. Goldman, M. Burstein, J. Benton, U. Kuter, Joseph Mueller, P. Robertson, D. Cerys, Andreas Hoffman, R. Bobrow","doi":"10.1109/SASOW.2015.20","DOIUrl":"https://doi.org/10.1109/SASOW.2015.20","url":null,"abstract":"This paper describes an automated process of active perception for cyber defense. Our approach is informed by theoretical ideas from decision theory and recent research results in neuroscience. Our cognitive agent allocates computational and sensing resources to (approximately) optimize its Value of Information. To do this, it draws on models to direct sensors towards phenomena of greatest interest to inform decisions about cyber defense actions. By identifying critical network assets, the organization's mission measures interest (and value of information). This model enables the system to follow leads from inexpensive, inaccurate alerts with targeted use of expensive, accurate sensors. This allows the deployment of sensors to build structured interpretations of situations. From these, an organization can meet mission-centered decision-making requirements with calibrated responses proportional to the likelihood of true detection and degree of threat.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115531024","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":"Cross Layer Anomaly Based Intrusion Detection System","authors":"P. Satam","doi":"10.1109/SASOW.2015.31","DOIUrl":"https://doi.org/10.1109/SASOW.2015.31","url":null,"abstract":"Since the start of the 21st century, computer networks have been through an exponential growth in terms of the network capacity, the number of the users and the type of tasks that are performed over the network. With the resent boom of mobile devices (e.g., Tablet computers, smart phones, smart devices, and wearable computing), the number of network users is bound to increase exponentially. But, most of the communications protocols, that span over the 7 layers of the OSI model, were designed in the late 1980's or 90's. Although most of these protocols have had subsequent updates over time, most of these protocols still remain largely unsecure and open to attacks. Hence it is critically important to secure these protocols across the 7 layers of the OSI model. As a part of my PhD research, I am working on a cross layer anomaly behavior detection system for various protocols. This system will be comprised of intrusion detection systems (IDS) for each of the protocols that are present in each layer. The behavior analysis of each protocol will be carried out in two phases. In the first phase (training), the features that accurately characterize the normal operations of the protocol are identified using data mining and statistical techniques and then use them to build a runtime model of protocol normal operations. In addition, some known attacks against the studied protocol are also studied to develop a partial attack model for the protocol. The anomaly behavior analysis modules of each layer are then fused to generate a highly accurate detection system with low false alarms. In the second phase, the cross-layer anomaly based IDS is used to detect attacks against any communication protocols. We have already developed anomaly behavior modules for TCP, UDP, IP, DNS and Wi-Fi protocols. Our experimental results show that our approach can detect attacks accurately and with very low false alarms.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130181630","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 Logic Language for Run Time Assessment of Spatial Properties in Self-Organizing Systems","authors":"F. D. Angelis, G. Serugendo","doi":"10.1109/SASOW.2015.19","DOIUrl":"https://doi.org/10.1109/SASOW.2015.19","url":null,"abstract":"The assessment of emergent global behaviors of self-organizing applications is an important task to accomplish before employing such systems in real scenarios, yet their intrinsic complexity make this activity still challenging. In this paper we present a logic language used to verify graph-based global properties of self-organizing systems at run-time. The logic language extends a chemical-based coordination model based on logic inference recently proposed. The logic formulae defined by using the language operators depict the intended global spatial properties arising from local interactions among components. Logic formulae are evaluated in a distributed manner by using an inference procedure which checks them against the current global state of the system, verifying whether the intended emergent global behavior actually appears in the system. As examples of spatial properties we consider color patterns: at first we show how to verify specified patterns of identified colors in sets of nodes directly connected, then we present other formulae verifying the appearance of global patterns of colors without specifying the colors themselves. We conclude the examples with the computation of mathematical functions, like the verification of the existence of a maximum value in a specific node of the system.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130969671","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}
Vivek Nallur, Julien Monteil, Tyler Sammons, Mélanie Bouroche, S. Clarke
{"title":"Increasing Information in Socio-Technical MAS Considered Contentious","authors":"Vivek Nallur, Julien Monteil, Tyler Sammons, Mélanie Bouroche, S. Clarke","doi":"10.1109/SASOW.2015.9","DOIUrl":"https://doi.org/10.1109/SASOW.2015.9","url":null,"abstract":"Socio-technical systems differ from typical MAS formulations in that efficiency of the system is not the only concern of the participating agents. Human attributes such as concern for social equity, lying and irrationality are also present, alongside the normal computation being undertaken by the agents. Typically, non-rational attributes are considered as noise and therefore not considered as important attributes of the system. In this paper, we consider noise in socio-technical systems and show that the typical reaction of increasing information to counter noise is ineffective. We show that endowing agents with increased memory and/or computational power is not necessarily beneficial to achieving the goal of the system.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122682204","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":"Multi-agent Collaboration in Distributed Self-Adaptive Systems","authors":"F. Golpayegani","doi":"10.1109/SASOW.2015.29","DOIUrl":"https://doi.org/10.1109/SASOW.2015.29","url":null,"abstract":"Multi-Agent Collaboration (MAC) is a means by which agents solve complex real-world problems. It encompasses agents' coordination, negotiation and cooperation towards their shared goal. A distributed collaboration community consisting of heterogeneous agents in ever-changing environments faces varying degrees of collaborators' goals and/or polices conflicts. Therefore, the focus of my research is on collaborators' conflict management, particularly during community formation in distributed Self-Adaptive Systems. In this paper, the MAC literature is reviewed and a Multi-Agent Collaboration Community Formation (MAC-CF) taxonomy is proposed. The taxonomy adds the essential Establishment phase to the MAC process. The Establishment phase covers all the essential structural and behavioural aspects of a collaboration community formation in order to minimize agents' conflicts in the early stage of collaboration. Additionally, an architecture selection guideline will be designed to facilitate the conflict management of collaborators' goals and policies during the collaboration. The evaluation of this approach will be based on Smart-Grid (SG) scenario implementing a Multi-Agent Self-Adaptive System composed of heterogeneous agents with multiple goals and policies.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127721276","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":"Exploring Spatio-temporal Properties of Bike-Sharing Systems","authors":"V. Ciancia, D. Latella, M. Massink, R. Paskauskas","doi":"10.1109/SASOW.2015.17","DOIUrl":"https://doi.org/10.1109/SASOW.2015.17","url":null,"abstract":"In this paper we explore the combination of novel spatio-temporal model-checking techniques, and of a recently developed model-based approach to the study of bike sharing systems, in order to detect, visualize and investigate potential problems with bike sharing system configurations. In particular the formation and dynamics of clusters of full stations is explored. Such clusters are likely to be related to the difficulties of users to find suitable parking places for their hired bikes and show up as surprisingly long cycling trips in the trip duration statistics of real bike sharing systems of both small and large cities. Spatio-temporal analysis of the pattern formation may help to explain the phenomenon and possibly lead to alternative bike repositioning strategies aiming at the reduction of the size of such clusters and improving the quality of service.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129395041","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}
Danilo Pianini, Angelo Croatti, A. Ricci, Mirko Viroli
{"title":"Computational Fields Meet Augmented Reality: Perspectives and Challenges","authors":"Danilo Pianini, Angelo Croatti, A. Ricci, Mirko Viroli","doi":"10.1109/SASOW.2015.18","DOIUrl":"https://doi.org/10.1109/SASOW.2015.18","url":null,"abstract":"Recently, two different techniques emerged that are tailored to environments pervaded of computational devices. On the one hand, aggregate programming, and especially computational fields-based programming, is a promising abstraction for coordinating the activities of multiple situated devices. On the other hand, augmented reality is emerging as new means of interaction with both software and physical entities. We note that both computational fields and augmented reality are tightly bound to the physical world, and that they both enrich it, with collective computation and augmented information respectively. This work presents an initial analysis of possible future research directions that involve these techniques, discussing some possible ways of integrating them.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122858488","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":"Recoverable DTN Routing Based on a Relay of Cyclic Message-Ferries on a MSQ Network","authors":"Y. Hayashi","doi":"10.1109/SASOW.2015.11","DOIUrl":"https://doi.org/10.1109/SASOW.2015.11","url":null,"abstract":"An interrelation between a topological design of network and efficient algorithm on it is important for communication or transportation systems. In this paper, we propose a design principle for a reliable routing in a store-carry-forward manner based on autonomously moving message-ferries on a special structure of fractal-like network, which consists of a self-similar tiling of equilateral triangles. As a collective adaptive mechanism, the routing is realized by a relay of cyclic message-ferries corresponded to a concatenation of the triangle faces and using some good properties of the network structure. It is recoverable for local accidents in the hierarchical network structure. Moreover, the design principle is theoretically supported with a calculation method for the optimal service rates of message-ferries derived from a tandem queue model for stochastic processes on a chain of edges in the network. These results obtained from a combination of complex network science and computer science will be useful for developing a resilient network system.","PeriodicalId":384469,"journal":{"name":"2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129380328","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}