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