This paper considers how a smart energy solution for residential areas can be modelled in stochastic HYPE, a process algebra that describes instantaneous, discrete stochastic and continuous deterministic behaviour. The system involves PHEVs (plug-in hybrid electric vehicles) which have batteries that can be charged either from the grid or from wind turbines, and can be viewed as a collective adaptive system (CAS). With a language such as stochastic HYPE, easy experimentation with the model and exploration of modifications of the basic scenario are possible. However, simulation can be infeasible for more complex models or larger models, and the paper discusses future work involving abstractions of the model that mitigate this problem.
{"title":"Modelling Residential Smart Energy Schemes","authors":"Vashti Galpin","doi":"10.1109/SASOW.2014.19","DOIUrl":"https://doi.org/10.1109/SASOW.2014.19","url":null,"abstract":"This paper considers how a smart energy solution for residential areas can be modelled in stochastic HYPE, a process algebra that describes instantaneous, discrete stochastic and continuous deterministic behaviour. The system involves PHEVs (plug-in hybrid electric vehicles) which have batteries that can be charged either from the grid or from wind turbines, and can be viewed as a collective adaptive system (CAS). With a language such as stochastic HYPE, easy experimentation with the model and exploration of modifications of the basic scenario are possible. However, simulation can be infeasible for more complex models or larger models, and the paper discusses future work involving abstractions of the model that mitigate this problem.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80653948","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}
We report work in progress on the role of models in the formation and maintenance of collectives in Hybrid Diversity-Aware Collective Adaptive Systems (HDA-CASs). HDA-CASs utilize hybrid computations involving machines and humans operating in collectives in a way that manages and leverages the diversity of collectives and machine-based computation. Here we explore the role of models in helping to constitute particular collectives and how models help shape the response of the collective. It appears that models are a potentially critical resource in collecting, sharing and acting on data gathered from the operation of CASs. This points to the potential role for models in the design of HDA-CASs. In particular we are interested in how models provide a sense of identity for a collective and can provide resources that shape the potential for collective action.
{"title":"\"Reflection, Collectives and Adaptation: the Role of Models in the Design of Collective Adaptive Systems","authors":"S. Anderson, M. Hartswood, M. Jirotka","doi":"10.1109/SASOW.2014.39","DOIUrl":"https://doi.org/10.1109/SASOW.2014.39","url":null,"abstract":"We report work in progress on the role of models in the formation and maintenance of collectives in Hybrid Diversity-Aware Collective Adaptive Systems (HDA-CASs). HDA-CASs utilize hybrid computations involving machines and humans operating in collectives in a way that manages and leverages the diversity of collectives and machine-based computation. Here we explore the role of models in helping to constitute particular collectives and how models help shape the response of the collective. It appears that models are a potentially critical resource in collecting, sharing and acting on data gathered from the operation of CASs. This points to the potential role for models in the design of HDA-CASs. In particular we are interested in how models provide a sense of identity for a collective and can provide resources that shape the potential for collective action.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75827879","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}
Jan Kantert, H. Scharf, Sarah Edenhofer, Sven Tomforde, J. Hähner, C. Müller-Schloer
Fully self-organised and open systems consisting of a variety of heterogeneous and autonomous entities can suffer due to malicious elements or attacks. One approach to cope with this challenge is to introduce trust. Thereby, trust relationships are based on ratings among individual entities and represent system-wide information. A Trusted Desktop Computing Grid is one example, where such a trust mechanism has been applied successfully. In this paper, we investigate the possibility to add an system-level Observer to the self-organised system in order to guide the overall behaviour and to intervene in disturbed situations that are mostly a result of malicious behaviour. Therefore, we describe in detail how the observation part of this Observer can be realised and what kind of metrics can be applied to detect undesired system behaviour. Evaluations are done using the Trusted Desktop Grid and demonstrate the possibility to detect malicious behaviour quickly and reliably by considering clusters of trusted entities.
{"title":"A Graph Analysis Approach to Detect Attacks in Multi-agent Systems at Runtime","authors":"Jan Kantert, H. Scharf, Sarah Edenhofer, Sven Tomforde, J. Hähner, C. Müller-Schloer","doi":"10.1109/SASO.2014.20","DOIUrl":"https://doi.org/10.1109/SASO.2014.20","url":null,"abstract":"Fully self-organised and open systems consisting of a variety of heterogeneous and autonomous entities can suffer due to malicious elements or attacks. One approach to cope with this challenge is to introduce trust. Thereby, trust relationships are based on ratings among individual entities and represent system-wide information. A Trusted Desktop Computing Grid is one example, where such a trust mechanism has been applied successfully. In this paper, we investigate the possibility to add an system-level Observer to the self-organised system in order to guide the overall behaviour and to intervene in disturbed situations that are mostly a result of malicious behaviour. Therefore, we describe in detail how the observation part of this Observer can be realised and what kind of metrics can be applied to detect undesired system behaviour. Evaluations are done using the Trusted Desktop Grid and demonstrate the possibility to detect malicious behaviour quickly and reliably by considering clusters of trusted entities.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74777179","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}
A collective adaptive system is composed of large numbers of autonomous and self-adaptive entities which are able to provide benefits for other participants and have to cooperate with each other to accomplish their individual goals. When entities adapt their own behaviour due to unexpected situations, this may result in breaking the overall collaboration if these are not executed simultaneously and do not respect some collective constraints. The objective of this paper is to present a goal model that allows to express requirements for collective adaptability. It includes (i) how to specify the behaviour of the entities that encodes cooperation with other entities, (ii) how to link collaborative goals and individual goals, and (iii) how to specify constraints that are imposed on different entities to preserve some form of collective consistency while they are adapted.
{"title":"A Goal Model for Collective Adaptive Systems","authors":"A. Bucchiarone, C. A. Mezzina, Heorhi Raik","doi":"10.1109/SASOW.2014.11","DOIUrl":"https://doi.org/10.1109/SASOW.2014.11","url":null,"abstract":"A collective adaptive system is composed of large numbers of autonomous and self-adaptive entities which are able to provide benefits for other participants and have to cooperate with each other to accomplish their individual goals. When entities adapt their own behaviour due to unexpected situations, this may result in breaking the overall collaboration if these are not executed simultaneously and do not respect some collective constraints. The objective of this paper is to present a goal model that allows to express requirements for collective adaptability. It includes (i) how to specify the behaviour of the entities that encodes cooperation with other entities, (ii) how to link collaborative goals and individual goals, and (iii) how to specify constraints that are imposed on different entities to preserve some form of collective consistency while they are adapted.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79561426","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}
V. Ciancia, S. Gilmore, D. Latella, M. Loreti, M. Massink
In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action. We categorise received data as being plausible, implausible, possible or problematic. Data correctness is essential to ensure correct functionality in systems which adapt in response to data and our categorisation influences the degree of caution which should be used in acting in response to this received data. We illustrate the theory with a concrete example of detecting errors in vehicle location data for buses in the city of Edinburgh. Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours.
{"title":"Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data","authors":"V. Ciancia, S. Gilmore, D. Latella, M. Loreti, M. Massink","doi":"10.1109/SASOW.2014.16","DOIUrl":"https://doi.org/10.1109/SASOW.2014.16","url":null,"abstract":"In this paper we present the use of a novel spatial model-checker to detect problems in the data which an adaptive system gathers in order to inform future action. We categorise received data as being plausible, implausible, possible or problematic. Data correctness is essential to ensure correct functionality in systems which adapt in response to data and our categorisation influences the degree of caution which should be used in acting in response to this received data. We illustrate the theory with a concrete example of detecting errors in vehicle location data for buses in the city of Edinburgh. Vehicle location data is visualised symbolically on a street map, and categories of problems identified by the spatial model-checker are rendered by repainting the symbols for vehicles in different colours.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85795422","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}
In this paper we describe the tool we have developed to visualise experimental data on top of the multi-agent simulation platform Presage2 and how we have used it with our Social Capital Framework. The visualisation demonstrates how social capital can be used to self-organise solutions to collective actions problems.
{"title":"Visualisation of Social Capital","authors":"Patricio E. Petruzzi, D. Busquets, J. Pitt","doi":"10.1109/SASO.2014.38","DOIUrl":"https://doi.org/10.1109/SASO.2014.38","url":null,"abstract":"In this paper we describe the tool we have developed to visualise experimental data on top of the multi-agent simulation platform Presage2 and how we have used it with our Social Capital Framework. The visualisation demonstrates how social capital can be used to self-organise solutions to collective actions problems.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89677278","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}
Smart grids for decentralised Community Energy Systems (dCES) can be simulated by Serious Games in which players use social networking and visualisation of Ostrom's principles to achieve collective action. Social Mpower is an interactive game designed to inform, aware and motivate energy consumers towards energy efficiency. Emphasising on the concepts of collective awareness and self-organisation, players need to coordinate their individual actions for common good. Field trials and beta tests of the system show that integration and encapsulation of different requirements by a serious game can promote successful collective action in an energy community.
{"title":"Social Mpower: A Serious Game for Self-Organisation in Socio-technical Systems","authors":"Aikaterini Bourazeri, J. Pitt","doi":"10.1109/SASO.2014.43","DOIUrl":"https://doi.org/10.1109/SASO.2014.43","url":null,"abstract":"Smart grids for decentralised Community Energy Systems (dCES) can be simulated by Serious Games in which players use social networking and visualisation of Ostrom's principles to achieve collective action. Social Mpower is an interactive game designed to inform, aware and motivate energy consumers towards energy efficiency. Emphasising on the concepts of collective awareness and self-organisation, players need to coordinate their individual actions for common good. Field trials and beta tests of the system show that integration and encapsulation of different requirements by a serious game can promote successful collective action in an energy community.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82516600","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}
The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. The SASOST workshop addresses all aspects of self-adaptive and self-organising mechanisms in socio-technical systems, covering different perspectives of this exciting research area ranging from normative and trust management systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols.
{"title":"Second International Workshop on Self-Adaptive and Self-Organising Socio-technical Systems (SASOST 2014)","authors":"Gerrit Anders, J. Botev, M. Esch","doi":"10.1109/SASOW.2014.33","DOIUrl":"https://doi.org/10.1109/SASOW.2014.33","url":null,"abstract":"The design and operation of computer systems has traditionally been driven by technical aspects and considerations. However, the usage characteristics of information and communication systems are both implicitly and explicitly determined by social interaction and the social graph of users. The SASOST workshop addresses all aspects of self-adaptive and self-organising mechanisms in socio-technical systems, covering different perspectives of this exciting research area ranging from normative and trust management systems to socio-inspired design strategies for distributed algorithms, collaboration platforms and communication protocols.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91183547","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}
Sven Tomforde, J. Hähner, S. Mammen, Christian Gruhl, B. Sick, K. Geihs
In many application domains, developers aim at building technical systems that can cope with the complexity of the world they are surrounded with, including other technical systems. Due to this complexity, system designers cannot explicitly foresee every possible situation "their" system will be confronted with at runtime. This resulted in solutions capable of self-adaptation at runtime. Future intelligent technical systems will have to go far beyond such a reactive solution - the general question is: How can systems themselves define new goals and new classes of goals in order to increase their own performance at runtime and without the need of human control or supervision? This paper introduces a definition of "computational self-reflection", proposes an architectural concept, and discusses the potential benefit by means of three exemplary application scenarios. Finally, building blocks to achieve self-reflection are discussed and a basic research agenda is drafted.
{"title":"\"Know Thyself\" - Computational Self-Reflection in Intelligent Technical Systems","authors":"Sven Tomforde, J. Hähner, S. Mammen, Christian Gruhl, B. Sick, K. Geihs","doi":"10.1109/SASOW.2014.25","DOIUrl":"https://doi.org/10.1109/SASOW.2014.25","url":null,"abstract":"In many application domains, developers aim at building technical systems that can cope with the complexity of the world they are surrounded with, including other technical systems. Due to this complexity, system designers cannot explicitly foresee every possible situation \"their\" system will be confronted with at runtime. This resulted in solutions capable of self-adaptation at runtime. Future intelligent technical systems will have to go far beyond such a reactive solution - the general question is: How can systems themselves define new goals and new classes of goals in order to increase their own performance at runtime and without the need of human control or supervision? This paper introduces a definition of \"computational self-reflection\", proposes an architectural concept, and discusses the potential benefit by means of three exemplary application scenarios. Finally, building blocks to achieve self-reflection are discussed and a basic research agenda is drafted.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83677336","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}
Virtualization of embedded systems enables the integration of various independent and isolated virtual environments on the same hardware. It is therefore seen as a key enabler for implementing mixed-criticality systems on future many-core technology. However, a challenge is that such systems are increasingly exposed to dynamic workloads, e.g., due to the "openness" of modern mobile devices or the execution of varying application mixes. As a remedy, run-time management enables the dynamic allocation of system resources to the virtual environments according to their current requirements. This paper investigates self-integration of such dynamic environments in virtualized embedded systems by providing management strategies for re-partitioning shared resources at run time. We formulate and analyze the underlying optimization problem with the particular focus on security and scalability as two important factors for managing embedded systems in the many-core era. The evaluation of the theoretical results by means of a case study shows the improvements with respect to scalability and security, and leads to a discussion of the most important future trends for paving the road to self-integrating virtualized embedded systems.
{"title":"Self-Integration for Virtualization of Embedded Many-Core Systems","authors":"S. Wildermann, J. Teich","doi":"10.1109/SASOW.2014.27","DOIUrl":"https://doi.org/10.1109/SASOW.2014.27","url":null,"abstract":"Virtualization of embedded systems enables the integration of various independent and isolated virtual environments on the same hardware. It is therefore seen as a key enabler for implementing mixed-criticality systems on future many-core technology. However, a challenge is that such systems are increasingly exposed to dynamic workloads, e.g., due to the \"openness\" of modern mobile devices or the execution of varying application mixes. As a remedy, run-time management enables the dynamic allocation of system resources to the virtual environments according to their current requirements. This paper investigates self-integration of such dynamic environments in virtualized embedded systems by providing management strategies for re-partitioning shared resources at run time. We formulate and analyze the underlying optimization problem with the particular focus on security and scalability as two important factors for managing embedded systems in the many-core era. The evaluation of the theoretical results by means of a case study shows the improvements with respect to scalability and security, and leads to a discussion of the most important future trends for paving the road to self-integrating virtualized embedded systems.","PeriodicalId":6458,"journal":{"name":"2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2014-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85590712","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}