24. SAFECOMP 2005: Fredrikstad, Norway

• Jose Antonio Fonseca, Jorge Rady de Almeida Jr.:
  CMMI RAMS Extension Based on CENELEC Railway Standard. 1-12
  Electronic Edition (link) BibTeX
• Robert Martinez, Torgeir Enkerud:
  The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems. 13-23
  Electronic Edition (link) BibTeX
• Nawal Addouche, Christian Antoine, Jacky Montmain:
  Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems. 24-36
  Electronic Edition (link) BibTeX
• Martin Hall-May, Tim Kelly:
  Defining and Decomposing Safety Policy for Systems of Systems. 37-51
  Electronic Edition (link) BibTeX
• George Bearfield, William Marsh:
  Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment. 52-66
  Electronic Edition (link) BibTeX
• Eunkyoung Jee, Junbeom Yoo, Sung Deok Cha:
  Control and Data Flow Testing on Function Block Diagrams. 67-80
  Electronic Edition (link) BibTeX
• Wolfgang Herzner, Stephan Ramberger, Thomas Länger, Christian Reumann, Thomas Gruber, Christian Sejkora:
  Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software. 81-93
  Electronic Edition (link) BibTeX
• Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci:
  Automatic Analysis of a Safety Critical Tele Control System. 94-107
  Electronic Edition (link) BibTeX
• Brahim Hamid, Mohamed Mosbah:
  A Formal Model for Fault-Tolerance in Distributed Systems. 108-121
  Electronic Edition (link) BibTeX
• Anjali Joshi, Mats Per Erik Heimdahl:
  Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. 122-135
  Electronic Edition (link) BibTeX
• Zeshan Kurd, Tim P. Kelly:
  Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control. 136-150
  Electronic Edition (link) BibTeX
• Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla:
  On the Effectiveness of Run-Time Checks. 151-164
  Electronic Edition (link) BibTeX
• Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj:
  A Technique for Fault Tolerance Assessment of COTS Based Systems. 165-178
  Electronic Edition (link) BibTeX
• Monica Kristiansen:
  Finding Upper Bounds for Software Failure Probabilities - Experiments and Results. 179-193
  Electronic Edition (link) BibTeX
• Peter G. Bishop, Robin E. Bloomfield, Sofia Guerra, Konstantinos Tourlas:
  Justification of Smart Sensors for Nuclear Applications. 194-207
  Electronic Edition (link) BibTeX
• Massimo Felici:
  Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain. 208-221
  Electronic Edition (link) BibTeX
• Tage Stabell-Kulø, Simone Lupetti:
  Public-Key Cryptography and Availability. 222-232
  Electronic Edition (link) BibTeX
• Lei Wang, Mingde Zhao, Zengwei Zheng, Zhaohui Wu:
  End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems. 233-245
  Electronic Edition (link) BibTeX
• Jonas Elmqvist, Simin Nadjm-Tehrani, Marius Minea:
  Safety Interfaces for Component-Based Systems. 246-260
  Electronic Edition (link) BibTeX
• Martin Skambraks:
  A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts. 261-274
  Electronic Edition (link) BibTeX
• Jan Henry Nyström, Philip W. Trinder, David J. King:
  Are High-Level Languages Suitable for Robust Telecoms Software?. 275-288
  Electronic Edition (link) BibTeX
• Ola Løkberg, Øystein Skogstad:
  Functional Apportioning of Safety Requirements on Railway Signalling Systems. 289-302
  Electronic Edition (link) BibTeX
• Krzysztof Sacha:
  Automatic Code Generation for PLC Controllers. 303-316
  Electronic Edition (link) BibTeX
• Terje Sivertsen, Rune Fredriksen, Atoosa P.-J. Thunem, Jan-Erik Holmberg, Janne Valkonen, Olli Ventä, Jan-Ove Andersson:
  The TACO Approach for Traceability and Communication of Requirements. 317-329
  Electronic Edition (link) BibTeX
• Bengt Ljungquist, Thomas Thelin:
  An IEC 62061 Compliant Safety System Design Method for Machinery. 330-343
  Electronic Edition (link) BibTeX
• Tom Gilb:
  Design Evaluation: Estimating Multiple Critical Performance and Cost Impacts of Designs. 344-356
  Electronic Edition (link) BibTeX
• Qiang Yan, Huaying Shu:
  The Application of an Object-Oriented Method in Information System Security Evaluation. 357-367
  Electronic Edition (link) BibTeX
• Jose J. Gonzalez:
  Towards a Cyber Security Reporting System - A Quality Improvement Process. 368-380
  Electronic Edition (link) BibTeX
• Atoosa P.-J. Thunem:
  Security Research from a Multi-disciplinary and Multi-sectoral Perspective. 381-389
  Electronic Edition (link) BibTeX
• Denis Hatebur, Maritta Heisel:
  Problem Frames and Architectures for Security Problems. 390-404
  Electronic Edition (link) BibTeX