CALL FOR PARTICIPATION AT PMCCS-7
The 7th International Workshop on Performability Modeling
of Computer and Communication Systems
PMCCS-7: http://www.di.unito.it/~horvath/PMCCS
PMCCS series: http://www.pmccs.net
Torino, Italy
September 23-24, 2005
GENERAL
PMCCS-7 will be hosted at Villa Gualino in Torino, Italy. The
workshop is a satellite event of the 2nd International Conference on the
Quantitative Evaluation of Systems (QEST) 2005 (http://www.qest.org/).
The registration for PMCCS is administered by QEST 2005 and can be
completed at the QEST 2005 website.
SCOPE & TOPICS
The workshop aims to bring together academic and industrial
researchers in the area of integrated performance and dependability
modeling, with emphasis on bridging theory and practice. Theoretical
work as well as application-oriented work is welcome. Case studies
and industrial applications of performability modeling and evaluation
are solicited in the field of computer and communication systems as
well as in related fields, like flexible manufacturing systems,
product-in-process software development, medical systems,
transportation systems, and complex infrastructures.
According to the traditions of the PMCCS series, the workshop will be
characterized by open and intense discussions on various topics in
performability modeling and analysis, based on recent work of the
participants.
This year PMCCS organizes SPECIAL TRACKS to emphasize the following
areas (naturally, submissions are not limited to these topics):
- performability issues of power-limited devices
- performability management of autonomic and self-managed systems
WORKSHOP ORGANIZERS
Alma Riska, Seagate, USA,
[log in to unmask]
Andras Horvath, Dipartimento di Informatica, Universita di Torino,
[log in to unmask]
ORGANIZED BY
Dipartimento di Informatica, Universita di Torino
Dipartimento di Informatica, Universit? di Piemonte Orientale
Dipartimento di Elettronica, Politecnico di Torino
ADVANCED PROGRAM
The Program of the 7th International Workshop on Performability Modeling
of Computer and Communication Systems (PMCCS)
DAY 1: Friday, September 23, 2005
SESSION 1: Starting at 8:30 am
Power-Aware Computing
Session Chair: Boudewijn Haverkort
8:30am: Power-aware Resource Allocation via Online Simulation with
Multiple-queue Backfilling
Barry Lawson, Evgenia Smirni, Chuan Yue, Dimitris Nikolopoulos
8:50am: Probabilistic Model Checking and Power-Aware Computing
Marta Kwiatkowska, Gethin Norman, David Parker
9:10am: Predicting the Functional/Performance Impact of Dynamic
Power Management
M.Bernardo, A.Bogliolo, A.Acquaviva, A.Aldini, E.Bont`a, E.Lattanzi
9:30am: Discussion on SESSSION 1
COFFEE BREAK at 10:00 am
SESSION 2: Starting at 10:30am
Distribution Fitting / Reward Models
Session Chair: Andras Horvath
10:30am: Toward Fitting General Distributions within PEPA Terms
Nil Geisweiller
ļ¾
10:50am: Numerical behavior of the moment based estimation algorithms
Arpad Tari, Miklos Telek
11:10am: The Performability Distribution for Nonhomogeneous
Markov-Reward Models
Boudewijn R. Haverkort Joost-Pieter Katoen
11:30am: Computing Bounds of the Expected Cumulated Reward up to
Absorption
Ana Paula Couto da Silva, Gerardo Rubino
11:50am: Discussion on SESSION 2:
LUNCH at 12:20 pm
SESSION 3 at 2:00pm
Model Checking
Session chair: Murray Woodside
2:00pm: Automated Game Analysis via Probabilistic Model Checking
Paolo Ballarini
2:20pm: Hyperbolic PDEs for CSRL Model Checking: A Dej`a Vu
Lucia Cloth and Boudewijn R. Haverkort
2:40pm: Beyond Model-Checking CSL for QBDs: Resets, Batches and Rewards
Anne Remke and Boudewijn R. Haverkort
3:00pm: Discussion on SESSION 3
COFFEE BREAK at 3:30 pm
SESSION 4 at 4:00pm
Petri Nets, Stochastic Automata, Stochastic Activity Networks
Session chair: Andrea Bobbio
4:00pm: Removing Timed Delays in Stochastic Automataļ¾
Fida Kamal Dankar, Gregor v. Bochmann
4:20pm: Properties of the aggregation of stochastic state machines
Jorn Freiheit
4:40pm: Evaluation of a benchmark on dynamic reliability via Fluid
Stochastic Petri Nets
Daniele Codetta-Raiteri, Andrea Bobbio
5:00pm: Transforming Stochastic Activity Networks to continuous-time
Markov decision processes
Sven Johr
5:20pm: A graph of classes preserving quantitative temporal constraints
Janette Cardoso, Xiaoyu Mao, Robert Valette
DAY 2: Saturday, September 24, 2005
SESSION 5: at 8:30am
On-Line Performability Management
Session Chair: William H. Sanders
8:30am: Issues in On-Line Performability Modeling an Devaluation
through the Model-Based Approach
Andrea Bondavalli, Felicita di Giandomenico
8:50am: Evaluating the performability of systems with background jobs
Qi Zhang, Alma Riska, Evgenia Smirni
9:10am: Performability Optimization using Linear Bounds of Partially
Observable Markov Decision Processes
Kaustubh R. Joshi, William H. Sanders
9:30am: Stephen Jarvis
9:50am: Discussion on SESSION 5
COFFE BREAK at 10:20 am
SESSION 6: at 10:40am
Client/Resource/Service Models
Session Chair: Alma Riska
10:40am: A Short Investigation into Underexplored Model for Retries
Aad P. A. van Moorsel, Katinka Wolter
11:00am: Experimental Performability Evaluation of Middleware for Large-Scale
Distributed Systems
Luis Soares Jose Pereira
11:20am: A Composable Performance Model for Service/Resource Systems
Murray Woodside
11:40am: An Aggregation Approach to Constructing Hybrid Layered Queueing Models
Pengfei Wu, Murray Woodside
12:00am: Discussion on SESSION 6:
WORSHOP END at 12:30