Lecture Notes in Computer Science : 18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings - Massimo Felici

Instant online reading.
Don't wait for delivery!

Lecture Notes in Computer Science

18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

By: Massimo Felici (Editor), Karama Kanoun (Editor), Alberto Pasquini (Editor)

Write A Review

Paperback | 15 September 1999

At a Glance

Paperback
508 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Medicine Medicine in General Computing & I.T.Computer Science Systems Analysis & Design Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Operating Systems Business & Management Business Mathematics & Systems

Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Security Data Encryption

Invited Talk
Software Reliability Engineering in Industry	p. 1
Assessment and Certification
A Systematic Approach to Safety Case Maintenance	p. 13
SQUALE Dependability Assessment Criteria	p. 27
Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project	p. 39
Safety Assessment and Human Factors (Poster Session)
Safety Evaluation of a Train Leader Telephone System	p. 46
Safety Analysis Techniques for Validating Formal Models During Verification	p. 58
Evaluating the Contribution of DesktopVR for Safety-Critical Applications	p. 67
Human Performance Reliability in the Design-for-Usability Life Cycle for Safety Human-Computer Interfaces	p. 79
The Impact of Different Media on Safety and Usability of Interactive ATC Applications	p. 89
Human Factors
Patterns for Safer Human-Computer Interfaces	p. 103
Impact of Communication on Systems Dependability: Human Factors Perspectives	p. 113
A Method for Operator Error Detection Based on Plan Recognition	p. 125
Safety Assessment
Hierarchically Performed Hazard Origin and Propagation Studies	p. 139
Hardware Redundant Vital Computer - Demonstration of Safety on the Basis of Current Standards	p. 153
Design for Safety (Poster Session)
System and Software Safety Analysis for the ERA Control Computer	p. 163
Safety Markup Language: Concept and Application	p. 177
Extendable Ground-to-Air Communication Architecture for CoDySa	p. 187
Hierarchical Reliability and Safety Models of Fault Tolerant Distributed Industrial Control Systems	p. 202
The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTÖ Story	p. 216
Verification and Testing
Safety Verification of Ada 95 Programs Using Software Fault Trees	p. 226
Programming Rule Static Verification for Reliable Software	p. 239
Automated Black-Box Testing with Abstract VDM Oracles	p. 250
Towards Statistical Control of an Industrial Test Process	p. 260
Design for Safety
Choosing Effective Methods for Diversity - How to Progress from Intuition to Science	p. 272
A First Step Towards the Integration of Accident Reports and Constructive Design Documents	p. 286
A Holistic Design Concept to Improve Safety Related Control Systems	p. 297
Dependability Analysis and Evaluation
Comparing Fault Trees and Bayesian Networks for Dependability Analysis	p. 310
FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems	p. 323
Structural Software Reliability Estimation	p. 336
Formal Methods and Security (Poster Session)
Hazard Analysis in Formal Specification	p. 350
Modeling Safety-Critical Systems with Z and Petri Nets	p. 361
On Formal Languages for Sequences of Authorization Transformations	p. 375
Scheduling Fault-Tolerant Programs on Multiple Processors to Maximize Schedule Reliability	p. 385
Formal Methods
Formal Design of Distributed Control Systems with Lustre	p. 396
Formal Specification and Development of a Safety-Critical Train Management System	p. 410
Formal Validation of the GUARDS Inter-Consistency Mechanism	p. 420
A Graphical Environment for the Specification and Verification of Reactive Systems	p. 431
Security
Dependability Requirements and Security Architectures for the Healthcare/Medical Sector	p. 445
Three-Pass Hybrid Key Establishment Protocol Based on ESIGN Signature	p. 459
The Integration of Safety and Security Requirements	p. 468
Author Index	p. 481
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

18th International Conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Business Mathematics & Systems

Turn The Ship Around!

A True Story of Turning Followers into Leaders

Never Split the Difference

Negotiating as if Your Life Depended on It

Fashion Entrepreneurship

Principles and Practice

MSME Development in South and Southeast Asia

Navigating Growth and Challenges

The Black Swan: Second Edition

The Impact of the Highly Improbable: With a new section: "On Robustness and Fragility"

Business Analytics and Statistics

2nd Edition

Artificial Intelligence, Data, and Decision-Making

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol.1

Digital Innovation and Organizational Transformation

Proceedings of the 19th International Conference on Wirtschaftsinformatik, Wurzburg, Germany, 2024 - Vol. 2

Information Systems

22nd European, Mediterranean, and Middle Eastern Conference, EMCIS 2025, Paphos, Cyprus, September 11â"12, 2025, Proceedings, Part I

Storytelling with Data

A Data Visualization Guide for Business Professionals, 10th Anniversary Edition

Contributions to Finance and Accounting

Storytelling with Data

1st Edition - A Data Visualization Guide for Business Professionals

Business Statistics

8th edition - Australia and New Zealand

Business Research Methods

6th Edition

A Guide to the Business Analysis Body of Knowledge - BABOK

How to Organise and Operate a Small Business in Australia

Turning Ideas into Success

Introductory Mathematical Analysis for Business, Economics, and the Life and Social Sciences

14th edition

The Visual MBA

A Quick Guide to Everything You'll Learn in Two Years of Business School

Positioning

The Battle for Your Mind

Essential Mathematics for Economics and Business

4th Edition

The Devops Handbook: 2nd Edition

How to Create World-Class Agility, Reliability, & Security in Technology

Foolproof Guide to Statistics Using IBM SPSS (Pearson Original Edition)

2nd edition

Intermediate Financial Theory

3rd Edition

Health Information

5th Edition - Management of a Strategic Resource

This product is categorised by