作 者： Rune Winther 著 出 版 社： 北京燕山出版社
- 出版时间： 2005-10-1
- 字 数：
- 版 次： 1
- 页 数： 404
- 印刷时间：
- 开 本：
- 印 次：
- 纸 张：
- I S B N ： 3540292004
- 包 装： 平装
定价：￥632.80
编辑推荐
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 resarch 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 publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.)
内容简介
This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2005, held in Fredrikstad, Norway, in September 2005. The 30 revised full papers were carefully reviewed and selected for inclusion in the book. The papers address all aspects of dependability and survivability of critical computerized systems in various branches and infrastructures.
目录
CMMI RAMS Extension Based on CENELEC Railway Standard
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems
Defining and Decomposing Safety Policy for Systems of Systems
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment
Control and Data Flow Testing on Function Block Diagrams
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software
Automatic Analysis of a Safety Critical Tele Control System
A Formal Model for Fault-Tolerance in Distributed Systems
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control
On the Effectiveness of Run-Time Checks
A Technique for Fault Tolerance Assessment of COTS Based Systems
Finding Upper Bounds for Software Failure Probabilities – Experiments and Results
Justification of Smart Sensors for Nuclear Applications
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain
Public-Key Cryptography and Availability
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems
Safety Interfaces for Component-Based Systems
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts
Are High-Level Languages Suitable for Robust Telecoms Software?
Functional Apportioning of Safety Requirements on Railway Signalling Systems
Automatic Code Generation for PLC Controllers
……
Author Index
