Developing Safety Critical Software

Developing Safety Critical Software PDF Book Detail:
Author: Leanna Rierson
Publisher: CRC Press
ISBN: 1351834053
Size: 24.79 MB
Format: PDF, Docs
Category : Computers
Languages : en
Pages : 610
View: 1945

Get Book

Book Description: The amount of software used in safety-critical systems is increasing at a rapid rate. At the same time, software technology is changing, projects are pressed to develop software faster and more cheaply, and the software is being used in more critical ways. Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance equips you with the information you need to effectively and efficiently develop safety-critical, life-critical, and mission-critical software for aviation. The principles also apply to software for automotive, medical, nuclear, and other safety-critical domains. An international authority on safety-critical software, the author helped write DO-178C and the U.S. Federal Aviation Administration’s policy and guidance on safety-critical software. In this book, she draws on more than 20 years of experience as a certification authority, an avionics manufacturer, an aircraft integrator, and a software developer to present best practices, real-world examples, and concrete recommendations. The book includes: An overview of how software fits into the systems and safety processes Detailed examination of DO-178C and how to effectively apply the guidance Insight into the DO-178C-related documents on tool qualification (DO-330), model-based development (DO-331), object-oriented technology (DO-332), and formal methods (DO-333) Practical tips for the successful development of safety-critical software and certification Insightful coverage of some of the more challenging topics in safety-critical software development and verification, including real-time operating systems, partitioning, configuration data, software reuse, previously developed software, reverse engineering, and outsourcing and offshoring An invaluable reference for systems and software managers, developers, and quality assurance personnel, this book provides a wealth of information to help you develop, manage, and approve safety-critical software more confidently.

Safescrum Agile Development Of Safety Critical Software

SafeScrum       Agile Development of Safety Critical Software PDF Book Detail:
Author: Geir Kjetil Hanssen
Publisher: Springer
ISBN: 3319993348
Size: 20.15 MB
Format: PDF, ePub, Mobi
Category : Computers
Languages : en
Pages : 233
View: 4849

Get Book

Book Description: This book addresses the development of safety-critical software and to this end proposes the SafeScrum® methodology. SafeScrum® was inspired by the agile method Scrum, which is extensively used in many areas of the software industry. Scrum is, however, not intended or designed for use with safety-critical systems; hence the authors propose guidelines and additions to make it both practically useful and compliant with the additional requirements found in safety standards. The book provides an overview of agile software development and how it can be linked to safety and relevant safety standards. SafeScrum® is described in detail as a useful approach for reaping the benefits of agile methods, and is intended as a set of ideas and a basis for adaptation in industry projects. The book covers roles, processes and practices, and documentation. It also includes tips on how standard software process tools can be employed. Lastly, some insights into relevant research in this new and emerging field are provided, and selected real-world examples are presented. The ideas and descriptions in this book are based on collaboration with the industry, in the form of discussions with assessment organizations, general discussions within the research fields of safety and software, and last but not least, the authors’ own experiences and ideas. It was mainly written for practitioners in industry who know a great deal about how to produce safety-critical software but less about agile development in general and Scrum in particular.

Safer C

Safer C PDF Book Detail:
Author: Les Hatton
Publisher: McGraw-Hill Companies
ISBN:
Size: 69.42 MB
Format: PDF, Kindle
Category : Science
Languages : en
Pages : 228
View: 7616

Get Book

Book Description: This important and timely book contains vital information for all developers working with C, whether in high-integrity areas or not, who need to produce reliable and effective software.

Safety Critical Computer Systems

Safety critical Computer Systems PDF Book Detail:
Author: Neil Storey
Publisher: Addison Wesley Publishing Company
ISBN:
Size: 27.25 MB
Format: PDF, ePub, Mobi
Category : Computers
Languages : en
Pages : 453
View: 4121

Get Book

Book Description: Increasingly microcomputers are being used in applications where their correct operation is vital to ensure the safety of the public and the environment: from anti-lock braking systems in automobiles, to fly-by-wire aircraft, to shut-down systems at nuclear power plants. It is, therefore, vital that engineers be aware of the safety implications of the systems they develop. This book is an introduction to the field of safety-critical computer systems written for any engineer who uses microcomputers within real-time embedded systems. It assumes no prior knowledge of safety, or of any specific computer hardware or programming language. This text is intended for both engineering and computer science students, and for practising engineers within computer related industries. The approach taken is equally suited to engineers who consider computers from a hardware, software or systems viewpoint.

Professional Safety

Professional Safety PDF Book Detail:
Author:
Publisher:
ISBN:
Size: 32.72 MB
Format: PDF, ePub, Mobi
Category : Industrial safety
Languages : en
Pages :
View: 3704

Get Book

Book Description:

The Firmware Handbook

The Firmware Handbook PDF Book Detail:
Author: Jack Ganssle
Publisher: Elsevier
ISBN: 0080470173
Size: 60.81 MB
Format: PDF, ePub, Mobi
Category : Computers
Languages : en
Pages : 365
View: 7659

Get Book

Book Description: The Firmware Handbook provides a comprehensive reference for firmware developers looking to increase their skills and productivity. It addresses each critical step of the development process in detail, including how to optimize hardware design for better firmware. Topics covered include real-time issues, interrupts and ISRs, memory management (including Flash memory), handling both digital and analog peripherals, communications interfacing, math subroutines, error handling, design tools, and troubleshooting and debugging. This book is not for the beginner, but rather is an in-depth, comprehensive one-volume reference that addresses all the major issues in firmware design and development, including the pertinent hardware issues. Included CD-Rom contains all the source code used in the design examples, so engineers can easily use it in their own designs

Achieving Systems Safety

Achieving Systems Safety PDF Book Detail:
Author: Chris Dale
Publisher: Springer Science & Business Media
ISBN: 1447124944
Size: 18.38 MB
Format: PDF, Kindle
Category : Computers
Languages : en
Pages : 293
View: 3459

Get Book

Book Description: Achieving Systems Safety contains papers presented at the twentieth annual Safety-critical Systems Symposium, held in Bristol, UK, in February 2012. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The topics covered by the 20 papers in this volume include vulnerabilities in global navigation satellite systems; safety culture and community; transport safety; cyber-attacks on safety-critical systems; improving our approach to systems safety; accidents; assessment, validation and testing; safety standards and safety levels. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.