Safety-Critical FPGA Design – (PDF file – English)
64,99 €
This comprehensive reference provides the engineering rigor and practical methodology needed to master FPGA development for aerospace systems. It covers essential standards (DO-254, AMC 20-152A, ARP4754A) and key technical processes from VHDL coding and requirements traceability to tool qualification and formal verification. Designed for engineers and certification stakeholders, it serves as a practical roadmap for delivering audit-ready hardware compliant with EASA and FAA safety objectives.
Description
Safety-Critical FPGA Design – From Engineering Rigor to DO-254 Certification is a comprehensive reference for hardware engineers, system architects, quality managers, and certification stakeholders involved in FPGA development for safety-critical aerospace systems.
The book thoroughly addresses key standards and guidance including DO-254, AMC 20-152A, ARP4754A, ARP4761, and DO-160, along with essential topics such as planning, requirements traceability, VHDL coding for certification, timing constraints, independent verification, formal methods, hardware testing, and configuration management. Special emphasis is placed on the unique challenges of programmable logic: toolchain qualification, build reproducibility, third-party IP management, coverage strategies, and audit-ready evidence aligned with DAL objectives.
Designed as a practical engineering guide. It supports both engineers new to certification and experienced professionals seeking to strengthen their processes or confidently prepare for DER, EASA, or FAA reviews.
What you’ll learn :
• How to design FPGA hardware that is truly DO-254 certifiable
• How to apply standards and guidance with engineering judgment
• How to structure a robust, audit-ready verification strategy
• How to build and defend a solid certification data package
Reviews
There are no reviews yet.