fred@sics.se (Lars-}ke Fredlund) (06/05/91)
Advance Program, PSTV XI
11th IFIP WG6.1 International Symposium on
Protocol Specification, Testing, and Verification
Stockholm, 17-20 June 1991
THEMES
- - Scientific progress, industrial applications and new generation protocols
- - Bicentennial celebration of the Communication Protocol or
"From optical telegraph to optical fibers"
OBJECTIVE
To bring together researchers and practitioners interested in the
theory and application of formal design techniques to the design,
analysis and implementation of distributed systems.
SCOPE
Original contributions on theory, applications, and experiences from
the use of advanced techniques are presented in the following areas
applied to distributed systems, with emphasis on services and
protocols:
- - Specification languages and models
- - Formal Specification
- - Testing and Certification
- - Verification and validation
- - Implementation
- - Environments and automated tools
In addition to these topics, which are traditional to the symposium,
we are pleased to announce contributions in the following areas:
- - Specification, testing and verification of real-time properties
- - Automated and semi-automated analysis of non-finite-state systems
- - Design and implementation by stepwise refinement
- - Applications of the above to new generations of high-speed networks,
multi-media services, distributed environments for computer supported
cooperative work, etc.
SPONSORS
- - ASEA-Brown Boveri
- - Digital Equipment
- - Ericsson
- - Forsvarets Materielverk
- - IBM
- - Televerket
ORGANIZERS
Program Co-chairmen
- - Bj|rn Pehrson, bjorn@sics.se, phone: +46 - 8 752 1510
- - Bengt Jonsson, bengt@sics.se, phone: 46 - 8 752 1549
- - Joachim Parrow, joachim@sics.se, phone +46 - 8 752 1525
Adress: SICS, Box 1263, S-164 28 Stockholm-Kista
fax: +46 - 8 751 7230
Program Committee
- - Gregor v Bochmann, Canada (bochmann@iro.umontreal.ca)
- - Tommaso Bolognesi, Italy (bolog@icnucevm.bitnet)
- - Ed Brinksma, Netherlands (infed@utinu1.uucp)
- - Andr` Danthine, Belgium (danthine@BLIULG11.bitnet)
- - Michel Diaz, France (diaz@droopy.laas.fr)
- - Kokichi Futatsugi, Japan (futatsugi@etl.go.jp)
- - G~nther Karjoth, Switzerland (gka@ibm.com)
- - Ole Kjoller, Sweden (ole@eua.ericsson.se)
- - Simon Lam, USA (lam@cs.utexas.edu)
- - Luigi Logrippo, Canada (lmlsl@acadvm1.uottawa.ca)
- - Carrol Morgan, UK (carroll@prg.ox.ac.uk)
- - Ken Parker, Australia (parker@shiva.trl.oz.au)
- - Joseph Sifakis, France (sifakis@imag.fr)
- - Juan Quemada, Spain (jquemada@dit.upm.es)
- - Harry Rudin, Switzerland (hr@ibm.com)
- - Robin Sharp, Denmark (robin@iddth.dk)
- - Marti Tienari, Finland (tienari@cs.helsinki.fi)
- - Umit Uyar, USA (umit@honet5.att.com)
- - Pierre Wolper, Belgium (pw@montefiore.ulg.ac.be)
THE SYMPOSIUM PROGRAM
The symposium will be started with a tutorial day on June 17.
Parallel streams will be arranged on protocol specification and
verification by Holzmann, Gouda and Bochmann, and protocol testing and
performance modeling by Kroon&Wiles, Ajmone- Marsan and Martikainen.
The MultiG workshop
The 2nd MultiG workshop is arranged in parallel with the tutorial day,
June 17. MultiG is a Swedish academic research program on distributed
multimedia applications and very high-speed networks.
The workshop, which is open to the participants of the symposium,
includes presentations about multi-media services, distributed
environments for computer supported co-operative work, etc.
Research contributions
The main part of the symposium will consist of presentations of
research contributions. As in previous years, all papers will be
distributed at the symposium in the form of participants proceedings.
Invited speakers
There will be two invited talks:
o Current and future directions in automatic verification and model
checking, given by Pierre Wolper from Univ. of Liege.
o New protocol issues in high-speed networks given by Craig Partridge,
visiting researcher at SICS on leave from Bolt, Beranek and Newman
Inc.
Posters
There will be posters presenting work in progress, recent results and
experiences.
Interactive demos
Interactive demonstrations of various tools and distributed
applications will take place during the symposium. Demos in the 2nd
MultiG workshop program are also available for the symposium
participants
Panel discussions
Two panel discussions will be arranged. Topics for debate are:
- - Are formal techniques useful for protocol design in industrial applications?
- - What requirements are imposed on formal techniques by multimedia
protocols and high-speed networks? Will existing techniques cope?
Excursion and dinner
The conference dinner will arranged in connection with a boat
excursion into the Stockholm archipleago consisting of approximately
24.000 islands of various sizes.
- --------------------------------------------------------------------------
Monday June 17
PSTV tutorials
- --------------
Please indicate your choice of tutorial (A-E) in the registration form
A: Validation
9.00-10.30, 11.00-12.00
Tutorial on Protocol Validation, lecture part
Gerard Holzmann, AT&T Research
In the afternoon, excercises will be arranged in groups with limited
participation.
B: Testing
9.00-10.30, 11.00-12.00
Tutorial on TTCN
Jan Kroon, PTT Research,NL, Anthony Wiles, Televerket,S
12.00 Lunch
C:Specification&Verification
13.30-15.00, 15.30-16.30
Protocol verification made simple:
the invariants and variants of communication protocols
Mohamed Gouda, Univ. of Texas
17.00-18.15
Object-oriented specifications in OSI and distributed processing
Gregor v. Bochmann, Univ. de Montreal
D: Performance
13.30-15.00, 15.30-16.30
Tutorial on Performance modeling and analysis with
Generalized Stochastic Petri-Nets (GSPN)
Marco Ajmone Marsan, Univ. Politecnico de Torino
17.00 - 18.00
Performance analysis Case studies
Olli Martikainen,VTT, Helsinki
E:MultiG tutorial on CSCW
13.30-15.00, 15.30-17.00
Tutorial on CSCW -Computer Supported Cooperative Work,
Jonathan Grudin, DAIMI, Aarhus Univ.
- ------------------------------------
Monday June 17
MultiG Workshop
Opening address:
Orjan Matsson, President, Ellemtel Utvecklings AB
CSCW, Computer Supported Cooperative Work
Chair: Jonathan Grudin
- - The Knowledgenet, - a model of a CSCW environment for collaborative design
10.30 Break
11.00 Distributed multi-media applications
Chair: Yngve Sundblad
- - Issues in TelePresence, distributed virtual worlds
- - Issues in multimedia interface-builders
- - Structure presentation and multimedia servers
12.00 Lunch
13.30 Protocols for high-speed networking
Chair: Per Gunningberg
- - System and network requirements for some multimedia scenarios
- - A faster UDP
- - Implemention of the ST-2 protocol
- - Delayed evaluation of Gigabit protocols
15.00 Break
15.30 Very High-speed Networks
Chair: Bjarne Dacker
- - Gigabits to the Home
- - Synchronization of communication in loosely coupled Networks
- - Performance and hardware issues of the MultiG Medium Access Protocol PTM
- --------------------------------------------------------------------------
SYMPOSIUM
Monday 17 June
- ---------------
19.00 Reception at Telemuseum among optical telegraphs
Tuesday 18 June
- ----------------
9.00 Opening session
Opening address:
Bo Hedfors, Senior Vice President, Ericsson
9.30 Invited paper: Current and future directions in automatic
verification and model checking, Pierre Wolper, University of Liege
10.30 Break
11.00 Session on Verification
- - An improved failures equivalence for finite-state systems with a
reduction algorithm, A. Valmari and M. Tienari
- - Efficient state exploration with the interleaved expansion, J. Quemada
12.00 Lunch
13.30 Session on Specification
- - Structuring mechanisms for the formal description technique CRS,
Velthuys, Mackert, Schneider, and Z|rntlein.
- - A formalization of temporal message-flow diagrams, A. Cockburn
- - An extension of the multi-way synchronization mechanism concealed
by Estelle, P. de Saqui-Sannes and J.-P. Courtiat
15.00 Break
15.30 Session on Refinement and Implementation
- - A composition theorem for layered systems, S. Lam and U. Shankar
- - Stepwise refinement of reactive processor farms, K.Sere
- - Automatic implementation of TP4/IP with an Estelle workstation,
Development methodology and performance evaluation, P. Sandoval, E.
Va'zques, and M. Sedano
17.00 Break
17.30- 18.30 Panel: Are formal Techniques useful for protocol design
in industrial applications?
Wednesday June 18
- ------------------
8.30 Registration
9.00 Session on Semantics
- - A modular approach for the validation of communication protocols
using FIFO nets, Y. Souissi
- - An expressive trace theory for LOTOS, S. Gallouzi, L. Logrippo,
and A. Obadi
10.00 Break
10.30 Session on Performance and Time
- - Stochastic petri net modeling of the FDDI network protocol, I.F.
Akyildiz, G. Chiola, D. Kofman, and H. Krezlioglu
- - Performance description and analysis for distributed systems using
a variant of LOTOS, N. Rico and G. von Bochmann.
- - A constrained approach for temporal intervals in the analysis of
timed transitions, Y.-J Lin and G. Wuu
12.00 Lunch
13.30 Invited Talk: Protocols for High-Speed Networks, Craig Partridge
BBN/SICS
14.30 Panel: What requirements are imposed on formal techniques by
multimedia protocols and highj-speed networks? Will existing
techniques cope?
15.30 Excursion and Symposium dinner
Thursday June 20
- -----------------
9.30 Session on Testing theory
- - A framework for test selection, E. Brinksma, J. Tretmans, and L.
Verhaard
- - Conformance relation, associated equivalence, and new canonical
tester in LOTOS, G. Leduc.
10.30 Break
11.00 Session on Conformance Testing
- - LAPB conformance testing using trace analysis, R.Wvong
- - Presentation layer conformance testing with TTCN, Strecker, B{r,
Effelsberg, and Stoll
12.00 Lunch
13.30 Session on Test Sequence Generation
- - Generating test sequences and their degrees of indeterminism for
protocols with applications in LOTOS, Toyat Cheung et al
- - Test generation for the specification writted in Estelle, D.Y. Lee
and J.Y. Lee.
- - Towards automatic test generation for protocol data aspects,
E.Kwast.
- - Protocol conformance testing by discriminating {UIO} sequences, C.
Feng, X. Sun, Y.-N Shen, and F. Lombardi
15.30 Closing
- --------------------------------------------------------------------------
Interactive demos
The following interactive demos below will be presented during the
tutorial day and the symposium days.
- --------------------
PSTV demos
- - ESTIM, a tool for simulating and verifying Estelle(*) specifications
Jean-Pierre Courtiat, Toulouse
- - SDT, a toolset for SDL, Telesoft
- - LOLA, a tool for transforming LOTOS specifications, with
interleaved expansion implemented, Juan Quemada, Madrid
- - TOPO - a toolset to support product realization from LOTOS
specifications, Jose A. Manas, Madrid
- - clc, a compiler for C-LOTOS, Eric Dubuis, Zurich
- - VERILOG/IMAG/INRIA tools - tools for verifying LOTOS specifications,
and a tool for simulation and verification of ESTELLE specifications,
Hubert Garavel, VERILOG
- - GSPN, a generalized stochastic Petri-net tool for performance
modeling and analysis I.F. Akyildiz, Atlanta
- - Performance analysis case studies, Olli Martikainen, Seppo Niemi,
Helsinki
- - Erlang, a toolset for rapid prototyping of telecommunication systems
Joe Armstrong, Stockholm
- ---------------------------
MultiG demos
- - The collaborative desktop, Hans Marmolin, Yngve Sundblad
- - Picturephonetalk, Hans Eriksson, Lennart Fahlen
- - Telepresence, distributed virtual worlds, Lennart Fahlen
- - DMIB, a distributed multimedia interface-builder, Bjorn Eiderback
- - GAD, graphical application developer Bjorn Backlund, Jesper Lundh
- - APS, a multimedia interaction server, Anneli Avatare, Kai-Mikael Jaa-Aro
- - Mdraw & 3D-Mdraw, distributed multi-user editors, Christer Bohm
- - Simulations of the PTM Medium Access Protoco, Lotten Elmstedt, Per
von Knorring
- --------------------------------------------------------------------------
VENUE
The symposium will be held at Electrum, a center for information
science and technology research and education. It is situated in Kista,
10 km north of the city center, on the high-way to the international
airport.
Buses go between the airport and Kista 1-3 times an hour depending on
the time of the day. The trip takes about 35 minutes.
June is normally the very best time to visit Scandinavia. It is
statistically the driest month. The weekend following the symposium,
Midsummer, is a big holiday in Sweden. Friday 21 June is Midsummer's
eve when many old traditions are excercised.If you have been thinking
about a Scandinavian vacation, you should take theopportunity to stay
on after the symposium.
Welcome to Stockholm in June 1991!
HOTEL INFORMATION
Until 24 May we have made block bookings in the following hotels.
You have to manage your hotel reservation yourself. After 24 May we
can not guarantee any rooms on our block bookings.
Mr Chip Hotel
Farogatan 9, Box 1196
S-164 22 Kista.
Tel: +46-8-750 56 00
Fax: +46-8-751 85 80
Single room SEK 816
Double room SEK 966
PSTV reference number: AI827
Memory Hotel
Borgfjordsg 3-5
S-164 22 Kista
Tel.: +46-8-793 07 00
Fax: +46-8-793 08 00
Single room SEK 816
Double room SEK 966
PSTV reference number: AA053
The Mr Chip and Memory hotels are both situated only five minutes walk
from the conference site and 20 minutes by underground from Stockholm
City. The hotels are new and the comfort is very good.
Welcome Hotel
Notarievagen 5
S-175 63 Jarfalla
Tel.: +46-8-760 25 20
Fax: +46-8-36 52 45
Telex: WELHO 14844
Single room SEK 695
Double room SEK 925
PSTV reference number: 5113.
Welcome Hotel is situated 5 km from Kista. Transport by local buses or
taxi (10 minutes).There are local trains every 15 minutes to Stockholm
City, time 20 minutes.The hotel is new and the comfort is good. Small
rooms.
Solna Lagprishotel
Rasundavagen 163
S-171 30 Solna
Tel.:+46-8-82 60 65
Single room SEK 450
Double room SEK 550
Solna Lagprishotel is a cheap and adequate hotel with 12 rooms about 15
minutes by underground from Kista and 10 minutes from Stockholm City.
If you have problems phoening the hotel, you may ask us for help.
REGISTRATION FEES
Prices are in Swedish currency (SEK) excl. VAT.
NOTE: Swedish residents must add 25% VAT ($moms$) on all payments.
Tutorial only*) 1500
Symposium only**) 2500
Tutorial & Symposium 3000
Students ***) 1000
Late registrations, after May 10, will be charged with an extra fee of
SEK 500 (excl. students).
.
*) Tutorial registrations include tutorial notes and coffee breaks.
**) Symposium registrations include welcome reception, coffee breaks,
symposium dinner and participant$s proceedings.
***) Student registrations include coffe breaks but not the reception
or the symposium dinner.
Note that lunches are NOT included.There are several restaurants in the
area so the participants can eat where and when they want.
METHOD OF PAYMENT: Payment in advance by commercial cheque (banker$s
draft) payable to SICS or by transfer to our bank Handelsbanken Account
no: 6921- 437807118 or by Postal Giro 512843-4.Foreign payments will
carry an exta fee acoording to the method of payment:
Commercial cheque SEK 60
Bank transfer SEK 50
On-site payments in cash only.
IMPORTANT: Please mark your payment PSTV and name of the participant(s).
Return the form to:
Charlotte Palmgren
SICS
Box 1263
S-164 28 KISTA, Sweden
Tel.:+46-8-752 15 77 or 70
Fax: +46-8-751 72 30
E-mail: lotta@sics.se
- ------------------------------------------------------------------------
PSTV XI Registration Form
Name:___________________________________________________________________
Affiliation:____________________________________________________________
Mailing
Address:________________________________________________________________
City/State/Zipcode:_______________________City:_________________________
Country:________________________________________________________________
Telephone:____________________________Fax:______________________________
E-mail:_________________________________________________________________
Payments: Please check appropriate
Registration fee_____________
Late registration____________ Tutorial(A-E?)__________ o Symposium o
Total ______________ Student o
Swedish VAT ______________
Total ______________
Payment fee ______________
Amount to pay ______________
- ------------------------------------------------------------------------
Lars-}ke Fredlund ! Email: fred@sics.se
Swedish Institute of Computer Science !
Box 1263 ! Tel: +46 8 752 1579 (or +46 8 752 1500)
S-164 28 KISTA, SWEDEN ! Fax: +46 8 751 7230