作 者： Udo Voges 著 出 版 社： Oversea Publishing House
- 出版时间： 2001-11-1
- 字 数：
- 版 次： 1
- 页 数： 248
- 印刷时间：
- 开 本：
- 印 次：
- 纸 张：
- I S B N ： 9783540426073
- 包 装： 平装
定价：￥414.06
内容简介
The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.
The scope of LNCS including its subseries LNAI spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material published traditionally includes.
—proceedings （published in time for the respective conference）
—post-proceedings （consisting of thoroughly revised final full papers）
—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.
目录
Invited Paper
Designing Safety into Medical Decisions and Clinical PrOcesses
Reliability Assessment and Security
Security Assessments of Safety Critical Systems Using HAZOPs
Network Security for Substation Automation Systems
A Bayesian Belief Network for Reliability Assessment
Safety Case and Safety Analysis
Checking General Safety Criteria on UML Statecharts
Presenting a Safety Case-A Case Study
Safety Functions versus Control Functions
Medical Systems
A Fail-Safe Dual Channel Robot Control for Surgery AoDlications
Invited Paper
Modelling the Human in Human Factors
Human-Machine Interface
Analyzing Human—Machine Interactions in Safety—Critical Systems：A Basic Applicable Approach
Analysis of Incidents Involving InteractiVe Systems
COTS-Components off the Shelf
Experimental Evaluation of Fault Handling Mechanisms
The COTS Debate in Perspective
Testing
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures
The Effectiveness of Statistical Testing when Applied to Logic Systems
Formal Methods
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B
Safety Patterns-The Key to Formal Specification of Safety Requirements
Formal Support for Fault Modeling and Analysis
Invited Paper
Control Systems
Author Index
