Lessons in System Safety

Safety Integrity Levels: Theory and problems (F. Redmill).- The Problems of Assessing Software Reliability: When you really need to depend on it (B. Littlewood).- Audits and Safety Cases: The Traffic Controllers Situation on Railway Control Centres: Lessons learned from safety audits (G. Halvorsrud).- Safety Cases in the Railway Signalling Industry (P. Duggan).- A Retrospective Safety Case in Retrospect (G. Myhrman).- Assessing Safety: Where Inspections and Audits Fit into the Safety Process and How Can We Have Confidence in their Effectiveness (T. Cockram).- Safety Analysis of Vehicle-based Systems (P. Hesty/K. Hobley/R. Evans/I. Kendal).- Software Safety: Ada Tasking for High-Integrity Systems (D. Humphries/B. Dobbing).- Assessing the Safety of Integrity Level Partitioning in Software (J. McDermid/D. Pumfrey).- Guardian Agents: A Role for Artificial Intelligence in Safety-critical Applications? (J. Fox).- Safety in Transport: Framework for the Safety of Intelligent Transport Systems (P. Hesty/K. Hobley/O. Carsten/D. Ward/M. Fowkes).- Digital Advanced Radio for Trains (DART): The Safety Management and Engineering Case (G. Hansford/A. Harrison/A. Vickers).- Safety Standard IEC 61508 and Recent Security Standards: The Application of IEC 61508: An Industrial Perspective (D. Boulton).- Application of IEC 61508 to Air Traffic Management and Similar Complex Critical Systems: Methods and Mythology (D. Fowler).- Ten Years On: Doesnt the World of Security have Anything to Offer the World of Safety? (D. Brewer).- New Ground: Making Safety-related Networks Work (M. Ainsworth/D. Jackson).- Managing and Supporting the Use of COTS (S. Dawkins, S. Riddle).