Model-Based Design of Safety-Critical Avionics Systems

BAE Systems Electronic Systems is a lead supplier of avionic systems to the aerospace and defence sector. Flight control computers, active inceptors, mission computers, helmet-mounted displays, and head-up displays all require a higher level of functionality and complexity than ever before. The combination of increased complexity and certification demands, from standards such as DO-178C and DO-254, requires robust and highly automated development processes.

This presentation describes some of those challenges and how they are being overcome by model-based development processes at BAE Systems Electronic Systems.