Lecture Notes in Computer Science

17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

By: Wolfgang Ehrenberger (Editor)

Write A Review

Paperback | 23 September 1998

At a Glance

Paperback
420 Pages

Dimensions(cm)
24.13 x 15.88 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting century will be characterised by computers and their networks. This change naturally affects also the institutions and the installations our lives depend upon: power plants, including nuclear ones, chemical plants, mechanically working factories, cars, railways and medical equipment; they all depend on computers and their connections. In some cases it is not human life that may be endangered by computer failure, but large investments; e. g. if a whole plant interrupts its production for a long time. In addition to loss of life and property one must not neglect public opinion, which is very critical in many countries against major technical defects. The related computer technology, its hardware, software and production process differ between standard applications and safety related ones: In the safety case it is normally not only the manufacturers and the customers that are involved, but a third party, usually an assessor, who is taking care of the public interest on behalf of a state authority. Usually safety engineers are in a better position than their colleagues from the conventional side, as they may spend more time and money on a particular task and use better equipment.

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 Security Data Encryption Information Technology General Issue Ethical & Social Aspects of IT Artificial Intelligence Expert Systems & Knowledge-Based Systems

Computer Architecture & Logic Design Computer Programming & Software Development Software Engineering Reference, Information & Interdisciplinary Subjects Research & Information Coding Theory & Cryptology

Formal Methods I - Analysis and Specification
CoRSA - A Constraint Based Approach to Requirements and Safety Analysis	p. 3
An Agenda for Specifying Software Components with Complex Data Models	p. 16
Safety in Production Cell Components: An Approach Combining Formal Real-Time Specifications and Patterns	p. 32
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems	p. 45
Linking Hazard Analysis to Formal Specification and Design in B	p. 60
Management and Human Factors
Controlling Your Design through Your Software Process	p. 77
Operator Errors and Their Causes	p. 89
Security
A Performance Comparison of Group Security Mechanisms	p. 103
Towards Secure Downloadable Executable Content: The Java Paradigm	p. 117
Model and Implementation of a Secure SW-Development Process for
Mission Critical Software	p. 128
Impact of Object-Oriented Software Engineering Applied to the Development of
Security Systems	p. 143
Medical Informatics
'Profit by Safety' or Quackery in Biomedical Information Technology?	p. 159
Formal Methods II - Languages and Verification
Towards Automated Proof of Fail-safe Behaviour	p. 169
Verifying a Time-Triggered Protocol in a Multi-language Environment	p. 185
Methods and Languages for Safety-Related Real-Time Programming	p. 196
ANSI-C in Safety Critical Applications - Lessons-Learned from Software Evaluation	p. 209
Applications
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools	p. 221
Applying Formal Methods in Industry - The UseGat Project	p. 231
Increasing System Safety for by-wire Applications in Vehicles by Using a Time-Triggered Architecture	p. 243
Fault-Tolerant Communication in Large-Scale Manipulators	p. 254
Distributed Fault-Tolerant and Safety-Critical Application in Vehicles - A Time-Triggered Approach	p. 267
Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System	p. 284
EURIS, a Specification Method for Distributed Interlockings	p. 296
Object Oriented Safety Analysis of an Extra High Voltage Substation Bay	p. 306
Formal Methods III - Petri Nets
Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets	p. 319
Safety Verification of Software Using Structured Petri Nets	p. 329
Reliability
Refinement of Safety-Related Hazards into Verifiable Code Assertions	p. 345
A Conceptual Comparison of Two Commonly Used Safeguarding Principles	p. 359
A Holistic View on the Dependability of Software-Intensive Systems	p. 369
Verifying Integrity of Decision Diagrams	p. 380
Author Index	p. 391
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Expert Systems & Knowledge-Based Systems

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

Autonomous Minds

How Agentic AI Predicts and Learns to Enable Productivity and Empowerment

Generative AI For Dummies

For Dummies (Business & Personal Finance)

Machine Learning For Dummies

For Dummies (Computer/Tech)

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

Artificial Intelligence All-in-One For Dummies

For Dummies (Computer/Tech)

AI ChatBots For Dummies

For Dummies (Computer/Tech)

The Ultimate ChatGPT Prompt Book

750+ Expert Prompts to Boost Productivity, Unlock Creative Potential, and Simplify Tasks

Data Strategy

How to Use Data and Artificial Intelligence to Transform Your Business

Beyond Vibe Coding

From Coder to Ai-Era Developer

Mobile Actuation Systems for Magnetic Small-scale Robots

AI for a Just World

Power, Liberation, and the People Left Behind

AI for Marketing

The Consumer Perspective

Advancement in Engineering and Science

Recent Trends and Applications

Advancement in Engineering and Science

Recent Trends and Applications

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

Beyond Algorithms

Reframing AI as Intellectual Capital for Human Flourishing

Logic Before Language

Rethinking AI in the Age of Illusion, Bertrand Russell and the Future of Real AI

Introduction to Artificial Intelligence in Automotive Engineering

Understanding Theory and Practical Applications

Introduction to Artificial Intelligence in Automotive Engineering

Understanding Theory and Practical Applications

Turing's Mistake

Escaping the Yoke of Unintelligent Machines

Turing's Mistake

Escaping the Yoke of Unintelligent Machines

TinyML Foundations and Applications on Arduino Microcontrollers with MATLAB

This product is categorised by