A Practical Tutorial On Modified Condition Decision Coverage

A Practical Tutorial on Modified Condition Decision Coverage PDF Book Detail:
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
ISBN: 9781726157551
Size: 52.68 MB
Format: PDF, Kindle
Category :
Languages : en
Pages : 86
View: 878

Get Book

Book Description: This tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software products that must comply with regulatory guidance for DO-178B level A software. The tutorial's approach to MC/DC is a 5-step process that allows a certification authority or verification analyst to evaluate MC/DC claims without the aid of a coverage tool. In addition to the MC/DC approach, the tutorial addresses factors to consider in selecting and qualifying a structural coverage analysis tool, tips for reviewing life cycle data related to MC/DC, and pitfalls common to structural coverage analysis.Hayhurst, Kelly J. and Veerhusen, Dan S. and Chilenski, John J. and Rierson, Leanna K.Langley Research CenterSTRUCTURAL ANALYSIS; COMPUTER PROGRAMS; LIFE (DURABILITY); CLAIMING; CERTIFICATION...

Developing Safety Critical Software

Developing Safety Critical Software PDF Book Detail:
Author: Leanna Rierson
Publisher: CRC Press
ISBN: 1439813698
Size: 80.16 MB
Format: PDF, Mobi
Category : Computers
Languages : en
Pages : 610
View: 1411

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.

Formal Methods And Testing

Formal Methods and Testing PDF Book Detail:
Author: Robert M. Hierons
Publisher: Springer
ISBN: 3540789170
Size: 12.45 MB
Format: PDF, ePub, Docs
Category : Computers
Languages : en
Pages : 370
View: 4448

Get Book

Book Description: This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).

Foundations Of Software Testing

Foundations of Software Testing PDF Book Detail:
Author:
Publisher: Pearson Education India
ISBN: 9788131707951
Size: 49.25 MB
Format: PDF, ePub
Category : Computer software
Languages : en
Pages : 689
View: 2372

Get Book

Book Description: "This book presents sound engineering approaches for test generation, selection, minimization, assessment, and enhancement. Using numerous examples, it offers a lucid description of a wide range of simple to complex techniques for a variety of testing-related tasks"--Resource description page.

2001 Ieee Aiaa 20th Digital Avionics Systems Conference

2001 IEEE AIAA 20th Digital Avionics Systems Conference PDF Book Detail:
Author: Digital Avionics Systems Conference
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780780370340
Size: 71.46 MB
Format: PDF, Mobi
Category : Technology & Engineering
Languages : en
Pages : 1840
View: 1480

Get Book

Book Description: These volumes contain the conference proceedings from the 2001 20th Digital Avionics Systems Conference.

Space Aviation S Next Frontier

Space  Aviation s Next Frontier PDF Book Detail:
Author:
Publisher:
ISBN: 9780780370340
Size: 38.33 MB
Format: PDF, Kindle
Category : Air traffic control
Languages : en
Pages :
View: 3539

Get Book

Book Description:

Zb

ZB     PDF Book Detail:
Author:
Publisher:
ISBN:
Size: 12.98 MB
Format: PDF, Docs
Category : B (Computer program language)
Languages : en
Pages :
View: 3850

Get Book

Book Description:

Software Engineering The Development Process

Software Engineering  The Development Process PDF Book Detail:
Author: Richard H. Thayer
Publisher: Wiley-IEEE Computer Society Press
ISBN: 9780471684176
Size: 22.95 MB
Format: PDF
Category : Computers
Languages : en
Pages : 544
View: 6495

Get Book

Book Description: Volume 1 of Software Engineering, Third Edition includes reprinted and newly authored papers that describe the technical processes of software development and the associated business and societal context. Together with Volume 2, which describes the key processes that support development, the two volumes address the key issues and tasks facing the software engineer today. The two volumes provide a self-teaching guide and tutorial for software engineers who desire to qualify themselves as Certified Software Development Professionals (CSDP) as described at the IEEE Computer Society Web site (www.computer.org/certification), while also gaining a fuller understanding of standards-based software development. Both volumes consist of original papers written expressly for the two volumes, as well as authoritative papers from the IEEE archival journals, along with papers from other highly regarded sources. The papers and introductions of each chapter provide an orientation to the key concepts and activities described in the new 2004 version as well as the older 2001 version of the Software Engineering Body of Knowledge (SWEBOK), with many of the key papers having been written by the authors of the corresponding chapters of the SWEBOK. Software Engineering is further anchored in the concepts of IEEE/EIA 12207.0-1997 Standard for Information Technology--Software Life Cycle Processes, which provides a framework for all primary and supporting processes, activities, and tasks associated with software development. As the only self-help guide and tutorial based on IEEE/EIA 12207.0--1997, this is an essential reference for software engineers, programmers, and project managers. This volume can also form part of an upper-division undergraduate or graduate-level engineering course. Each chapter in this volume consists of an introduction to the chapter's subject area and an orientation to the relevant areas of the SWEBOK, followed by the supporting articles and, where applicable, the specific IEEE software engineering standard. By emphasizing the IEEE software engineering standards, the SWEBOK, and the contributions of key authors, the two volumes provide a comprehensive orientation to the landscape of software engineering as practiced today. Contents: * Key concepts and activities of software and systems engineering * Societal and legal contexts in which software development takes place * Key IEEE software engineering standards * Software requirements and methods for developing them * Essential concepts and methods of software design * Guidelines for the selection and use of tools and methods * Major issues and activities of software construction * Software development testing * Preparation and execution of software maintenance programs