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

2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)最新文献

筛选
英文 中文
Design and Performance Evaluation of Mechanisms for Mobile-Devices Handoff Forecast 移动设备切换预测机制的设计与性能评估
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.7
E. Casalicchio, V. Cardellini, Salvatore Tucci
{"title":"Design and Performance Evaluation of Mechanisms for Mobile-Devices Handoff Forecast","authors":"E. Casalicchio, V. Cardellini, Salvatore Tucci","doi":"10.1109/FIRB-PERF.2005.7","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.7","url":null,"abstract":"In present wireless networks, mobile users frequently access continuous and session-oriented Internet services. During the handover, the management of session-related information introduces additional over-heads and delays, due to context transfer procedures; such delays may affect the QoS perceived by mobile users, making more difficult to realize seamless handover procedures. In this paper, we design a set of mechanisms (called CT-Trigger), which operate on the mobile node at different network layers and intelligently activate the context transfer in the framework of the Context Transfer Protocol. The proposed mechanisms provide methods to forecast the handoff time of the mobile node and the access router that will hand off the connection, and an actuator to start the context transfer signaling. We show that the forecasting algorithm is stable and converges both for simple and complex trajectories, typical of urban regions; moreover, it is able to effectively avoid the ping-pong effect. We also present the design of the CT-Trigger.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116645754","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
Exploiting Network Calculus for Delay-Based Admission Control in a Sink-Tree Network 利用网络演算实现基于延迟的Sink-Tree网络准入控制
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.10
L. Lenzini, Linda Martorini, E. Mingozzi, G. Stea
{"title":"Exploiting Network Calculus for Delay-Based Admission Control in a Sink-Tree Network","authors":"L. Lenzini, Linda Martorini, E. Mingozzi, G. Stea","doi":"10.1109/FIRB-PERF.2005.10","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.10","url":null,"abstract":"In this paper we propose an admission control algorithm which is suitable for real time traffic in a sink-tree network in which per-aggregate resource management is in place. Every flow specifies its leaky-bucket parameters and a required delay bound, and the algorithm admits a new flow if a guarantee can be given that the delay bound for every established flow is not exceeded. The algorithm is based on a formula, derived through Network Calculus, that relates the worst-case delay of a single flow to the transmission rate provisioned for the aggregate and to the leaky-bucket parameters of flows at the ingress of the network. We describe the algorithm and the employed data structures, and we evaluate its complexity.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127593139","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
A Tool Set for Modeling and Simulation of Robotic Workcells 机器人工作单元建模与仿真工具集
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.5
Fabrizio Baldini, G. Bucci, E. Vicario
{"title":"A Tool Set for Modeling and Simulation of Robotic Workcells","authors":"Fabrizio Baldini, G. Bucci, E. Vicario","doi":"10.1109/FIRB-PERF.2005.5","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.5","url":null,"abstract":"Robotic systems are a notable example of the class of reactive systems in which design complexity faces not only timing constraints and correct ordering in execution, but also spatial relationships and dynamic evolution of robotic units. Simulation of agents in a 3D environment is a way for getting a better understanding of system behavior as well as detecting possible hazardous conditions concerning event sequencing and timing, along with their relations with spatial constraints. In this paper, a formal high-level control model based on Time Petri Nets is used to capture robot behavior and to drive animation in the virtual 3D environment. A rich set of tools has been developed to allow assembly of virtual robots, their composition into a virtual workcell and the definition of the control model itself.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127784681","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}
引用次数: 7
Efficient Analysis Algorithms for Parametric Fault Trees 参数故障树的高效分析算法
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.9
A. Bobbio, D. Raiteri, M. Pierro, G. Franceschinis
{"title":"Efficient Analysis Algorithms for Parametric Fault Trees","authors":"A. Bobbio, D. Raiteri, M. Pierro, G. Franceschinis","doi":"10.1109/FIRB-PERF.2005.9","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.9","url":null,"abstract":"The Fault Tree (FT) is a widespread model for the dependability (reliability) analysis. One of its several extensions is called Parametric Fault Tree (PFT) and is oriented to redundant systems providing a compact (parametric) way to model replicated components or subsystems. This paper presents the PFT solution method based on a new form of Binary Decision Diagrams (BDD), called Parametric BDD (pBDD). Such method exploits the parametric form combined with the advantages of the use of BDDs. pBDDs are used for both the qualitative and the quantitative analysis of PFTs. A case of redundant system supports the introduction and the application of the new method.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"179 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131818443","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
Software Performance Analysis in UML Models UML模型中的软件性能分析
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.19
S. Distefano, M. Scarpa, A. Puliafito
{"title":"Software Performance Analysis in UML Models","authors":"S. Distefano, M. Scarpa, A. Puliafito","doi":"10.1109/FIRB-PERF.2005.19","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.19","url":null,"abstract":"An early integration of performance considerations inside the software development process has been recognized during last years as an effective approach to speed up the production of high quality and reliable software. In this paper we propose a possible solution to address software performance engineering that evolves through the following phases: system specification using an augmented UML notation, creation of an intermediate performance context model, generation of an equivalent stochastic Petri netmodel whose analytical solution provides the required performance measures. We describe all the steps of the proposed approach and present ArgoPerformance, a tool we have developed that provides a complete graphical environment for software performance evaluation. We present a simple case study and validate our results against those obtained by other authors through simulation.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131986019","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}
引用次数: 29
Design and Testing of Scalable Web-Based Systems with Performance Constraints 具有性能约束的可扩展web系统的设计和测试
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.8
M. Andreolini, M. Colajanni, P. Valente
{"title":"Design and Testing of Scalable Web-Based Systems with Performance Constraints","authors":"M. Andreolini, M. Colajanni, P. Valente","doi":"10.1109/FIRB-PERF.2005.8","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.8","url":null,"abstract":"Modern Web sites provide multiple services that are deployed through complex infrastructures consisting of distributed components, processes and server nodes. The importance and the economic impact of consumer-oriented Web sites introduces significant requirements, mainly in terms of user perceived performance and scalability. This paper presents some methods for the design and testing of modern, dynamic Web sites and for the improvement of existing systems that must satisfy some performance constraints even in the case of unpredictable load variations. A case study describes the application of the proposed methods to a typical consumer-oriented Web site.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131758428","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}
引用次数: 7
Towards Transparent Optimistic Synchronization in HLA HLA透明乐观同步研究
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.21
F. Quaglia, Andrea Santoro, B. Ciciani
{"title":"Towards Transparent Optimistic Synchronization in HLA","authors":"F. Quaglia, Andrea Santoro, B. Ciciani","doi":"10.1109/FIRB-PERF.2005.21","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.21","url":null,"abstract":"In this paper we propose a software architecture for achieving completely transparent optimistic synchronization in the High-Level-Architecture (HLA), namely the emerging standard for the interoperability and the integration of heterogeneous simulators. The software architecture is based on a layer called MAgic State Manager (MASM), which we have designed and implemented for transparently handling state related operations (i.e. checkpointing and recovery), and on an additional software layer, we propose in this paper, acting as Rollback Controller (RC) and taking care of all the other operations (e.g. event retractions) required to support optimistic synchronization. Compared to existing proposals, which only partially move synchronization related operations outside the application level code, our proposal has the advantage of completely removing the need for modules in support of optimistic synchronization at the application level, thus strongly simplifying the application level programmer job.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127160229","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}
引用次数: 1
On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models 随机过程代数与排队网络模型的关系
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.13
S. Balsamo, Marta Simeoni
{"title":"On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models","authors":"S. Balsamo, Marta Simeoni","doi":"10.1109/FIRB-PERF.2005.13","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.13","url":null,"abstract":"Various models and methods have been proposed and applied for quantitative system performance evaluation, including Queueing Networks (QN) and Stochastic extensions of Process Algebras (SPA), that show different characteristics and advantages. These formalisms have been applied to model and analyze the performance of hardware and software systems at different levels of abstraction, and more recently at the Software Architectures level. In this paper we investigate some relationships between SPA and QN, and more specifically we compare the SPA specifications based on Æmilia and a class of QN. We propose an approach to translate a QN model into an Æmilia specification in order to take advantage of the model definition based on SPA that allows the combination of functional and performance analysis and compositional, graphical and hierarchical modeling of complex systems. This work extends and reverses a previous comparison of the two formalisms based on the mapping from Æmilia specifications to QN. The integration of these two formalisms aims to combine their main advantages as tools for system performance analysis, in order to efficiently describe and analyze both functional and performance properties of system specifications within the same integrated framework.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125143754","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
Models of Dynamic Web Content 动态Web内容模型
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.12
M. Calzarossa, D. Tessera
{"title":"Models of Dynamic Web Content","authors":"M. Calzarossa, D. Tessera","doi":"10.1109/FIRB-PERF.2005.12","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.12","url":null,"abstract":"Web pages are created, modified and removed at unspecified times by their owners. The frequency and extent of changes to Web pages vary across sites and across pages within sites. These changes influence the quality of the information retrieved from the Web and to some extent the delays experienced by the users. Our study focuses on the analysis of a news Web site with the objective of modeling the dynamic behavior of its content. We identify weekly and daily patterns in the page creation and update processes and we analyze the degree of change of the content of the pages. The study shows that many new pages were created every day, whereas existing pages but front pages, were updated few times and typically to a limited extent.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"15 8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127822016","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
Performance Model Building of Pervasive Computing 普适计算的性能模型构建
2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05) Pub Date : 2005-09-19 DOI: 10.1109/FIRB-PERF.2005.15
A. D’Ambrogio, G. Iazeolla
{"title":"Performance Model Building of Pervasive Computing","authors":"A. D’Ambrogio, G. Iazeolla","doi":"10.1109/FIRB-PERF.2005.15","DOIUrl":"https://doi.org/10.1109/FIRB-PERF.2005.15","url":null,"abstract":"Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using automated methods of model building is becoming of increasing interest to software developers who have neither the skills nor the time to do it manually. This is particularly relevant in pervasive computing, where the large number of software and hardware components requires models of so large a size that using traditional manual methods of model building would be error prone and time consuming. This paper deals with an automated method to build performance models of pervasive computing applications, which require the integration of multiple technologies, including software layers, hardware platforms and wired/wireless networks. The considered performance models are of extended queueing network (EQN) type. The method is based on a procedure that receives as input the UML model of the application to yield as output the complete EQN model, which can then be evaluated by use of any evaluation tool.","PeriodicalId":218095,"journal":{"name":"2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05)","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127824837","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
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信