Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Rune Winther

    1. Faculty of Computer Sciences, Østfold University College, Os Allé, Halden, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bjørn Axel Gran

    1. Insitute for Energy Technology, Software Engineering Laboratory, Halden, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gustav Dahll

    1. Software Engineering Laboratory, Institute for Engergy Technology, Halden, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3688)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAFECOMP 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  2. CMMI RAMS Extension Based on CENELEC Railway Standard

    • Jose Antonio Fonseca, Jorge Rady de Almeida Júnior
    Pages 1-12

  3. The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems

    • Robert Martinez, Torgeir Enkerud
    Pages 13-23

  4. Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

    • Nawal Addouche, Christian Antoine, Jacky Montmain
    Pages 24-36

  5. Defining and Decomposing Safety Policy for Systems of Systems

    • Martin Hall-May, Tim Kelly
    Pages 37-51

  6. Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment

    • George Bearfield, William Marsh
    Pages 52-66

  7. Control and Data Flow Testing on Function Block Diagrams

    • Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha
    Pages 67-80

  8. Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software

    • Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora
    Pages 81-93

  9. Automatic Analysis of a Safety Critical Tele Control System

    • Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
    Pages 94-107

  10. A Formal Model for Fault-Tolerance in Distributed Systems

    • Brahim Hamid, Mohamed Mosbah
    Pages 108-121

  11. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier

    • Anjali Joshi, Mats P. E. Heimdahl
    Pages 122-135

  12. Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control

    • Zeshan Kurd, Tim P. Kelly
    Pages 136-150

  13. On the Effectiveness of Run-Time Checks

    • Meine J. P. van der Meulen, Lorenzo Strigini, Miguel A. Revilla
    Pages 151-164

  14. A Technique for Fault Tolerance Assessment of COTS Based Systems

    • Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj
    Pages 165-178

  15. Finding Upper Bounds for Software Failure Probabilities – Experiments and Results

    • Monica Kristiansen
    Pages 179-193

  16. Justification of Smart Sensors for Nuclear Applications

    • Peter Bishop, Robin Bloomfield, Sofia Guerra, Kostas Tourlas
    Pages 194-207

  17. Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain

    • Massimo Felici
    Pages 208-221

  18. Public-Key Cryptography and Availability

    • Tage Stabell-Kulø, Simone Lupetti
    Pages 222-232

  19. End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems

    • Lei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu
    Pages 233-245

  20. Safety Interfaces for Component-Based Systems

    • Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea
    Pages 246-260
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

Keywords

About this book

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.

Editors and Affiliations

  • Faculty of Computer Sciences, Østfold University College, Os Allé, Halden, Norway

    Rune Winther

  • Insitute for Energy Technology, Software Engineering Laboratory, Halden, Norway

    Bjørn Axel Gran

  • Software Engineering Laboratory, Institute for Engergy Technology, Halden, Norway

    Gustav Dahll

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation