Computer safety, reliability, and security : 18th international conference, SAFECOMP '99, Toulouse, France, September 27-29, 1999 : proceedings

500 Pages·1999·7.8 MB·English

by  SAFECOMP '99 (1999 : Toulouse, France)

3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Massimo Felici Karama Kanoun
Alberto Pasquini (Eds.)
Computer Safety,
Reliability and Security
18th International Conference, SAFECOMP’99
Toulouse, France, September 27-29, 1999
Proceedings
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
VolumeEditors
MassimoFelici
ENEA(sp088)
ViaAnguillarese,301,I-00060Roma,Italy
E-mail:[email protected]
KaramaKanoun
LAAS-CNRS
7,AvenueduColonelRoche,F-31077ToulouseCedex4,France
E-mail:[email protected]
AlbertoPasquini
ENEA(sp088)
ViaAnguillarese,301,I-00060Roma,Italy
E-mail:[email protected]
Cataloging-in-Publicationdataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Computersafety,reliabilityandsecurity:18thinternational
conference;proceedings/SAFECOMP’99,Toulouse,France,
September27-29,1999.MassimoFelici...(ed.).-Berlin;
Heidelberg;NewYork;Barcelona;HongKong;London;Milan;
Paris;Singapore;Tokyo:Springer,1999
(Lecturenotesincomputerscience;Vol.1698)
ISBN3-540-66488-2
CRSubjectClassification(1998):D.1-4,E.4,C.3,F.3,K.6.5
ISSN0302-9743
ISBN3-540-66488-2Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
(cid:2)c Springer-VerlagBerlinHeidelberg1999
PrintedinGermany
Typesetting:Camera-readybyauthor
SPIN10705000 06/3142–543210 Printedonacid-freepaper
Preface
The European Commission emphasizes, in its Fifth Research Framework, the
“...emerging generic dependability requirements in the information society, stemming
both from the ubiquity and volume of embedded and networked systems and services
as well as from the global and complex nature of large-scale information and
communication infrastructures, from citizens, administrations and business in terms of
technologies, tools, systems, applications and services". The series of Conference on
Computer Safety, Reliability, and Security (Safecomp) contributes to satisfy these
requirements by reviewing the state of the art, experiences, and new trends in the
relevant scientific and industrial areas. Safecomp is intended to be a platform for
technology transfer among academia, industry, and research institutions, providing
the opportunity for exchange of ideas, opinions, and visions among experts.
This year Safecomp celebrates the 20th anniversary, its first Conference having been
organized in Stuttgart by EWICS (European Workshop on Industrial Computer
Systems) in 1979, and we hope these Proceedings will contribute to the celebration by
supporting Safecomp aims. The Proceedings include the 25 papers that have been
presented orally at the Conference and the full version of the 14 papers that have been
presented as posters, all of which were selected from 76 submissions. Papers almost
uniformly take up Safecomp topics, dealing with the issues of Safety Assessment and
Human Factors, Verification and Validation, Design for Safety, Formal Methods, and
Security.
As General and Program Chair of Safecomp '99, respectively, we would like to thank
all authors who submitted their work, the presenters, the members of the international
program committee and the local organising committee, the external reviewers, the
session chairmen, the sponsors and co-sponsors, and all those who contributed to the
Conference with their efforts and support.
We hope this book will prove to be useful reading, and help you in your research
activity and in the design, assessment, and use of industrial computer systems.
Karama Kanoun Alberto Pasquini
General Chair IPC Chair
International Program Committee
S. Anderson UK K. Kanoun F (General Chair)
O. Andersen DK F. Koornneef NL
A. Bertolino I V. Maggioli USA
H. Bezecny D C. Mazet F
P. Bishop UK C. Mazuet F
R. Bloomfield UK M. Van der Meulen NL
S. Bologna I A. Pasquini I (IPC Chair)
F. Cara F G. Rabe D (EWICS Chair)
Y. Crouzet F J. Rainer A
F. Dafelmair D F. Redmill UK
W. Ehrenberger D F. Saglietti D
G. Dahll N E. Schoitsch A
P. Daniel UK I. Smith UK
R. Genser A T. Skramstad NO
J. Gorski PL J. Trienekens NL
D. Inverso USA U. Voges D
J. Järvi FIN S. Wittmann D
M. Kaâniche F A. J.Zalewski USA
Organizing Committee
Alain Costes, F Mohamed Kaâniche, F
Yves Crouzet, F Karama Kanoun, F
Massimo Felici, I Marie-Thérèse Ippolito, F
External Reviewers
Gerard Duin, NL Peter van Sprundel, NL
Robert Garnier, F Mark Sujan, D
Stefania Gnesi, I Markus Ullmann, D
Frank Koob, D Jaap van Ekris, NL
Raffaela Mirandola, I Marja Visser, NL
Helmut Schwigon, D Maria Wimmer, I
Petra Scrivani, I
List of Contributors
Bernhard K. Aichernig Antonia Bertolino
Technical University of Graz Istituto di Elaborazione della
Institute for Software Technology (IST) Informazione, CNR
Münzgrabenstr. 11/II Via S. Maria, 46
A-8010 Graz, Austria 56126 Pisa, Italy
Doo-Hwan Bae K. Bhattacharjiee
Department of Computer Science, Reactor Control Division
Korea Advanced Institute of Science Bhabha Atomic Research Centre
and Technology, 373-1, Kusong-dong, Mumbai 400 025, India
Yusong-gu, Taejon 305-701, Korea
Yun Bai Jean-Paul Blanquart
School of Computing and Information LIS / LAAS-CNRS
Technology 7 avenue du Colonel Roche
University of Western Sydney Nepean 31077 Toulouse Cedex 4, France
Australia
P. G. Beerthuizen Andrea Bobbio
Fokker Space B. V. Dipartimento di Scienze e Tecnologie
Dept. ERA Avanzate, Università del Piemonte
Newtonweg 1, P.O.B. 32070 Orientale “A. Avogadro” - C.so
2303 DB Leiden, The Netherlands Borsalino 54 – 15100 Alessandria, Italy
Alfredo Benso José-Carlos Campelo
Politecnico di Torino Department of Computer Engineering,
Dipartimento Automatica e Informatica Technical University of Valencia
Corso Duca degli Abruzzi, 24 Camino de Vera s/n, 46022 – Valencia
I-10129 Torino, Italy Spain
Cinzia Bernardeschi Paul Caspi
Dipartimento di Ingegneria della VERIMAG
Informazione, Università di Pisa 2 rue de Vignate
Via Diotisalvi, 2 F-38610 Gières, France
56126 Pisa, Italy
Suong-Deok Cha Yves Crouzet
Department of Computer Science, LIS / LAAS-CNRS
Korea Advanced Institute of Science 7 avenue du Colonel Roche
and Technology, 373-1, Kusong-dong, 31077 Toulouse Cedex 4, France
Yusong-gu, Taejon 305-701, Korea
A. Chiappini Ireneusz Czarnowski
Ansaldo Segnalamento Ferroviario Gdynia Maritime Academy
Via dei Pescatori ul. Morska 83
16100 Genova, Italy 81-225 Gdynia, Poland
Ester Ciancamerla Gustav Dahll
ENEA – CRE Casaccia Institute for Energy Technology
Via Anguillarese, 301 P.O. box 173
00060 Roma, Italy N-1751 Halden, Norway
A. Cimatti Rogério de Lemos
IRST, Istituto per la Ricerca Scientifica Department of Computer Science
e Tecnologica University of Newcastle upon Tyne
Via Sommarive NE1 7RU, United Kingdom
Povo 38050 – Trento, Italy
Tim Clement Yves Deswarte
Adelard LAAS-CNRS
Coborn House, 3 Coborn Road 7 avenue du Colonel Roche
London, E3 2DA, United Kingdom 31077 Toulouse Cedex 4, France
Pierre Corneillie S. D. Dhodapkar
CR2A-DI Reactor Control Division
25 quai Gallieni Bhabha Atomic Research Centre
92158 Suresnes cedex, France Mumbai 400 025, India
Ian Cottam David Eames
Adelard ASACS Safety and Standards Unit
Coborn House, 3 Coborn Road RAF
London, E3 2DA, United Kingdom United Kingdom
Chin-Feng Fan Monika Heiner
Department of Computer Engineering Brandenburgische Technische
and Science, Yuan-Ze University Universität Cottbus
135 Far East Road Institut für Informatik
Chung-Li, Taiwan D-03013 Cottbus, Germany
Alessandro Fantechi Maritta Heisel
Dipartimento di Sistemi e Informatica Otto-von-Guericke-Universität
Università di Firenze Magdeburg, Fakultät für Informatik
Via S. Marta, 3 Institut für Verteilte Systeme
50139 Firenze, Italy D-39016 Magdeburg, Germany
Lucia Vilela Leite Filgueiras Gordon Hughes
Escola Politecnica da Universidade de Department of Computer Science
Sao Paulo University of Bristol
C.P. 61548 Woodland Road
05424-970, Sao Paulo, SP, Brazil Bristol BS8 1UB, United Kingdom
Peter Froome Andrew Hussey
Adelard Software Verification Research Centre
Coborn House, 3 Coborn Road The University of Queensland
London, E3 2DA, United Kingdom Brisbane, Qld, 4072, Australia
Pedro Gil Yoon-Kyu Jang
Department of Computer Engineering Department of Computer Science
Technical University of Valencia Korea Advanced Institute of Science
Camino de Vera s/n 46022 – Valencia and Technology 373-1, Kusong-dong
Spain Yusong-gu, Taejon, 305-701, Korea
Stefania Gnesi Piotr Jedrzejowicz
Istituto di Elaborazione della Gdynia Maritime Academy
Informazione, CNR ul. Morska 83
Via S. Maria, 46 81-225 Gdynia, Poland
56126 Pisa, Italy
John Goodson Chris Johnson
Admiral Management Services Limited Department of Computer Science
Kings Court University of Glasgow
91-93 High Strett Camberley Glasgow, G12 8QQ, United Kingdom
Surrey GU13 3RN, United Kingdom
Claire Jones Yong-Rae Kwon
Adelard Department of Computer Science
Coborn House, 3 Coborn Road Korea Advanced Institute of Science
London, E3 2DA, United Kingdom and Technology 373-1, Kusong-dong
Yusong-gu, Taejon, 305-701, Korea
Mohamed Kaâniche Sung-Min Lee
LAAS-CNRS Department of Computer Science &
7 avenue du Colonel Roche Engineering, Korea University
31077 Toulouse Cedex 4, France 1, 5-Ga Anam-Dong Seongbuk-Gu
Seoul 136-701, Korea
Tim P. Kelly Gaetano Lombardi
Department of Computer Science Ericsson Telecomunicazioni SpA
University of York Roma, Italy
Heslington York, YO10 5DD
United Kingdom
Tai-Yun Kim Eda Marchetti
Department of Computer Science & Istituto di Elaborazione della
Engineering, Korea University Informazione, CNR
1, 5-Ga Anam-Dong Seongbuk-Gu Via S. Maria, 46
Seoul 136-701, Korea 56126 Pisa, Italy
Heinrich Krebs John May
TÜV Rheinland Department of Computer Science
Am Grauen Stein University of Bristol
D-51105 Köln, Germany Woodland Road
Bristol BS8 1UB, United Kingdom
W. Kruidhof Christine Mazuet
Fokker Space B. V. Schneider Electric
Dept. ERA Usine M3
Newtonweg 1, P.O.B. 32070 F-38050 Grenoble Cedex 9, France
2303 DB Leiden, The Netherlands
Silke Kuball John A. McDermid
Department of Computer Science Department of Computer Science
University of Bristol University of York
Woodland Road Heslington York, YO10 5DD
Bristol BS8 1UB, United Kingdom United Kingdom