First International Workshop on Practical Applications of Stochastic Modelling

PASM'04

PASM 2004 Programme

Saturday 4th September: 9am-4.30pm

0900-1000:

Invited talk: MoDeST: From Theory to Industrial Experience. Joost-Pieter Katoen

1000-1030:

FSPNs for Computing Transfer Time Distributions in P2P File Sharing Applications. R.Gaeta, M.Gribaudo, D.Manini, M.Sereno

1030-1100:

Break

1100-1130:

Calibration of a Queueing Model of RAID Systems. P.Harrison, S.Zertal

1130-1200:

Performance models for master/slave parallel programs. L.Baldo, L.Brenner, L.G.Fernandes, P.Fernandes, A.Sales

1200-1230:

Securing statically-verified communications protocols against timing attacks. M.Buchholz, S.Gilmore, J.Hillston, F.Nielson

1230-1300:

Performability of a secure electronic voting algorithm. N.Thomas

1300-1430:

Lunch

1430-1500:

Quantitative assessment of a peer-to-peer cooperative. infrastructure using SWNs C.Bellettini, L.Capra, M.Monga

1500-1530:

Analysis of a BMAP/D/1-Timer multiplexer. G.Horvath, M.Telek

1530-1600:

Performance evaluation of distributed systems using probabilistic model checking. N.Geisweiller, J.Bonte

1600-1630:

Break

PASM 2004 Invited Talk

MoDeST: From Theory to Industrial Experience. J-P. Katoen

The language MoDeST, a Modelling and Description language for Stochastic and Timed systems will be presented. MoDeST aims to support the modular description of reactive system's behaviour while covering both functional and non-functional system aspects (such as timing and quality-of-service constraints) in a single specification. It contains simple and structured data types, parallel composition and abstraction, atomicity control, and non-deterministic and random branching and timing. Timed, stochastic and simple probabilistic automata, and process algebras such as CSP and FSP form the basis of MoDeST.

In the talk, we will treat the design rationales and formal semantics of MoDeST. Two industrial case studies that were carried out with MOTOR, the MoDeST tool environment, will be detailed: the modeling and analysis of a device-absence detecting protocol in plug-and-play networks (UPnP), and the synthesis and stochastic analysis of schedules for a lacquer production plant.

PASM 2004 Currently Registered Participants

If you would like to register for PASM then please use the CONCUR registration pages. Registration is £100.00 or £85.00 for students.

• Jeremy Bradley (UK)
• Paulo Fernandes (Brazil)
• Nil Geisweiller (France)
• Stephen Gilmore (Scotland)
• Gabor Horvath (Hungary)
• Joost-Pieter Katoen (Netherlands)
• William Knottenbelt (UK)
• Daniele Manini (Italy)
• Nigel Thomas (UK)
• Anders Westerberg (Sweden)
• Verena Wolf (Germany)

Workshop organisers