[comp.protocols.misc] IFIP PSTV XI Advance Program

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