ler totalmente DO-178C AVIONICS SOFTWARE ENGINEERING: CERTIFICATION AND VALIDATION GUIDE

DO-178C is not a paperwork exercise—it is the engineering discipline behind certifiable airborne software.
Learn how to transform requirements, architecture, C code, testing, and verification into defensible certification evidence.

DO-178C Avionics Software Engineering: Certification and Verification Guide is a comprehensive practical reference for engineers who want to understand not only what DO-178C requires, but how its objectives translate into real engineering practice.

The book covers the complete avionics software life cycle—from safety assessment, Design Assurance Levels (DAL A–E), planning and requirements engineering to architecture, implementation, integration, verification, certification evidence, maintenance, and emerging technologies.

Key areas include:

• DO-178C processes, objectives, planning, compliance strategy, and certification
• Requirements engineering, derived requirements, verification, and bidirectional traceability
• Safety-critical architecture, determinism, fault containment, and redundancy
• VxWorks 7 real-time architecture, scheduling, synchronization, interrupts, watchdogs, and memory management
• VxWorks 653 and ARINC 653, including temporal/spatial partitioning, scheduling, communication, and health monitoring
• Safety-critical C programming, defensive programming, static analysis, and compiler considerations
• Requirements-based testing, robustness testing, fault injection, and test automation
• Structural coverage, MC/DC, data/control coupling, object-code considerations, and coverage closure
• DO-330 tool qualification and verification automation
• Configuration management, quality assurance, reproducible builds, integration, performance, and reliability
• Software change, reuse, legacy software, regression testing, and recertification
• DO-331, DO-332, and DO-333 for model-based development, object-oriented techniques, and formal methods
• Aviation cybersecurity under DO-326A and DO-356A
• Multicore, virtualization, AI/ML, autonomous systems, Digital Twins, DevSecOps, and emerging certification challenges

A recurring Integrated Avionics Computing Platform (IACP) case study connects these concepts across different DALs, VxWorks architectures, verification activities, and certification evidence.

Designed for avionics software engineers, architects, verification and validation engineers, certification engineers, systems and integration engineers, safety professionals, technical leads, and engineering managers, this book helps bridge the critical gap between software engineering and certification evidence.

A serious engineering reference for professionals building, verifying, integrating, and certifying safety-critical airborne software.

Procurando DO-178C AVIONICS SOFTWARE ENGINEERING: CERTIFICATION AND VALIDATION GUIDE? Aqui você encontra tudo sobre este livro de AJAI KUMAR MEDHAVI em 15 de setembro de 2026. Nesta página estão a descrição da obra, os detalhes da edição (610 páginas) e os formatos disponíveis para baixar: pdf, epub, txt, djvu. Se você gosta de Livros Internacionais, Ciências Tecnológicas, Astronomia e Ciência Espacial, Aeronáutica e Astronáutica, explore também outros títulos da mesma categoria no Encontrando os melhores livros. Veja ainda as outras obras de AJAI KUMAR MEDHAVI em nosso catálogo.