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

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

by ; ; ; ;
ISBN13: 9783540664888
ISBN10: 3540664882
Format: Paperback
Pub. Date: 1999-06-01
Publisher(s): Springer Verlag
  • Free Shipping Icon

    Free Shipping On All Orders!*

    Free economy shipping applies to all orders shipped to residential addresses. Orders shipped to campus receive free standard shipping. Free shipping offers do not apply to Marketplace items.

  • eCampus.com Device Compatibility Matrix

    Click the device icon to install or view instructions

    Apple iOS | iPad, iPhone, iPod
    Apple iOS | iPad, iPhone, iPod
    Android Devices | Android Tables & Phones OS 2.2 or higher | *Kindle Fire
    Android Devices | Android Tables & Phones OS 2.2 or higher | *Kindle Fire
    Windows 10 / 8 / 7 / Vista / XP
    Windows 10 / 8 / 7 / Vista / XP
    Mac OS X | **iMac / Macbook
    Mac OS X | **iMac / Macbook
    Enjoy offline reading with these devices
    Apple Devices
    Android Devices
    Windows Devices
    Mac Devices
    iPad, iPhone, iPod
    Our reader is compatible
     
     
     
    Android 2.2 +
     
    Our reader is compatible
     
     
    Kindle Fire
     
    Our reader is compatible
     
     
    Windows
    10 / 8 / 7 / Vista / XP
     
     
    Our reader is compatible
     
    Mac
     
     
     
    Our reader is compatible
List Price: $129.00

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Rent Digital

Rent Digital Options
Online:30 Days access
Downloadable:30 Days
$19.80
Online:60 Days access
Downloadable:60 Days
$26.40
Online:90 Days access
Downloadable:90 Days
$33.00
Online:120 Days access
Downloadable:120 Days
$39.60
Online:180 Days access
Downloadable:180 Days
$42.90
Online:1825 Days access
Downloadable:Lifetime Access
$65.99
*To support the delivery of the digital material to you, a non-refundable digital delivery fee of $3.99 will be charged on each digital item.
$42.90*
Add to Cart

New Textbook

We're Sorry
Sold Out

Used Textbook

We're Sorry
Sold Out

Buy from our Marketplace starting at $35.38

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

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

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.