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

2010 15th IEEE International Conference on Engineering of Complex Computer Systems最新文献

筛选
英文 中文
Expressing and Enforcing User-Defined Constraints of AADL Models 表达和执行AADL模型的用户定义约束
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.26
Olivier Gilles, J. Hugues
{"title":"Expressing and Enforcing User-Defined Constraints of AADL Models","authors":"Olivier Gilles, J. Hugues","doi":"10.1109/ICECCS.2010.26","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.26","url":null,"abstract":"The Architecture Analysis and Design Language AADL allows one to model complete systems, but also to define specific extensions through property sets and library of models. Yet, it does not define an explicit mechanism to enforce some semantics or consistency checks to ensure property sets are correctly used. In this paper, we present REAL (Requirements and Enforcements Analysis Language) as an integrated solution to this issue. REAL is defined as an AADL annex language. It adds the possibility to express constraints as theorems based on set theory to enforce implicit semantics of property sets or AADL models. We illustrate the use of the language on case studies we developed with industrial partners.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125059023","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}
引用次数: 44
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction 使用超时顺序抽象的DHCP故障切换协议的自动形式化验证
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.14
S. Umeno, N. Lynch
{"title":"Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction","authors":"S. Umeno, N. Lynch","doi":"10.1109/ICECCS.2010.14","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.14","url":null,"abstract":"In this paper, we present automated formal verification of the DHCP Failover protocol. We conduct bounded model-checking for the protocol using {it Timeout Order Abstraction} (TO-Abstraction), a technique to abstract a given timed model in a certain sub-class of loosely synchronized real-time distributed systems into an untimed model. A resulting untimed model from TO-abstraction is a finite state machine, and therefore one can verify the model using a conventional model-checker. We have verified the protocol by bounded model-checking up to depth 20. We also experimented with ''mutating'' the original code to examine the efficiency of bug-finding using TO-Abstraction. We used two mutated pieces of the original code. The first one represents a model that uses a stronger failure assumption. The second one represents a model that the protocol implementer has forgot to add a certain check of a received message. We found one counterexample for each of two pieces of mutated code. In particular, the counterexample that was found for the second mutated code had a complex scenario, and we believe that it is considerably difficult to find the counterexample by human or simulations.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129554801","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}
引用次数: 3
Development of Autonomic Management Solutions for the Military Application Domain 军事应用领域自主管理解决方案的开发
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.20
E. Werkman, B. Schoonhoven, M. D. Jonge, E. Matthijssen
{"title":"Development of Autonomic Management Solutions for the Military Application Domain","authors":"E. Werkman, B. Schoonhoven, M. D. Jonge, E. Matthijssen","doi":"10.1109/ICECCS.2010.20","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.20","url":null,"abstract":"The Dutch Ministry of Defence is faced with ICT management problems, due to the increased use of complex ICT systems in the battle field. Solutions in the industry, such as remote assistance, cannot be applied in a domain with unreliable, low-bandwidth connections. In a case study performed at the Dutch Ministry of Defence, autonomic computing was used to reduce the effort by military personnel to manage the ICT systems that are available in their vehicles. Although autonomic computing has been around for some time, applying it in practice still offers challenges, especially in the development of the so-called utility-function policies. This paper describes the process of developing a solution for a military application using a generic framework and discusses the challenges that were faced during this process.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116678626","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}
引用次数: 2
A Tile-Based Approach for Self-Assembling Service Compositions 基于tile的自组装服务组合方法
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.6
Luca Cavallaro, E. D. Nitto, Carlo A. Furia, Matteo Pradella
{"title":"A Tile-Based Approach for Self-Assembling Service Compositions","authors":"Luca Cavallaro, E. D. Nitto, Carlo A. Furia, Matteo Pradella","doi":"10.1109/ICECCS.2010.6","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.6","url":null,"abstract":"This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to develop a service-oriented system by building an assembly of component services that accomplishes the given goal. The assembly is computed automatically starting from the specification of a subset of the whole system, a few constraints, and the goals the application should fulfill. An application designed according to the service-tile model can also dynamically self-adapt by replacing, in part or entirely, services in the assembly whenever they fail or the application context changes. The service-tile design technique has been implemented in a prototype and some experiments with several examples demonstrate the feasibility of the approach and its practical efficiency.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"12 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126497331","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}
引用次数: 27
Maintaining Stable Node Populations in Long-Lifetime Sensornets 长寿命传感器中稳定节点群的维护
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.36
Jonathan Tate, I. Bate
{"title":"Maintaining Stable Node Populations in Long-Lifetime Sensornets","authors":"Jonathan Tate, I. Bate","doi":"10.1109/ICECCS.2010.36","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.36","url":null,"abstract":"Sensornets provide coverage of physical phenomena over extended periods, perhaps months or years. However, active nodes may deplete finite batteries within days, and are prone to failure. The sensornet application may require a given number of active nodes within each region to provide appropriate sensor redundancy and processing capacity. If many nodes are deployed, at any given time a smaller working set of the correct size can be selected for duty. In this paper we present a lightweight approach to active population management. An omniscient overview of network state is not required, and expensive communication activity is minimised. Probabilistic methods are employed, ensuring that individual nodes can make appropriate decisions using only locally available information.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134360201","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
From MARTE to AADL with a Seamless Process 从MARTE到AADL的无缝流程
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.29
I. Perseil, L. Pautet
{"title":"From MARTE to AADL with a Seamless Process","authors":"I. Perseil, L. Pautet","doi":"10.1109/ICECCS.2010.29","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.29","url":null,"abstract":"This paper describes the required model transformations for a seamless use of the models which are architecturing real-time systems. At the highest level of abstraction, we stand in the analysis phase, which consists in producing the set of static and dynamic models of the system. We use the MDA process that allows MARTE PIMs models transformation into AADL PSMs. Therefore we have chosen ATL for generating AADL models from models that belong to a subset of MARTE which corresponds to the (same) main concepts in AADL.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134603665","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}
引用次数: 0
A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems 普适系统中支持虚拟组织的基于模型的体系结构
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.3
Michael Thonhauser, Christian Kreiner, A. Leitner
{"title":"A Model-Based Architecture Supporting Virtual Organizations in Pervasive Systems","authors":"Michael Thonhauser, Christian Kreiner, A. Leitner","doi":"10.1109/ICECCS.2010.3","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.3","url":null,"abstract":"Modern distributed computer systems, with mobile and embedded devices as first class citizens, are formed from heterogeneous platforms. Owing to their distributed nature, dynamic reconfiguration and adaptation are reflecting different ownerships and administration domains of devices and applications. A portable, plug-in extensible runtime architecture is presented that explicitly honors ownership and realm of control of hardware devices, resources and application components. Based on such an architecture, their owners, while pursuing their very own business models, can cooperatively form Virtual Organizations (VO) to run applications defined by model-based software components (MBSC), consisting of a set of high-level models that are directly interpreted by this architecture's runtime nodes.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"142 ","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120931201","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
An Analysis of Formal Languages for Dynamic Adaptation 形式语言的动态适应分析
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.9
J. Fox, S. Clarke
{"title":"An Analysis of Formal Languages for Dynamic Adaptation","authors":"J. Fox, S. Clarke","doi":"10.1109/ICECCS.2010.9","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.9","url":null,"abstract":"The service-oriented computing paradigm is in widespread use for adaptive systems that face changing conditions in their operational environment as well as the integration of new services. In many domains, adaptations may occur dynamically and in real-time, using services from heterogeneous, possibly unknown sources. This motivates a need to ensure the correct behaviour of the adapted system, and its continuing compliance to time bounds. The complexity of dynamic adaptation (DA) is significant, but unfortunately currently not well understood or formally specified. Formal methods are an attractive option for solving this problem as they provide a means to precisely model a software system. There are many formal languages targeted to different domains, and in this paper, we present the results of our analysis of three languages as potential candidates for modelling our time-constrained DA problem. In particular, we selected JOLIE, PiDuce and COWS for analysis, as they are targeted towards service-based systems and each provide means to model at least some of our requirements. Our results illustrate the strengths and limitations of each, and justify our selection of COWS as the best-fit, though limited, language for our purposes.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126069514","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}
引用次数: 3
A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring 复杂车辆故障诊断与健康监测的多智能体系统
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.4
Y. Murphey, ZhiHang Chen
{"title":"A Multi-agent System for Complex Vehicle Fault Diagnostics and Health Monitoring","authors":"Y. Murphey, ZhiHang Chen","doi":"10.1109/ICECCS.2010.4","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.4","url":null,"abstract":"This paper presents a multi-agent system(MAS_VFD&HM) developed for complex vehicle fault diagnosis and health monitoring. The MAS_VFD&HM consists of signal diagnostic agents, special case agents, and a vehicle diagnostic/monitoring agent. A signal agent is responsible for the fault diagnosis or monitoring of one particular signal using either a single signal or multiple signals depending on the complexity of signal faults. Special case agents are those trained to detect specific component faults. All these agents are autonomous and report their results to the Vehicle System Agent. A computational framework is presented for agent learning and agent operation. The proposed MAS_VFD&HM is scalable, versatile, and has the capability of dealing complex problems such as multiple faults in a vehicle system. Although our focus was on the automotive diagnostics, the proposed MAS_VFD&HM is applicable to complex engineering diagnostic problems beyond vehicles.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129359686","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}
引用次数: 2
McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java mcc++ /Java:在c++ /Java中启用基于多核的监控和容错
2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1145/1808954.1808963
Lu Yang, Liqian Yu, J. Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
{"title":"McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java","authors":"Lu Yang, Liqian Yu, J. Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li","doi":"10.1145/1808954.1808963","DOIUrl":"https://doi.org/10.1145/1808954.1808963","url":null,"abstract":"Monitoring and fault tolerance are important approaches to give high confidence that long-running online software systems run correctly. But these approaches will certainly cause high overhead cost, i.e. the loss of efficiency. Multi-core platforms can make such cost acceptable because of the advantage of the parallel performance. For allowing ordinary software developers without any knowledge of multi-core platforms to handle such programming tasks more efficiently, we propose an approach to enable multi-core based monitoring and fault tolerance in C++/Java.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131538106","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}
引用次数: 8
首页 上一页 下一页 尾页
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学术官方微信