Abstract is missing.
- Designing Safety into Medical Decisions and Clinical ProcessesJohn Fox. 1-13 [doi]
- Security Assessments of Safety Critical Systems Using HAZOPsRune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran. 14-24 [doi]
- Network Security for Substation Automation SystemsMartin Naedele, Dacfey Dzung, Michael Stanimirov. 25-34 [doi]
- A Bayesian Belief Network for Reliability AssessmentBjørn Axel Gran, Atte Helminen. 35-45 [doi]
- Checking General Safety Criteria on UML StatechartsZsigmond Pap, István Majzik, András Pataricza. 46-55 [doi]
- Presenting a Safety Case - A Case StudyOdd Nordland. 56-65 [doi]
- A Fail-Safe Dual Channel Robot Control for Surgery ApplicationsUlrich Laible, Thomas Bürger, Günter Pritschow. 75-85 [doi]
- Modeling the Human in Human FactorsJohn M. Rushby. 86-91 [doi]
- Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable ApproachOliver Mäckel, Georg Hoever. 92-99 [doi]
- Analysis of Incidents Involving Interactive SystemsAlberto Pasquini, Antonio Rizzo, Luca Save. 100-108 [doi]
- Experimental Evaluation of Fault Handling MechanismsPiotr Gawkowski, Janusz Sosnowski. 109-118 [doi]
- The COTS Debate in PerspectiveFelix Redmill. 119-129 [doi]
- An Investigation on Mutation Strategies for Fault Injection into RDD-100 ModelsMohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer. 130-144 [doi]
- A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar ArchitecturesIoannis Vakalis. 145-155 [doi]
- The Effectiveness of Statistical Testing when Applied to Logic SystemsSilke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter. 156-165 [doi]
- A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178BGünther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck. 166-175 [doi]
- Safety Patterns - The Key to Formal Specification of Safety RequirementsFriedemann Bitsch. 176-189 [doi]
- Formal Support for Fault Modelling and AnalysisTadeusz Cichocki, Janusz Górski. 190-199 [doi]
- Project Experience with IEC 61508 and Its ConsequencesRainer Faller. 200-214 [doi]
- About the Design of Distributed Control Systems: The Quasi-Synchronous ApproachPaul Caspi, Christine Mazuet, Natacha Reynaud Paligot. 215-226 [doi]
- Dependability EvaluationCláudia Betous-Almeida, Karama Kanoun. 227-237 [doi]
- Tuning of Database Audits to Improve Scheduled Maintenance in Communication SystemsStefano Porcarelli, Felicita Di Giandomenico, Amine Chohra, Andrea Bondavalli. 238-248 [doi]