MathWorks: Sie können jetzt detaillierte Model-to-Code- und Code-to-Model-Prüfberichte erstellen, um Quellcode gemäß DO-178B, Tabelle A-5, zu verifizieren. Das Tool nutzt einen automatisierten Prozess, um die Code-Struktur mit dem Modell zu vergleichen. Es gleicht dabei Blöcke, Parameter und Einstellungen des Modells systematisch mit den Operationen, Operatoren und Daten im generierten Code ab und erstellt Verifikations- und Rückverfolgbarkeitsberichte, die sich überprüfen, archivieren und an Zertifizierungsstellen übermitteln lassen. Kombiniert mit Simulink für das Systemdesign und die Simulation, dem Embedded Coder für die Generierung von Flight-Code und dem Tool für die Überprüfung von Quellcode gibt nun eine automatisierte und flexible Umgebung für Model-Based-Design sowie die DO-178-konforme Entwicklung und Verifikation.