Tim Kelly | Akateeminen Kirjakauppa

Addressing the topic of safety case development and management, this text describes the historical background to the introduction of safety-cases in a number of industrial sectors and the current regulatory requirements for safety cases and problems with existing safety case management practice. Safety Case Management introduces a notation and method - GSN (Goal Structuring Notation), which is a graphical notation for the development and presentation of clear safety arguments within safety cases. It is the product of 10 years collaborative research with industries (including Lloyds Register, British Aerospace, Rolls-Royce, Smiths Industries, Westinghouse and the U.K. Defence and Evaluation Research Agency). It also provides an explanation of the concept of 'Safety Case Patterns' - a means of capturing and recording 'typical' arguments used in arguing the safety of systems. The concept of patterns has been adapted from that described by Alexander when referring to building architecture, and 'Design Patterns' popular in object-oriented software design The book will include a 'Pattern Catalogue' of reusable safety argument structures. It is intended that this will serve as a useful resource for safety case practitioners developing new safety cases.

• Safety applications include the industrial sectors such as nuclear; transport (air, rail, road); medical and power.



• Provides practitioners with a firm foundation of safety case principles



• Numerous case studies to illustrate safety systems



• Introduces the use of Goal Structuring Notation and the concept and use of Safety Case Patterns



• Guides the readers through three critical areas: Initial Safety Case Development, Safety Case Maintenance and Safety Case Reuse

Aimed at students taking computer science courses at postgraduate level; managers to gain appreciation of the issues involved in safety case management and practitioners who would use the guide to develop, maintain and reuse safety cases.