Developing safety-critical software : a practical guide for aviation software and do-178c compliance /

Mostrar otras versiones (2)

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 Prac...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Rierson, Leanna (Autor)
Autor Corporativo: CRC Press
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boca Raton, FL : CRC Press, ©[2017]
Edición:First edition.
Temas:
Aeronautics > Data processing.
Aeronautics > Safety measures.
Aeronautics > Safety regulations > United States.
Computer software > Development.
Computer software > Reliability.
Aéronautique > Informatique.
Aéronautique > Sécurité > Mesures.
Aéronautique > Sécurité > Règlements > États-Unis.
Logiciels > Fiabilité.
Aeronautics > Data processing
Aeronautics > Safety measures
Aeronautics > Safety regulations
Computer software > Development
Computer software > Reliability
United States
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)
Tabla de Contenidos:
  • Part Part I Introduction
  • chapter 1 Introduction and Overview
  • part Part II: Context of Safety-Critical Software Development
  • chapter 2 Software in the Context of the System
  • chapter 3 Software in the Context of the System Safety Assessment
  • part Part III: Developing Safety-Critical Software Using DO-178C
  • chapter 4 Overview of DO-178C and Supporting Documents
  • chapter 5 Software Planning
  • chapter 6 Software Requirements
  • chapter 7 Software Design
  • chapter 8 Software Implementation: Coding and Integration
  • chapter 9 Software Verification
  • chapter 10 Software Configuration Management
  • chapter 11 Software Quality Assurance
  • chapter 12 Certification Liaison
  • part Part IV: Tool Qualification and DO-178C Supplements
  • chapter 13 DO-330 and Software Tool Qualification
  • chapter 14 DO-331 and Model-Based Development and Verification
  • chapter 15 DO-332 and Object-Oriented Technology and Related Techniques
  • chapter 16 DO-333 and Formal Methods
  • part Part V: Special Topics
  • chapter 17 Noncovered Code (Dead, Extraneous, and Deactivated Code)
  • chapter 18 Field-Loadable Software
  • chapter 19 User-Modifiable Software
  • chapter 20 Real-Time Operating Systems
  • chapter 21 Software Partitioning
  • chapter 22 Configuration Data
  • chapter 23 Aeronautical Data
  • chapter 24 Software Reuse
  • chapter 25 Reverse Engineering
  • chapter 26 Outsourcing and Offshoring Software Life Cycle Activities.

Ejemplares similares