Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

✍ Scribed by Alessandro Aldini (editor), Marco Bernardo (editor), Luciano Bononi (editor), Vittorio Cortellessa (editor)

• Publisher: Springer
• Year: 2010
• Tongue: English
• Leaves: 293
• Series: Lecture Notes in Computer Science; 6342
• Category: Library

✦ Synopsis

This volume contains the proceedings of the 7th European Performance En- neering Workshop (EPEW 2010), held in Bertinoro, Italy, on September 23–24, 2010. The purpose of this workshop series is to gather academic and industrial researchers working on all aspects of performance engineering. This year the workshop was structured around three main areas: system and network p- formance engineering, software performance engineering, and the modeling and evaluation techniques supporting them. This edition of the workshop attracted 38 submissions, whose authors we wish to thank for their interest in EPEW 2010. After a careful review process during which every paper was refereed by at least three reviewers, the Program Committee selected 16 papers for presentation at the workshop. We warmly thank all the members of the ProgramCommittee and all the reviewersfor their fair and constructive comments and discussions. The workshop program was enriched by two keynote talks given by Marco Roccetti and Ralf Reussner. We conclude by expressing our gratitude to all the people who contributed to the organization of EPEW 2010, in particular the sta? of the University Residential Center of Bertinoro. We are also grateful to the EasyChair team for having allowed us to use their conference system and Springer for the continued editorial support of this workshop series.

✦ Table of Contents

Title Page
Preface
Organization
Table of Contents
Invited Papers
Modeling and Experimenting with Vehicular Congestion for Distributed Advanced Traveler Information Systems
Introduction
Related Work
Issues of a Distributed ATIS: Congestion Detection and Information Spreading
Congestion Detection and Forecasting: A Model with Its Algorithm
Implementation
Evalutation and Comparison
Efficient Information Spreading: A Broadcast Approach
Conclusion
References
Application of Advanced Model-Driven Techniques in Performance Engineering
Introduction
Foundations
Model-Driven Performance Engineering
Component-Based Software Architecture
Palladio Component Model (PCM)
Generations of Model-Driven Technologies
Knowledge-Base for Reusable Performance Completions
Completion Integration within MDD
Automated Completion Integration in MDD
Performance Prediction with Completions
Conclusions and Visions
References
Network and Software Performance
A New Markov-Based Mobility Prediction Algorithm for Mobile Networks
Introduction
Related Work
The Global Prediction Algorithm
A New Markov-Based Mobility Prediction Algorithm
The Visit Frequency
The Ping Pong Handover
The Complete Algorithm
Data Sets Analysis and Network Topology Extraction
Simulation Results
Conclusion
References
Performance Aware Reconfiguration of Software Systems
Introduction
PARSY Overview
Assumptions and Problem Definition
Solving the Optimization Problem
Identifying Reconfiguration Times
Finding a New Configuration
Computational Complexity
Numerical Example
Related Works
Conclusions
References
On the Energy-Performance Tradeoff for Parallel Applications
Introduction
Background
Energy and Performance
List of Terms
Relationship between Energy and Speedup
The Impact of the Fraction of Sequential Work
The Impact of Average Parallelism
Discussion
Summary and Conclusions
References
Timed Models and Model Checking
A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking
Introduction
Preliminaries
Framework Description
One-By-Many Correspondence
Overall Methodology
Translation from Bounded TAPN to NTA
Extended Timed-Arc Petri Nets
Networks of Timed Automata
The Translation
Conclusion
References
Continuous Time and/or Continuous Distributions
Introduction
The Aircraft
Background
Labelled Markov Processes (LMPs)
Probabilistic Hybrid Systems
Aircraft Modeling
The Aircraft as an LMP
The Aircraft as a Rectangular PHA
Conclusion
Hybrid Labelled Markov Processes
Definition
Aircraft Modeling
Model-Checking of HLMP
Conclusion
References
Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report
Introduction
CSL Model Checking
Krylov Subspace Methods
Mathematical Formulation
Schwerdtfeger's Formula
Error Estimates
Experiments
Implementation
Experimental Setup
Case Studies
Results
Related Work
Future Work
Conclusions
References
Case Studies
A Markovian Agent Model for Fire Propagation in Outdoor Environments
Introduction
Multi-class Multi-type MA Model ($M^2M A M$)
Markovian Agent
Interaction-Dependent Model Analysis
The Fire Front Propagation Model
The MAs for the Fire and $T_cr$ Front Propagation
Fire and $T_cr$ Propagation Experiments
Performance Indexes
Numerical Results
Conclusions
References
Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs
Introduction
Background
Related Work
MAC in Beacon-Enabled Mode
The Proposed Model
Basic Components
Contention
Beacons
Parameterization
Experimental Results
Model Validation
Conclusions
References
Performance Modeling and Analysis of the Universal Control Hub
Introduction
Interoperable Architecture
Performance by Unified Model Analysis
Performance Model
Design Models
Performance Annotations
GSPN Model
Performance Analysis
Scalability
Replication
Conclusions and Further Work
References
Model Solutions and Bounds
Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing
Introduction
Marked Graphs and Tight Marking
Stochastic Marked Graph
Critical Cycle
Tight Marking
Graph Regrowing Strategy
Experiments and Results
Conclusions
References
A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces
Introduction
Theoretical Background
RCAT Formulation
The INAP Algorithm
INAP for Models with Infinite State Spaces
The Algorithm Input
Main Idea of the Algorithm
Formal Definition of INAP+
Convergence, Termination, Complexity and Optimizations
Example
Conclusion
References
State-Dependent Rates and Semi-Product-Form via the Reversed Process
Introduction
The Basic Model
Reversed Model
Satisfying Kolmogorov's Criteria
Rate Functions Giving Product-Form
Product-Form Solution
Special Cases
A Coxian Queue
A Gordon and Newell Closed Queueing Network
Extension to Multiple Dimensions
Conclusions and Further Work
References
Compositional Analysis
Predictive Modelling of Peer-to-Peer Event-Driven Communication in Component-Based Systems
Introduction
Foundations
Palladio Component Model
SBUS
Case Study
TIME Traffic Monitoring System
Performance Model
Experimental Evaluation
Related Work
Conclusions and Future Work
References
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes
Introduction
Markov Regenerative Processes
Decompositional Analysis of Non-ergodic MRPs
Processing the Initial Transient
Choosing the Processing Sequence
Pushing Down the Initial Probability
Experimental Tests
Complexity Analysis
Conclusions and Future Work
References
Compositional Abstraction of PEPA Models for Transient Analysis
Introduction
Markov Chains
Abstraction of Markov Chains
Continuous Stochastic Logic (CSL)
The Performance Evaluation Process Algebra
Compositional Abstraction of PEPA Models
An Example
Conclusions
References
Composing Systems While Preserving Probabilities
Introduction
Restricted Schedulers
Contributions
Probabilistic Processes and Schedulers
Probabilistic Ready-Trace Equivalence
CSP with Probabilistic Choice
Syntax
Semantics
Parallel Composition
Syntax
Semantics
Related Work and Conclusion
References
Author Index