Date: Fri, 24 Apr 1998 13:52:01 +0200 (MET DST)
From: Marcin Neyman <marcinn@pg.gda.pl>
-------------------------------------------------------------------------------
Ninth European Workshop on Dependable Computing (EWDC-9)
"Testing Methods and Tools for Modern Computer Systems and Networks"
May 14-16, 1998
Gdansk, Poland
-------------------------------------------------------------------------------
Sponsored by:
Joint Technical Interest Group "Fault-tolerant Computing" of GI, GMA, ITG
(Germany);=20
AFCET Working Group "Dependable Computing" (France);
AICA working group "Dependability in Computer Systems" (Italy);
The Computer Chapter of Poland Section of the IEEE;
Polish Academy of Sciences (PAN);
State Committee for Scientific Research (KBN)
Organized by:
Faculty of Electronics, Telecommunications and Informatics
Technical University of Gdansk
Poland
Programme Chairman:
Henryk Krawczyk, Technical University of Gdansk, Poland
The workshop venue:
The workshop will be held at the Technical University of Gdansk,
main building lecture hall no. 300 (please enter campus at the main gate).
REGISTRATION
Please fill in the attached registration form and send it=20
(via e-mail or regular mail) to:
=20
Prof. Henryk Krawczyk, Faculty of ETI, Technical University of Gdansk
ul. Narutowicza 11/12
80-952 Gdansk, POLAND
phone: ++(48 58) 347-1018 (347-1089 347-1702) fax: ++(48 58) 341-6132
e-mail: ewdc9@pg.gda.pl
Registration fee is 150 USD if paid before April 30, 1998 or 200 USD=20
for late or on site registration.
The registration fee includes the workshop proceedings, two lunches,
two evening receptions and a sightseeing Saturday tour, but does not=20
include accommodation costs.
Receiving a registration payment in full before April 30, 1998
guarantees inclusion of your paper in the workshop proceedings,
printed before May 14, 1998 and available at the conference.
Note that the number of participants is limited to sixty persons.=20
Besides the speakers and pre-registered participants, an additional=20
group of ten to fifteen participants can be accommodated. Additional
registrations will be honoured on a first-come first-served basis.
HOTEL RESERVATION
A pool of rooms has been reserved at special rates at "Marina" Hotel
(first class). The room rate is DEM 119 for single room and DEM 143=20
for double room incl. breakfast. Prices of business executive suits are=20
respectively DEM 142 and DEM 170 for single and double room. All quoted=20
prices are in German Marks (DEM). To get this rate you must specifically
mention "Politechnika Gdanska EWDC9".
Required reservation deposit is 30% of the total price. Your reservation=20
and reservation deposit must be received by the hotel before April 30, 19=
98=20
to guarantee availability of rooms.=20
Send your reservation directly to the hotel by mail, phone or fax (please=
=20
use the Hotel Reservation Form attached at the end).
Address: Hotel MARINA, ul. Jelitkowska 20
80-342 Gdansk, POLAND
Phone: ++(48 58) 553-2079=09
Fax: ++(48 58) 553-3159=09
An additional pool of rooms has been reserved in hotel "Hevelius",=20
located in city centre of Gdansk. Prices for single and double rooms=20
including breakfast are respectively: 220 PLN and 280 PLN per night.
Stated prices are valid only for EWDC-9 participants. To get a reservatio=
n=20
in this hotel, please check the appropriate box in the registration
form, attached.
Alternatively tourist class hotel "Wanda" and a student hostel accommodat=
ion=20
(or equivalent) is possible. The room rate including breakfast in hotel=20
"Wanda" is 120 PLN for single room and 125 PLN for double room.=20
The student hostel accomodtion is 40 PLN per person without breakfast in=
=20
double rooms. To get this type of accommodation (tourist or student class=
)=20
please tick appropriate box on the Registration Form attached below.
In this case payment will have to be made locally (Hotel "Wanda accepts c=
redit
cards and cash while student hostel accepts cash only).=20
*ATTENTION*=20
Please note that number of available rooms in "Wanda" hotel is limitted.
Requests for tourist class accommodation will be honoured in first-come=20
first-served basis.=20
A special bus service will be provided from the hotels to the university.
ARRIVAL
Gdansk has an airport with direct connections to Warsaw, Copenhagen,
London, St. Petersburg and Hamburg. There is also a railvay station=20
and ferry.
More detailed information on how to get to your hotel will be send
on receiving your registration form.
With kind regards
EWDC-9 Chairman
Henryk Krawczyk =20
________________________________________________________________________
EWDC-9 Programme
________________________________________________________________________
Thursday, May 14
-----------------------
Opening 9:00 - 9:15
Testing microprocessor based systems 9:15-10:45
- A Fault Injection approach for embedded Microprocessor-based Boards.=20
A. Benso, P. Prinetto, M. Rebaudengo, M. Sonza Reorda
- Analysis and Testing of Process Controller Dependability.=20
J. Hlavicka, S. Racek, P. Herout
- MAFALDA: A Fault Injection Tool for the Evaluation of COTS-Microkernel=20
based systems. M. R. Moreno, F. Salles, J. Arlat, J. C. Fabre
- Software Versus Hardwired System Testing. J. Sosnowski
Coffee break 10:45-11:00
Invited lecture 11:00-11:45
Hybrid Methods and Systems: Modus Vivendi for a New Millennium. M. Male=
k
Automatic test pattern generation 11:45-13:15
- Application of Statistical Methods for Enhancing Automatic Test Pattern=
=20
Generation. A. Petri, A. Pataricza
- ATPG Based on Genetic Manipulation Techniques. H.-Ch. Dahmen, U. Glaser
- Heuristic Control in the Type-uninterpreted Dynamic Analysis Phase of=20
Architectural Test Pattern Generation. B. Sallay
- Mixed Bottom-Up/Top-Down Hierarchical Test Generation for Digital Syste=
ms.=20
R. Ubar
Lunch 13:15-14:45
Testability of digital circuits 14:45-16:15
- HTDD Based Accelerating of Fault Simulation. J. Sapiecha, K. Sapiecha
- Testable Digital Circuits for Pseudorandom Testing. A. Romankevitch,=20
V. Groll, Bassem Al Khadidi
- Testing Complex Circuits Implemented Using In-System Programmable
Devices. J. Binda, A. Krasniewski
- The VHDL Model of DEC-TED Memory Checker. K. Vlcek
Coffee break 16:15-16:30
Protocol analysis 16:30-17:40
- Experimental Analysis of a Reliable Broadcast Protocol for Redundant Bu=
s=20
Networks. A. Masum
- Security Threats in the TCP/IP Networks. T. Krzy=BFag=F3rski, J. Wo=BCn=
iak
- Towards Formality of Technical Requirements for Protocols. K. M. Brzezi=
nski
Fault-tolerant algorithms 17:40-18:50
- Adaptive Model-Based Procedure for Detection and Estimation of Drift-Li=
ke=20
Faults in Objects of Regression Type. A. A. P=B3atonow, K. J=EAdrzejews=
ki
- The Modified Weighted Checksums Method for Design of the Fault Toleran=
t=20
Linear Algebra Algorithms. Ju. Kanievski, O. Maslennikov, N. Maslenniko=
va,=20
R. Wyrzykowski
- Fault Tolerant Givens Rotations Method and its Utilization for Matrix=20
QR-Decomposition. O. Maslennikov
Evening event 20:00-=20
Bear & barbecue near the Forest Opera in Sopot
_________________________________________________________________________=
__
Friday, 15 May
---------------------------
Formal verification 9:00-9:50
- External Verification of a B Development Process. S. Behnia,=20
H. Waeselynck
- ZCL: A Formal Framework for Specifying Dynamic Distributed Software=20
Architectures. V. C. de Paula, G. R. Ribeiro Justo, P. R. F. Cunha
Coffee Break 9:50-10:05
Invited lecture 10:05-10:50
Statistical Testing Designed From Software Structural and Functional Mo=
dels.
P. Thevenod=20
Recovery techniques 110:50-12:00
- A Concept for the Transition-Net Based Derivation of Software Versions=20
for the Recovery Block Scheme. K. E. Grosspietsch, A. Romanovsky
- DUSBER - a New Fault Tolerance Technique Combining Duplication and Reco=
very.
K. Grans
- Non-deterministic Recovery of Computations in Testing of Distributed Sy=
stems.
M. Neyman
Lunch 12:00-13:30
Quality assurance 13:30-14:45
- Unit and Integration Testing of LUSTRE Programs: A Case Study from the=20
Nuclear Industry. P. Thevenod-Fosse
- Quality Testing Principles of Distributed Application Programs.=20
H. Krawczyk, B. Wiszniewski
- Testing in Object-Oriented Framework for Telecontrol Protocols Developm=
ent.=20
G. Cysewski, T. Gromadzki, H. =A3yskawa, M. Piech=F3wka, W. E. Koz=B3ow=
ski,=20
O. Vahamaki
Coffe break 14:45-15:00
Monitoring 15:00-16:15
- Application Monitoring in the Time-Triggered Architecture.=20
M. Kucera, Christoph Sikula
- Measurement and Monitoring in Distributed Systems. L. Hluchy, M. Dobruc=
ky,=20
J. Astalos
- Xstat: A Tool for Long Time Monitoring the Behaviour of Distributed=20
System. S. Topolski, A. Tumialis, P. W. Umi=F1ski
Coffee break 16:15-16:30
Quality assessment 16:30-17:45
- Distributed Debugger for Java Programs. J. Brzezinski,W. Konopka
- Assesing the Quality of Analytically Derived Worst-Case Execution-Time=20
Bounds. P. Puschner
- A New Approach To Software Testability Measurement. Jin-Chern Lin,=20
Chao-Yuan Huang, Szu-Wen Lin
Abstracts and final remarks 17:45-18:15
Workshop banquet 19:30
Reception in the Artus Court. Concert and dinner.
_________________________________________________________________________=
___
Saturday, May 16
--------------------------
Sightseeing tour 10:00-13:00
------------------------------------------------------------------------
REGISTRATION FORM=20
Ninth European Workshop on Dependable Computing (EWDC-9)
"Testing Methods and Tools for Modern Computer=20
Systems and Networks"
May 14-15, 1998, Gdansk, POLAND
Name:__________________________________________________________=20
Title:_________________________________________________________
Company/Organization:__________________________________________
Address:_______________________________________________________
Postal Code/City:______________________________________________
Country:_______________________________________________________
_______________________________ _________________________
Phone Fax
_______________________________=20
Email
Type of accommodation (check one):
"Hevelius" hotel (first class): room: single [ ] double [ ]
"Marina" hotel (first class - must be reserved individually) [ ]
"Wanda" hotel (tourist class): room: single [ ] double [ ]=09
student hostel or equivalent [ ]
do not reserve hotel - I'll find accommodation on my own [ ]
do not reserve hotel - I'll join a colleague in a double room [ ]
(note than a double room must be reserved by the=20
other person in this case)
date of arrival: May ___, 1998
date of departure: May ___, 1998
I would like to take part in the sight-seeing tour (free of charge)
on Saturday, May 16, 1998. YES [ ] NO [ ]
Number of accompanying persons attending social events: ______.
Expected point and time of arrival to Gdansk: ________________
______________________________________________________________.
_________________________________________________________________
REGISTRATION FEES:
Advance registration until April 30, 1998: 150 USD
Late or on-site registration: 200 USD
(The fees for local participants are 500 and 700 PLN)
METHOD OF PAYMENT (Check one):
[ ] Bank Transfer to:
Wielkopolski Bank Kredytowy SA
o/Gdansk
10901098-14007-128-01-0787-USD [ ]
10901098-2903-128-00-0-PLN [ ]
Please mark your transfer: "EWDC9 Krawczyk"
[ ] Cashiers check payable to: Politechnika Gdanska
=20
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
"Marina" HOTEL RESERVATION FORM=20
Ninth European Workshop on Dependable Computing (EWDC-9)
"Testing Methods and Tools for Modern Computer=20
Systems and Networks"
May 14-15, 1998, Gdansk, POLAND
Name:__________________________________________________________=20
Title:_________________________________________________________
Company/Organization:__________________________________________
Address:_______________________________________________________
Postal Code/City:______________________________________________
Country:_______________________________________________________
_______________________________ _________________________
Phone Fax
----------------------------------------------------------------
Please reserve (Check one):
single double
standard room: [ ] DEM 119 [ ] DEM 143
business suite: [ ] DEM 142 [ ] DEM 170
Date off arrival: May ___, 1998
Date of departure: May ___, 1998
-----------------------------------------------------------------
METHOD OF PAYMENT (Check one):
[ ] Bank Transfer to:
Bank Handlowy w Warszawie SA
Oddzial w Gdansku
10301117-02982201
Please mark your transfer: "Politechnika Gdanska - EWDC9"
=20
( Please fax copy of the remittance to the hotel reservation
office:
fax no: ++(48 58) 553-3159 )
[ ] Credit Card
Card Name (Check one)
[ ] Visa
[ ] Mastercard/Eurocard
Other __________________________
=20
Credit Card Number:______________________________________=20
Expiration Date:_________________________________________
Card Holder Name:________________________________________
Signature:_______________________________________________
----------------------------------------------------------------