Computer Safety, Reliability and Security : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

by SAFECOMP'98 (1998 : Heidelberg, Germany); Pasquini, Alberto; Goos, G.; Hartmanis, J.; Leeuwen, J. Van

• ISBN13: 9783540664888
• ISBN10: 3540664882
• Format: Paperback
• Copyright: 1999-06-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 18th International Conference on Computer Safety, Reliability, and Security, SAFECOMP'99, held in Toulouse, France in September 1999. The 39 revised full papers presented were carefully reviewed and selected from a total of 76 submissions. Among the topics addressed are safety assessment and human factors, verification and validation, design for safety, and formal methods and security.

Table of Contents

Invited Talk
Software Reliability Engineering in Industry	1	(12)
J. D. Musa
Assessment and Certification
A Systematic Approach to Safety Case Maintenance	13	(14)
T. P. Kelly
J. A. McDermid
SQUALE Dependability Assessment Criteria	27	(12)
Y. Deswarte
M. Kaaniche
P. Corneillie
J. Goodson
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project	39	(7)
G. Sonneck
E. Schoitsch
Safety Assessment and Human Factors (Poster Session)
Safety Evaluation of a Train Leader Telephone System	46	(12)
G. Dahll
Safety Analysis Techniques for Validating Formal Models During Verification	58	(9)
R. de Lemos
A. Saeed
Evaluating the Contribution of DesktopVR for Safety-Critical Applications	67	(12)
C. Johnson
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces	79	(10)
L. V. L. Filgueiras
The Impact of Different Media on Safety and Usability of Interactive ATC Applications	89	(14)
F. Paterno
C. Santoro
S. Tahmassebi
Human Factors
Patterns for Safer Human-Computer Interfaces	103	(10)
A. Hussey
Impact of Communication on Systems Dependability: Human Factors Perspectives	113	(12)
L. Rognin
J.-P. Blanquart
A Method for Operator Error Detection Based on Plan Recognition	125	(14)
J. Mo
Y. Crouzet
Safety Assessment
Hierarchically Performed Hazard Origin and Propagation Studies	139	(14)
Y. Papadopoulos
J. McDermid
Hardware Redundant Vital Computer - Demonstration of Safety on the Basis of Current Standards	153	(10)
H. Krebs
S. Mitra
Design for Safety (Poster Session)
System and Software Safety Analysis for the ERA Control Computer	163	(14)
P.G. Beerthuizen
W. Kruidhof
Safety Markup Language: Concept and Application	177	(10)
C.-F. Fan
S. Yih
Extendable Ground-to-Air Communication Architecture for CoDySa	187	(15)
A. Pakstas
I. Shagaev
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems	202	(14)
J. C. Campelo
P. Yuste
F. Rodriguez
P. J. Gil
J J. Serrano
The Development of a Commercial ``Shrink-Wrappped Application'' to Safety Integrity Level 2: The DUST-EXPERT™ Story	216	(10)
T. Clement
I. Cottam
P. Froome
C. Jones
Verification and Testing
Safety Verification of Ada 95 Programs Using Software Fault Trees	226	(13)
S.-Y. Min
Y.-K. Jang
S.-D. Cha
Y.-R. Kwon
D.-H. Bae
Programming Rule Static Verification for Reliable Software	239	(11)
P. Robert
Automated Black-Box Testing with Abstract DM Oracles	250	(10)
B. K. Aichernig
Towards Statistical Control of an Industrial Test Process	260	(12)
G. Lombardi
E. Peciola
R. Mirandola
A. Bertolino
E. Marchetti
Design for Safety
Choosing Effective Methods for Diversity - How to Progress from Intuition to Science	272	(14)
P. Popov
L. Strigini
A. Romanovsky
A First Step Towards the Integration of Accident Reports and Constructive Design Documents	286	(11)
C. Johnson
A Holistic Design Concept to Improve Safety Related Control Systems	297	(13)
M. Wimmer
A. Rizzo
M. Sujan
Dependability Analysis and Evaluation
Comparing Fault Trees and Bayesian Networks for Dependability Analysis	310	(13)
A. Bobbio
L. Portinale
M. Minichino
E. Ciancamerla
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems	323	(13)
A. Benso
M. Rebaudengo
M. Sonza Reorda
Structural Software Reliability Estimation	336	(14)
S. Kuball
J. May
G. Hughes
Formal Methods and Security (Poster Session)
Hazard Analysis in Formal Specification	350	(11)
K. Sere
E. Troubitsyna
Modeling Safety-Critical Systems with Z and Petri Nets	361	(14)
M. Heiner
M. Heisel
On Formal Languages for Sequences of Authorization Transformations	375	(10)
Y. Bai
V. Varadharajan
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability	385	(11)
I. Czarnowski
P. Jedrzejowicz
E. Ratajczak
Formal Methods
Formal Design of Distributed Control Systems with Lustre	396	(14)
P. Caspi
C. Mazuet
R. Salem
D. Weber
Formal Specification and Development of a Safety-Critical Train Management System	410	(10)
A. Chiappini
A. Cimatti
C. Porzia
G. Rotondo
R. Sebastaini
P. Traverso
A. Villafiorita
Formal Validation of the GUARDS Inter-Consistency Mechanism	420	(11)
C. Bernardeschi
A. Fantechi
S. Gnesi
A Graphical Environment for the Specification and Verification of Reactive Systems	431	(14)
A. K. Bhattacharjee
S. D. Dhodapkar
S. Seshia
R. K. Shyamasundar
Security
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector	445	(14)
G. Trouessin
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature	459	(9)
S.-M. Lee
T.-Y. Kim
The Integration of Safety and Security Requirements	468	(13)
D. P. Eames
J. Moffett
Author Index	481