Multi-Workshop on Formal Methods in Performance Evaluation and Applications

Index page
General presentation
Complete Program
Tool Demonstrations
Conference Committee

Workshop on Formal Methods and Telecommunications (WFMT'99)

Zaragoza, Spain, September 7, 1999

The Workshop on Formal Methods and Telecommunications aims at discussing the state of the art in the use of formal techniques all along the life cycle in the telecommunications field, particularly with respect to

  • modelling and design
  • performance analysis
  • validation and verification
  • testing
Workshop on Formal Methods and Telecommunications
09h00: Opening Session (Chair: M. Ajmone Marsan, T. Robles)
09h15: SDL (Chair: T. Robles)
  • J.Hintelmann (University of Essen, Germany)
    SDL based load and performance models for the design process of distributed systems
  • J.R. Vidal, L. Guijarro, V. Pla, J. Martínez (Univ. Politécnica de Valencia, Spain)
    An SDL modelling approach for performance evaluation of ATM networks
10h30: Coffee break
11h00: Case Studies (Chair: M. Ajmone Marsan)
  • R. Khoussainov, A. Patel
    Formal modelling in embedded system design: a case study
  • S.Heymer, J.Grabowski (Medical University of Lubeck, Germany)
    Chemistry in action: discovering the behaviour of a network from local observations
  • M. Ionescu, A. Cavalli, (Institud National del Telecommunications, France)
    Embedded testing for the MAP-CSM protocol
12h30: --
13h00: Lunch
14h30: LOTOS (Chair: T. Robles)
  • G. Huecas, T.Robles (Univ. Politécnica de Madrid, Spain)
    L.F. Llana-Diaz, A. Verdejo (Universidad Complutense de Madrid, Spain)
    E-LOTOS: an overview
  • C. Shankland (University of Stirling, UK)
    A. Verdejo (U. Complutense de Madrid, Spain)
    Time, E-LOTOS, and the firewire
16h00: Coffee break
16h30: Petri Nets (Chair: M. Ajmone Marsan)
  • B. Haverkort, A. Ost (Rheinish-Westfalishe Technische Hochschule, Aachen, Germany)
    Experiences in using infinite-state SPNs for modelling communication systems under self-similar traffic
  • M. Ajmone Marsan, R. Gaeta (Politecnico di Torino, Italy)
    GSPN and SWN models for ATM
17h45: --
Last modified: June 14, 1999