Abstract is missing.
- Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners PerspectiveErwin Schoitsch. 3-11 [doi]
- Assessment on the Basis of Standards-Gaps and how to Bridge ThemHeinrich Krebs. 12-23 [doi]
- Safety Analysis for Requirements Specifications: Methods and TechniquesAmer Saeed, Rogério de Lemos, Tom Anderson. 27-41 [doi]
- A Guideline for HAZOP Studies on Systems which include a Programmable Electronic SystemMorris F. Chudleigh, J. R. Catmur, Arthur D. Little, Felix Redmill. 42-58 [doi]
- An Automated Code-Based Fault-Tree Mitigation TechniqueJeffrey M. Voas, Keith W. Miller. 59-72 [doi]
- Formal Support for the Safety Analysis of Requirement ModelsKen Chan, Clive Fencott, Barry D. Hebbron. 75-89 [doi]
- Modeling Fault Trees Using Petri NetsJanusz Górski, Jan Magott, Andrzej Wardzinski. 90-100 [doi]
- The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADEA. J. Harrison, I. D. R. Shannon. 101-112 [doi]
- Accessible Formal Method Support for PLC Software DevelopmentJohn A. McDermid, R. H. Pierce. 113-127 [doi]
- Eliminating the UnexpectedR. J. Tiezema. 131-141 [doi]
- Cognitive Diversity: A Structured Approach to Trapping Human ErrorStephen J. Westerman, Nick Shryane, Martin Crawshaw, G. Robert J. Hockey, William Wyatt-Millington. 142-155 [doi]
- Legal Aspects of Safety Critical SystemsDai Davis. 156-170 [doi]
- A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System DependabilityBev Littlewood, David Wright 0001. 173-188 [doi]
- Six Steps Towards Provably Safe SoftwareMaritta Heisel. 191-205 [doi]
- Formally Verified Firmware Modules for Industrial Process AutomationWolfgang A. Halang, Bernd J. Krämer, Norbert Völker. 206-218 [doi]
- Programmable Electronic Controllers (PEC) Performance Assessment - an Approach for Reliability QuantificationG. Picciolo, P. Gianninò. 221-236 [doi]
- BOOTSTRAP: Software Process Assessment Experiences and Further DevelopmentsF. Engelmann, W. Schynoll, Hans Stienen. 237-251 [doi]
- Analysis and Assessment of Advanced Road Transport Telematic SystemsKeith M. Hobley, Peter H. Jesty. 252-266 [doi]
- Loops for Safety Critical ApplicationsJohann Blieberger. 269-282 [doi]
- Ontario Hydro's Experience with New Methods for Engineering Safety Critical SoftwareM. Viola. 283-298 [doi]
- Is Software Safe to Fly?K. N. Narahari, Shylaja Prasad, K. Karunakar. 299-313 [doi]
- A Software Development Approach for Robotics Control SystemsEmilio Ruiz Morales. 317-330 [doi]
- An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection SystemJörgen Christmansson, Zbigniew Kalbarczyk, Jan Torin. 331-352 [doi]
- Requirements Analysis and Safety: A Case Study (using GRASP)Andrew Coombes, John A. McDermid, Jonathan D. Moffett, Philip Morris. 353-371 [doi]
- Neural Nets and DiversityAmanda J. C. Sharkey, Noel E. Sharkey, Gopinath O. Chandroth. 375-389 [doi]
- On-line Software Error Detection by Executable Assertions: From Theory to PracticeChristophe Rabéjac. 390-402 [doi]
- The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and SystemsDavid Hughes. 403-408 [doi]
- An industrial view of Requirements Engineering and SafetyJean-Pierre Heckmann, Stephen Shirlaw. 411-416 [doi]
- Safety Cases for Software Application ReusePeter Fenelon, Tim P. Kelly, John A. McDermid. 419-436 [doi]
- The SHIP Safety Case ApproachPeter G. Bishop, Robin E. Bloomfield. 437-451 [doi]
- Safety Case: Structure and RoleM. El Koursi, B. Letrung, Hélène Waeselynck, François Baranowski. 452-463 [doi]
- Practical Approach for the Evaluation of Safety Related Programmable ElectronicsMarita Hietikko, Risto Tiusanen. 467-473 [doi]
- An Experience in Formal Verification of Safety Properties of a Railway Signalling Control SystemA. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli. 474-488 [doi]
- Dependability of Iterative Software: A Model for Evaluating the Effects of Input CorrelationAndrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, S. La Torre. 489-503 [doi]
- The Verification of Compiled CodeT. Jennings, P. Taylor. 504-513 [doi]