Computer Safety, Reliability, and Security

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

  • Rune Winther
  • Bjørn Axel Gran
  • Gustav Dahll
Conference proceedings SAFECOMP 2005

DOI: 10.1007/11563228

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

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

About these proceedings

Introduction

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

  • Rune Winther
    • 1
  • Bjørn Axel Gran
    • 2
  • Gustav Dahll
    • 3
  1. 1.Faculty of Computer SciencesØstfold University College, Os AlléHaldenNorway
  2. 2.Insitute for Energy TechnologySoftware Engineering LaboratoryHaldenNorway
  3. 3.Software Engineering LaboratoryInstitute for Engergy TechnologyHaldenNorway

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-29200-5
  • Online ISBN 978-3-540-32000-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349