发布求助
文献互助 智能选刊 最新文献

Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)最新文献

筛选
英文 中文
Towards Dependability in Everyday Software Using Software Telemetry 利用软件遥测技术实现日常软件的可靠性
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Pub Date : 2006-03-27 DOI: 10.1109/EASE.2006.21
K. Gross, S. McMaster, A. Porter, A. Urmanov, L. Votta
{"title":"Towards Dependability in Everyday Software Using Software Telemetry","authors":"K. Gross, S. McMaster, A. Porter, A. Urmanov, L. Votta","doi":"10.1109/EASE.2006.21","DOIUrl":"https://doi.org/10.1109/EASE.2006.21","url":null,"abstract":"Application-level software dependability is difficult to ensure. Thus it's typically used only in custom systems and is achieved using one-of-a-kind, handcrafted solutions. We are interested in understanding whether and how these techniques can be applied to more common, lower-end systems. To this end, we have adapted a condition-based maintenance (CBM) approach called the multivariate state estimation technique (MSET). This approach automatically creates sophisticated statistical models that predict system failure well before failures occur, leading to simpler and more successful recoveries. We have packaged this approach in the Software Dependability Framework (SDF). The SDF consists of instrumentation and data management libraries, a CBM module, performance visualization tools, and a software architecture that supports system designers. Finally, we evaluated our framework on a simple video game application. Our results suggest that we can cheaply and reliably predict impending runtime failures and respond to them in time to improve the system's dependability","PeriodicalId":202442,"journal":{"name":"Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123662851","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}
引用次数: 14
Automated Self-Assembly Programming Paradigm: Initial Investigations 自动自组装编程范式:初步调查
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Pub Date : 2006-03-27 DOI: 10.1109/EASE.2006.3
Lin Li, N. Krasnogor, J. Garibaldi
{"title":"Automated Self-Assembly Programming Paradigm: Initial Investigations","authors":"Lin Li, N. Krasnogor, J. Garibaldi","doi":"10.1109/EASE.2006.3","DOIUrl":"https://doi.org/10.1109/EASE.2006.3","url":null,"abstract":"This paper presents a model that simulates a self-assembly process for software components. Initial investigations on the automated self-assembly programming paradigm (ASAP2) is presented whereby software components are treated as a gas' molecules and their interactions, within a confined area with specific temperature and pressure constraints, give rise to a variety of program architectures. We present experimental results that show how different factors affect the efficiency of the software self-assembly process and the diversity of the self-assembled programs. To the best of our knowledge this is the first time that self-assembly - a ubiquitous natural phenomenon - has been proposed as a (potentially) viable alternative to other automated program synthesis methodologies like for example genetic programming","PeriodicalId":202442,"journal":{"name":"Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116607996","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}
引用次数: 22
TA-LTL: Specifying Adaptation Timing Properties in Autonomic Systems TA-LTL:在自主系统中指定自适应时序特性
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Pub Date : 2006-03-27 DOI: 10.1109/EASE.2006.14
Z. Zhou, J. Zhang, P. McKinley, B. Cheng
{"title":"TA-LTL: Specifying Adaptation Timing Properties in Autonomic Systems","authors":"Z. Zhou, J. Zhang, P. McKinley, B. Cheng","doi":"10.1109/EASE.2006.14","DOIUrl":"https://doi.org/10.1109/EASE.2006.14","url":null,"abstract":"Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be properly addressed without precisely specifying the requirements for adaptation. In many situation, these requirements involve absolute time, in addition to a logical ordering of events. This paper introduces an approach to formally specifying such timing requirements for adaptive software. We introduce TA-LTL, a timed adaptation-based extension to linear temporal logic, and use this logic to specify three timing properties associated with the adaptation process: safety, liveness, and stability. A dynamic adaptation of interactive audio streaming software is used to illustrate timed temporal logic","PeriodicalId":202442,"journal":{"name":"Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121717859","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}
引用次数: 6
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems 大规模实时系统自动故障缓解策略的验证
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Pub Date : 2006-03-27 DOI: 10.1109/EASE.2006.24
A. Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty
{"title":"Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems","authors":"A. Dubey, S. Nordstrom, T. Keskinpala, S. Neema, T. Bapty","doi":"10.1109/EASE.2006.24","DOIUrl":"https://doi.org/10.1109/EASE.2006.24","url":null,"abstract":"In large scale real-time systems many problems associated with self-management are exacerbated by the addition of time deadlines. In these systems any autonomic behavior must not only be functionally correct but they must also not violate properties of liveness, safety and bounded time responsiveness. In this paper we present and analyze a realtime reflex engine for providing fault mitigation capability to large scale real time systems. We also present a semantic domain for analyzing and verifying the properties of such systems along with the framework of real-time reflex engines","PeriodicalId":202442,"journal":{"name":"Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123908242","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}
引用次数: 5
The Autonomic Semantic Desktop: helping users cope with information system complexity 自主语义桌面:帮助用户处理信息系统的复杂性
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Pub Date : 2006-03-27 DOI: 10.1109/EASE.2006.15
K. Breitman, W. Truszkowski, C. Felicíssimo
{"title":"The Autonomic Semantic Desktop: helping users cope with information system complexity","authors":"K. Breitman, W. Truszkowski, C. Felicíssimo","doi":"10.1109/EASE.2006.15","DOIUrl":"https://doi.org/10.1109/EASE.2006.15","url":null,"abstract":"In this paper we present the architecture for the autonomic semantic desktop, an self managing application designed to hide system complexity and alleviate users from burdening and time consuming management tasks. The proposed architecture is founded in the basic principles of autonomic systems, i.e. ,the set of self* attributes. We introduce a semantic layer to the architecture, to allow machines to process and exchange information without requiring human mediation. The underlying conceptual model used in this layer is ontology, currently the lingua franca in application on the semantic Web","PeriodicalId":202442,"journal":{"name":"Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131408201","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}
引用次数: 5
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信