logo资料库

A Practical Guide for Aviation Software and DO-178C.pdf

发布时间：2022-06-06 发布人：admin 分类：说明书 资料大小：4.69M 资料格式：pdf 举报 版权申诉
第1页 / 共596页
第2页 / 共596页
第3页 / 共596页
第4页 / 共596页
第5页 / 共596页
第6页 / 共596页
第7页 / 共596页
第8页 / 共596页
资料共596页，剩余部分请下载后查看
    CONTENTS
    Preface
    Acknowledgments
    Author
    Part I Introduction
    1. Introduction and Overview
    Part II Context of Safety-Critical Software Development
    2. Software in the Context of the System
    3. Software in the Context of the System Safety Assessment
    Part III Developing Safety-Critical Software Using DO-17
    4. Overview of DO-178C and Supporting Documents
    5. Software Planning
    6. Software Requirements
    7. Software Design
    8. Software Implementation: Coding and Integration
    9. Software Verification
    10. Software Configuration Management
    11. Software Quality Assurance
    12. Certification Liaison
    Part IV Tool Qualification and DO-178C Supplements
    13. DO-330 and Software Tool Qualification
    14. DO-331 and Model-Based Development and Verification
    15. DO-332 and Object-Oriented Technology and Related Techniques
    16. DO-333 and Formal Methods
    Part V Special Topics
    17. Noncovered Code (Dead, Extraneous, and Deactivated Code)
    18. Field-Loadable Software
    19. User-Modifiable Software
    20. Real-Time Operating Systems
    21. Software Partitioning
    22. Configuration Data
    23. Aeronautical Data
    24. Software Reuse
    25. Reverse Engineering
    26. Outsourcing and Offshoring Software Life Cycle Activities
    Appendix A: Example Transition Criteria
    Appendix B: Real-Time Operating System Areas of Concern
    Appendix C: Questions to Consider When Selecting a Real-Time Operating System for a Safety-Critical System
    Appendix D: Software Service History Questions
    A Practical Guide for Aviation Software and DO-178C Compliance L E A N N A R I E R S O N
    A Practical Guide for Aviation Software and DO-178C Compliance
    A Practical Guide for Aviation Software and DO-178C Compliance L E A N N A R I E R S O N Boca Raton London New York CRC Press is an imprint of the Taylor & Francis Group, an informa business
    MATLAB® and Simulink® are trademarks of The MathWorks, Inc. and are used with permission. The Math- Works does not warrant the accuracy of the text or exercises in this book. This book’s use or discussion of MATLAB® and Simulink® software or related products does not constitute endorsement or sponsorship by The MathWorks of a particular pedagogical approach or particular use of the MATLAB® and Simulink® software. CRC Press Taylor & Francis Group 6000 Broken Sound Parkway NW, Suite 300 Boca Raton, FL 33487-2742 © 2013 by Taylor & Francis Group, LLC CRC Press is an imprint of Taylor & Francis Group, an Informa business No claim to original U.S. Government works Version Date: 20130306 International Standard Book Number-13: 978-1-4398-1369-0 (eBook - PDF) This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. The authors and publishers have attempted to trace the copyright holders of all material reproduced in this publication and apologize to copyright holders if permission to publish in this form has not been obtained. If any copyright material has not been acknowledged please write and let us know so we may rectify in any future reprint. Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, transmit- ted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter invented, including photocopying, microfilming, and recording, or in any information storage or retrieval system, without written permission from the publishers. For permission to photocopy or use material electronically from this work, please access www.copyright. com (http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive, Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that provides licenses and registration for a variety of users. For organizations that have been granted a photocopy license by the CCC, a separate system of payment has been arranged. Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are used only for identification and explanation without intent to infringe. Visit the Taylor & Francis Web site at http://www.taylorandfrancis.com and the CRC Press Web site at http://www.crcpress.com
    I dedicate this book in memory of Cary Spitzer, who believed in its importance and my ability to write it, and to my grandmother, Charlotte Richardson, who prayed daily for my work. Both Cary and Grandma Richardson passed away in the fall of 2011 as I was finishing the first draft of this book. I miss them both immensely and hope they would be pleased with the text that they helped inspire.
    Contents Preface ................................................................................................................. xxiii Acknowledgments ............................................................................................. xxv Author ................................................................................................................xxvii Part I Introduction 1. Introduction and Overview ..........................................................................3 Acronyms ..........................................................................................................3 1.1 Defining Safety-Critical Software ......................................................3 1.2 Importance of Safety Focus .................................................................4 1.3 Book Purpose and Important Caveats ...............................................6 1.4 Book Overview ......................................................................................8 References .........................................................................................................9 Part II Context of Safety-Critical Software Development 2. Software in the Context of the System ..................................................... 13 Acronyms ........................................................................................................ 13 2.1 Overview of System Development ................................................... 13 2.2 System Requirements ......................................................................... 16 2.2.1 Importance of System Requirements .................................. 16 2.2.2 Types of System Requirements ............................................ 16 2.2.3 Characteristics of Good Requirements ............................... 17 2.2.4 System Requirements Considerations ................................ 19 2.2.4.1 Integrity and Availability Considerations .......... 19 2.2.4.2 Other System Requirements Considerations .....20 2.2.5 Requirements Assumptions .................................................23 2.2.6 Allocation to Items .................................................................23 System Requirements Validation and Verification .........................23 2.3.1 Requirements Validation ......................................................23 2.3.2 Implementation Verification ................................................. 24 2.3.3 Validation and Verification Recommendations ................. 24 2.4 Best Practices for Systems Engineers ...............................................27 2.5 Software’s Relationship to the System .............................................30 References ....................................................................................................... 31 2.3 vii
    分享到：
    赞 收藏

    相关推荐

    资料库

    安全技术

    共收录1285份资料，累计4个分类，关注成员有19位，主要包括：网络攻防,系统安全,其它,网络安全

    热门标签

    网络攻防 系统安全 其它 网络安全

    最新资料