A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives related to software programs. From software objectives, the authors present the different safety techniques (fault detection, redundancy and quality control). “Certifiable system” aspects are taken into account throughout the book. Contents 1. Safety Management. 2. From System to Software. 3. Certifiable Systems. 4. Risk and Safety Levels. 5. Principles of Hardware Safety. 6. Principles of Software Safety. 7. Certification. About the Authors Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. He is a specialist in the software engineering domain (requirement engineering, semi-formal and formal method, proof and model-checking). He also works as an expert for the French notified body CERTIFER in the field of certification of safety critical railway applications based on software (ERTMS, SCADA, automatic subway, etc.). His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on SAFETY.

The practical guide to transforming your safety program into a functioning safety management system The advent of the safety management system (SMS) has affected all aviation sectors worldwide, and is now required for most domestic and international air operations, through either regulatory (14 CFR Parts 5, 119, or 121) or voluntary compliance. It's easy to be intimidated by the scope and complexity of SMS, but Practical Safety Management Systems distills the concepts and principles into a practical working format. Universities and training organizations will find guidance and resources to create, implement, and maintain a functioning SMS. An SMS must be adapted and continuously improved to meet an organization's mission while reducing risk to the lowest viable level for flight departments, independent contractors servicing the aviation industry, air traffic services, and more. Beyond mere theory, this book encourages hands-on exercise and practical application of SMS concepts and principles to varied industry areas such as flight crews, maintenance, air traffic control, airports, and unmanned aircraft systems (UAS). Beginning with an overview and history of SMS, chapters cover SMS components, costs and development process, approaches to safety culture, human factors, audits and evaluations, and more. Each chapter concludes with review questions. Extensive case studies and references are provided throughout, with additional resources supplied in a "Reader Resources" webpage. Practical Safety Management Systems is a useful guide for transforming your safety program into an up-to-date and beneficial safety management system.

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern. This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry.

This book is about the engineering management of hazardous industries, such as oil and gas production, hydrocarbon refining, nuclear power and the manufacture of chemicals and pharmaceuticals. Its scope includes an overview of design standards and processes for high integrity systems,safety management processes as applied to hazardous industries and details best practices in design, operations, maintenance and regulation. Selected case studies are used to show how the complex multidisciplinary enterprises to design and operate hazardous plant can sometimes fail. This includes the subtlety and fragility of the robust safety culture that is required. It is aimed at professional engineers who design, build and operate these hazardous plants. This book is also written for business schools and university engineering departments where engineering management is studied. - An overview of design standards and processes for high integrity systems - An overview of safety management processes as applied to hazardous industries - Best practices in design, operations, maintenance and regulation

Software testing has greatly evolved since the first edition of this book in 2011. Testers are now required to work in "agile" teams and focus on automating test cases. It has thus been necessary to update this work, in order to provide fundamental knowledge that testers should have to be effective and efficient in today's world. This book describes the fundamental aspects of testing in the different lifecycles, and how to implement and benefit from reviews and static analysis. Multiple other techniques are approached, such as equivalence partitioning, boundary value analysis, use case testing, decision tables and state transitions. This second edition also covers test management, test progress monitoring and incident management, in order to ensure that the testing information is correctly provided to the stakeholders. This book provides detailed course-study material for the 2023 version of the ISTQB Foundation level syllabus, including sample questions to help prepare for exams.

Big Data is a new field, with many technological challenges to be understood in order to use it to its full potential. These challenges arise at all stages of working with Big Data, beginning with data generation and acquisition. The storage and management phase presents two critical challenges: infrastructure, for storage and transportation, and conceptual models. Finally, to extract meaning from Big Data requires complex analysis. Here the authors propose using metaheuristics as a solution to these challenges; they are first able to deal with large size problems and secondly flexible and therefore easily adaptable to different types of data and different contexts. The use of metaheuristics to overcome some of these data mining challenges is introduced and justified in the first part of the book, alongside a specific protocol for the performance evaluation of algorithms. An introduction to metaheuristics follows. The second part of the book details a number of data mining tasks, including clustering, association rules, supervised classification and feature selection, before explaining how metaheuristics can be used to deal with them. This book is designed to be self-contained, so that readers can understand all of the concepts discussed within it, and to provide an overview of recent applications of metaheuristics to knowledge discovery problems in the context of Big Data.

This timely and unique book covers the essential points of SMS. The knowledgeable authors go beyond merely defining it; they discuss the quality management underpinnings of SMS, the four pillars, risk management, reliability engineering, SMS implementation, and the scientific rigor that must be designed into proactive safety.This comprehensive work is designed as a textbook for the student of aviation safety, and is an invaluable reference tool for the SMS practitioner in any segment of aviation.