Pub Date : 2018-09-01DOI: 10.1109/fas-w.2018.00005
A. Ghorbani, G. Valetto, A. Bucchiarone, A. Diaconescu, Christopher K. Frantz, M. Parashar, B. Schmerl, Ingo Scholtes
{"title":"FAS* 2018 Doctoral Symposium Foreword","authors":"A. Ghorbani, G. Valetto, A. Bucchiarone, A. Diaconescu, Christopher K. Frantz, M. Parashar, B. Schmerl, Ingo Scholtes","doi":"10.1109/fas-w.2018.00005","DOIUrl":"https://doi.org/10.1109/fas-w.2018.00005","url":null,"abstract":"","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128676683","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}
Pub Date : 2018-09-01DOI: 10.1109/FAS-W.2018.00050
Venkata Mandadapu, Christopher Stewart
Runtime platforms on unmanned aerial systems (UAS) manage flight, GPS and compute resources and speed up common tasks for UAS workloads. These workloads evolve rapidly due to programmer demand and changing external conditions. Platforms are quickly out dated. Existing self-aware techniques update resource management policies and/or software, but managing the cost of updates under a budget is challenging. This paper makes the case for using game theory. Our approach profiles currently hosted workloads and measures efficiency gains from updates. Counter-factual regret, a game theory technique, computes when platforms should update. We outline a frame-work, provide an example and discuss research challenges.
{"title":"Using Game Theory to Manage Self-Aware Unmanned Aerial Systems","authors":"Venkata Mandadapu, Christopher Stewart","doi":"10.1109/FAS-W.2018.00050","DOIUrl":"https://doi.org/10.1109/FAS-W.2018.00050","url":null,"abstract":"Runtime platforms on unmanned aerial systems (UAS) manage flight, GPS and compute resources and speed up common tasks for UAS workloads. These workloads evolve rapidly due to programmer demand and changing external conditions. Platforms are quickly out dated. Existing self-aware techniques update resource management policies and/or software, but managing the cost of updates under a budget is challenging. This paper makes the case for using game theory. Our approach profiles currently hosted workloads and measures efficiency gains from updates. Counter-factual regret, a game theory technique, computes when platforms should update. We outline a frame-work, provide an example and discuss research challenges.","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126968309","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}
Pub Date : 2018-09-01DOI: 10.1109/FAS-W.2018.00040
A. Vardy
Inspired by the use of template pheromones in insect collective construction, we investigate the use of a scalar field to guide the formation of two-dimensional enclosures by swarms of simple robots. The scalar field, in combination with a fixed threshold, dictates the desired shape as a contour of the scalar field. The robots require an ability to measure the scalar field at three points, which can be achieved in practise by painting (or projecting) the scalar field onto the robots' work surface and using simple photosensitive elements to detect it (e.g. the same sensors used for line following). The robots would also require a camera to sense a nearby object on either the left or right. We present some initial results in a simulation environment.
{"title":"Orbital Construction: Swarms of Simple Robots Building Enclosures","authors":"A. Vardy","doi":"10.1109/FAS-W.2018.00040","DOIUrl":"https://doi.org/10.1109/FAS-W.2018.00040","url":null,"abstract":"Inspired by the use of template pheromones in insect collective construction, we investigate the use of a scalar field to guide the formation of two-dimensional enclosures by swarms of simple robots. The scalar field, in combination with a fixed threshold, dictates the desired shape as a contour of the scalar field. The robots require an ability to measure the scalar field at three points, which can be achieved in practise by painting (or projecting) the scalar field onto the robots' work surface and using simple photosensitive elements to detect it (e.g. the same sensors used for line following). The robots would also require a camera to sense a nearby object on either the left or right. We present some initial results in a simulation environment.","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126630942","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}
Pub Date : 2018-09-01DOI: 10.1109/fas-w.2018.00011
K. Bellman, Sven Tomforde, R. Würtz, J. Botev, U. Brinkschulte, A. Diaconescu, Lukas Esterle, K. Geihs, Martin Hoffmann, Wolfgang Karl, C. Landauer, Peter R. Lewis, E. Maehle, Gero Mühl, C. Müller-Schloer, Hella Ponsar, W. Reif, Stefan Rudolph, Gregor Schiele, B. Sick, Anthony Stein, Christopher Stewart, C. Tessone, Arno Wacker
{"title":"SISSY 2018 Foreword","authors":"K. Bellman, Sven Tomforde, R. Würtz, J. Botev, U. Brinkschulte, A. Diaconescu, Lukas Esterle, K. Geihs, Martin Hoffmann, Wolfgang Karl, C. Landauer, Peter R. Lewis, E. Maehle, Gero Mühl, C. Müller-Schloer, Hella Ponsar, W. Reif, Stefan Rudolph, Gregor Schiele, B. Sick, Anthony Stein, Christopher Stewart, C. Tessone, Arno Wacker","doi":"10.1109/fas-w.2018.00011","DOIUrl":"https://doi.org/10.1109/fas-w.2018.00011","url":null,"abstract":"","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"108 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128540570","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}
Pub Date : 2018-09-01DOI: 10.1109/fas-w.2018.00009
{"title":"eCAS 2018 Foreword","authors":"","doi":"10.1109/fas-w.2018.00009","DOIUrl":"https://doi.org/10.1109/fas-w.2018.00009","url":null,"abstract":"","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128691636","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}
Pub Date : 2018-09-01DOI: 10.1109/FAS-W.2018.00016
V. Dwivedi, A. Norta
Smart contracts play an advent role in automated business participation by rendering collaboration processes more time-efficient, cost-effective and establishing more transparency. Smart contracts facilitate trust-less systems, without the need for intervention from third-party intermediaries. Existing smart-contract languages mainly focus on technical utility and do not take into consideration social and legally relevant issues, e.g., lack of semantics, ontological completeness, and so on. In this research, we address the gap by developing with rigorous means a smart contract's language that aims to be legally relevant, and that comprises socio-technical utility for cross-organizational business collaboration. The proposed language seeks to retain the strengths of the already existing languages of different generations while eluding their limitations. We aim to identify and implement abstract grammar patterns for a smart-contract language that has the expected application utility and verifiability. We evaluate the developed language based on automating industry-collaboration cases with our novel smart-contract language to test the suitability, utility, and expressiveness.
{"title":"A Legally Relevant Socio-Technical Language Development for Smart Contracts","authors":"V. Dwivedi, A. Norta","doi":"10.1109/FAS-W.2018.00016","DOIUrl":"https://doi.org/10.1109/FAS-W.2018.00016","url":null,"abstract":"Smart contracts play an advent role in automated business participation by rendering collaboration processes more time-efficient, cost-effective and establishing more transparency. Smart contracts facilitate trust-less systems, without the need for intervention from third-party intermediaries. Existing smart-contract languages mainly focus on technical utility and do not take into consideration social and legally relevant issues, e.g., lack of semantics, ontological completeness, and so on. In this research, we address the gap by developing with rigorous means a smart contract's language that aims to be legally relevant, and that comprises socio-technical utility for cross-organizational business collaboration. The proposed language seeks to retain the strengths of the already existing languages of different generations while eluding their limitations. We aim to identify and implement abstract grammar patterns for a smart-contract language that has the expected application utility and verifiability. We evaluate the developed language based on automating industry-collaboration cases with our novel smart-contract language to test the suitability, utility, and expressiveness.","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116653460","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}
Pub Date : 2018-09-01DOI: 10.1109/FAS-W.2018.00017
Saud Yonbawi, R. Calinescu
Self-adaptive systems reconfigure dynamically in response to deviations such as component failures and environmental changes. Such systems are increasingly found in domains including healthcare, transportation, and e-commerce. Many of these systems are inherently distributed, with multiple components running on different computers or devices. Despite recent advances in the engineering of self-adaptive systems, many open challenges remain in this area. This doctoral research focuses on engineering distributed self-adaptive systems that can provide assurance in meeting their requirements.
{"title":"Towards Self-Adaptive Systems with Hierarchical Decentralised Control","authors":"Saud Yonbawi, R. Calinescu","doi":"10.1109/FAS-W.2018.00017","DOIUrl":"https://doi.org/10.1109/FAS-W.2018.00017","url":null,"abstract":"Self-adaptive systems reconfigure dynamically in response to deviations such as component failures and environmental changes. Such systems are increasingly found in domains including healthcare, transportation, and e-commerce. Many of these systems are inherently distributed, with multiple components running on different computers or devices. Despite recent advances in the engineering of self-adaptive systems, many open challenges remain in this area. This doctoral research focuses on engineering distributed self-adaptive systems that can provide assurance in meeting their requirements.","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"27 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114091586","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}
Pub Date : 2018-09-01DOI: 10.1109/fas-w.2018.00056
{"title":"Publisher's Information","authors":"","doi":"10.1109/fas-w.2018.00056","DOIUrl":"https://doi.org/10.1109/fas-w.2018.00056","url":null,"abstract":"","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125564066","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}
Pub Date : 2018-09-01DOI: 10.1109/FAS-W.2018.00054
Lukas Esterle, John N. A. Brown
Attempting to achieve self-awareness in computerised systems promises improvements in autonomous behaviour. Since SISSY systems have to integrate with other systems at runtime, self-awareness alone may not be enough. Humans become better at cooperative work once they become aware of the self-awareness of others. When we have integrating systems, they have to also be aware of the ongoing interactions between other sub-systems and how their own interactions will influence the behaviour of the entire system. We propose levels of networked self-awareness to model these networked interactions.
{"title":"Levels of Networked Self-Awareness","authors":"Lukas Esterle, John N. A. Brown","doi":"10.1109/FAS-W.2018.00054","DOIUrl":"https://doi.org/10.1109/FAS-W.2018.00054","url":null,"abstract":"Attempting to achieve self-awareness in computerised systems promises improvements in autonomous behaviour. Since SISSY systems have to integrate with other systems at runtime, self-awareness alone may not be enough. Humans become better at cooperative work once they become aware of the self-awareness of others. When we have integrating systems, they have to also be aware of the ongoing interactions between other sub-systems and how their own interactions will influence the behaviour of the entire system. We propose levels of networked self-awareness to model these networked interactions.","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125711311","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}
Pub Date : 2018-09-01DOI: 10.1109/FAS-W.2018.00013
Martina De Sanctis, A. Marconi
A key challenge posed by the Next Generation Internet landscape, is that modern systems need to cope with open and continuously evolving environments and to operate under dynamic circumstances (e.g., changes in the operational context, changes in the availability of resources). In this setting, engineering such systems, as well as dynamically discover, select and compose the appropriate resources (e.g., services, smart things) poses different challenges. Unfortunately, current approaches tend to foresee the system adaptation requirements and their related solutions at design-time, by requiring for continuous involvement of IT and domain experts for the systems re-configuration. This makes them inadequate for the application in open environments. A new way of approaching the design and dynamic adaptation of systems is needed. In this tutorial, we propose a novel design for adaptation framework for modeling and executing modern self-adaptive systems.
{"title":"A Design for Adaptation Framework for Self-Adaptive Systems","authors":"Martina De Sanctis, A. Marconi","doi":"10.1109/FAS-W.2018.00013","DOIUrl":"https://doi.org/10.1109/FAS-W.2018.00013","url":null,"abstract":"A key challenge posed by the Next Generation Internet landscape, is that modern systems need to cope with open and continuously evolving environments and to operate under dynamic circumstances (e.g., changes in the operational context, changes in the availability of resources). In this setting, engineering such systems, as well as dynamically discover, select and compose the appropriate resources (e.g., services, smart things) poses different challenges. Unfortunately, current approaches tend to foresee the system adaptation requirements and their related solutions at design-time, by requiring for continuous involvement of IT and domain experts for the systems re-configuration. This makes them inadequate for the application in open environments. A new way of approaching the design and dynamic adaptation of systems is needed. In this tutorial, we propose a novel design for adaptation framework for modeling and executing modern self-adaptive systems.","PeriodicalId":164903,"journal":{"name":"2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121781170","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：