Skip to main content
  • Conference proceedings
  • © 2005

Computer Safety, Reliability, and Security

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

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

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

Conference series link(s): SAFECOMP: International Conference on Computer Safety, Reliability, and Security

Conference proceedings info: SAFECOMP 2005.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (30 papers)

  1. Front Matter

  2. CMMI RAMS Extension Based on CENELEC Railway Standard

    • Jose Antonio Fonseca, Jorge Rady de Almeida Júnior
    Pages 1-12
  3. Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

    • Nawal Addouche, Christian Antoine, Jacky Montmain
    Pages 24-36
  4. Defining and Decomposing Safety Policy for Systems of Systems

    • Martin Hall-May, Tim Kelly
    Pages 37-51
  5. Control and Data Flow Testing on Function Block Diagrams

    • Eunkyoung Jee, Junbeom Yoo, Sungdeok Cha
    Pages 67-80
  6. 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
  7. Automatic Analysis of a Safety Critical Tele Control System

    • Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
    Pages 94-107
  8. A Formal Model for Fault-Tolerance in Distributed Systems

    • Brahim Hamid, Mohamed Mosbah
    Pages 108-121
  9. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier

    • Anjali Joshi, Mats P. E. Heimdahl
    Pages 122-135
  10. On the Effectiveness of Run-Time Checks

    • Meine J. P. van der Meulen, Lorenzo Strigini, Miguel A. Revilla
    Pages 151-164
  11. A Technique for Fault Tolerance Assessment of COTS Based Systems

    • Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj
    Pages 165-178
  12. Justification of Smart Sensors for Nuclear Applications

    • Peter Bishop, Robin Bloomfield, Sofia Guerra, Kostas Tourlas
    Pages 194-207
  13. Public-Key Cryptography and Availability

    • Tage Stabell-Kulø, Simone Lupetti
    Pages 222-232
  14. 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
  15. Safety Interfaces for Component-Based Systems

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

Other Volumes

  1. Computer Safety, Reliability, and Security

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.

Keywords

  • Code
  • Unified Modeling Language (UML)
  • communication
  • computer reliability
  • correct systems behaviour
  • data integrity
  • dependable computing
  • distributed systems
  • formal method
  • reaction systems
  • real-time
  • safety-critical systems
  • security
  • systems availability
  • systems protection

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions