Lessons in System Safety

Safety Integrity Levels — Theory and Problems.- The Problems of Assessing Software Reliability — When You Really Need to Depend on it.- Audits and Safety Cases.- The Traffic Controller’s Situation in Railway Control Centres — Lessons Learned from Safety Audits.- Safety Cases in the Railway Signalling Industry.- A Retrospective Safety-Case in Retrospect.- Assessing Safety.- Where Inspections and Audits Fit into the Safety Process and How Can We Have Confidence in their Effectiveness.- Safety Analysis of Vehicle-Based Systems.- Software Safety.- Ada Tasking for High-Integrity Systems.- Assessing the Safety of Integrity Level Partitioning in Software.- Guardian Agents: A Role for Artificial Intelligence in Safety-critical Systems?.- Safety in Transport.- Framework for the Safety of Intelligent Transport Systems.- Digital Advanced Radio for Trains (DART) — The Safety Management and Engineering Case.- Safety Standard IEC 61508 and Recent Security Standards.- The Application of IEC 61508: An Industrial Perspective.- Application of IEC 61508 to Air Traffic Management and Similar Complex Critical Systems — Methods and Mythology.- Ten Years On: Doesn’t the World of Security Have Anything to Offer the World of Safety?.- New Ground.- Making Safety Related Networks Work.- Managing and Supporting the Use of COTS.- Author Index.