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.
Author(s): Jose Antonio Fonseca (auth.), Rune Winther, Bjørn Axel Gran, Gustav Dahll (eds.)
Series: Lecture Notes in Computer Science 3688 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 405
Tags: Software Engineering/Programming and Operating Systems; Coding and Information Theory; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Management of Computing and Information Systems
Front Matter....Pages -
CMMI RAMS Extension Based on CENELEC Railway Standard....Pages 1-12
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems....Pages 13-23
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems....Pages 24-36
Defining and Decomposing Safety Policy for Systems of Systems....Pages 37-51
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment....Pages 52-66
Control and Data Flow Testing on Function Block Diagrams....Pages 67-80
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software....Pages 81-93
Automatic Analysis of a Safety Critical Tele Control System....Pages 94-107
A Formal Model for Fault-Tolerance in Distributed Systems....Pages 108-121
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier....Pages 122-135
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control....Pages 136-150
On the Effectiveness of Run-Time Checks....Pages 151-164
A Technique for Fault Tolerance Assessment of COTS Based Systems....Pages 165-178
Finding Upper Bounds for Software Failure Probabilities – Experiments and Results....Pages 179-193
Justification of Smart Sensors for Nuclear Applications....Pages 194-207
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain....Pages 208-221
Public-Key Cryptography and Availability....Pages 222-232
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems....Pages 233-245
Safety Interfaces for Component-Based Systems....Pages 246-260
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts....Pages 261-274
Are High-Level Languages Suitable for Robust Telecoms Software?....Pages 275-288
Functional Apportioning of Safety Requirements on Railway Signalling Systems....Pages 289-302
Automatic Code Generation for PLC Controllers....Pages 303-316
The TACO Approach for Traceability and Communication of Requirements....Pages 317-329
An IEC 62061 Compliant Safety System Design Method for Machinery....Pages 330-343
Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs....Pages 344-356
The Application of an Object-Oriented Method in Information System Security Evaluation....Pages 357-367
Towards a Cyber Security Reporting System – A Quality Improvement Process....Pages 368-380
Security Research from a Multi-disciplinary and Multi-sectoral Perspective....Pages 381-389
Problem Frames and Architectures for Security Problems....Pages 390-404
Back Matter....Pages -
