Im ersten Schritt des neuen DO-254-Workflows erfassen und verwalten die Ingenieure zunächst die Anforderungen mit dem ReqTracer von Mentor Graphics. Anschließend entwickeln sie einen Konzeptentwurf auf Basis eines ausführbaren Simulink-Modells und verfeinern diesen. Dieser Systementwurf gibt bereits Einzelheiten der Implementierung wieder, wie etwa Festkommaeffekte. Im ReqTracer lassen sich Modellblöcke direkt mit den Anforderungen verknüpfen, um eine Rückverfolgbarkeit zu gewährleisten. Die Ingenieure können anschließend mit MathWorks Verifikations- und Validierungslösungen die Funktionen prüfen und das Modell umfassend analysieren. Durch diese Entwurfs- und Verifikationsfunktionalität können sie sicherstellen, dass die Konzeption umfassend getestet wird, der Spezifikation zugeordnet werden kann und allen nötigen Anforderungen entspricht. Das umfassend getestete Modell wird anschließend mit dem Simulink HDL Coder automatisch in HDL umgesetzt.
Ab dieser Phase ist der HDL Designer von Mentor Graphics die Hauptumgebung für die weitere HDL-Entwicklung, Codeüberprüfung, Codevisualisierung und Codereviews. Der spezifische HDL-Entwurf kann in der Umgebung von Mentor Graphics verifiziert werden. Die Verifikationsumgebung nutzt dabei die Testvektoren, die auf Modellebene erstellt wurden, unter Zuhilfenahme von Tools wie ModelSim und Questa. Die formale Analyse wird unterstützt durch 0-In Formal Verification für die HDL-Modellüberprüfung und durch FormalPro für das Logical Equivalency Checking (LEC). Precision RTL Plus sorgt für die FPGA-Synthese ("Field-Programmable Gate Arrays") und die Integration mit Placeand-Route-Tools von FPGA-Anbietern. Alle Verifikationsergebnisse und Syntheserandbedingungen, die im gesamten Verlauf erstellt werden, lassen sich mit ReqTracer zum Systementwurf und den Verifikationsanforderungen zurückverfolgen.
"Unsere Kunden in der Luft- und Raumfahrtbranche wollen ihre Konzeptentwürfe im gesamten Software- und Hardware-Design-Flow nutzen", so Michelle Lange, DO-254 Program Manager bei Mentor Graphics. "Die Integration unserer Tools mit MathWorks ist für uns sehr vielversprechend, da MathWorks solide Model-Based Design-Lösungen anbietet und einen DO-254 konformen Workflow unterstützen wollte. Die Kombination der MathWorks-Funktionaliäten mit unserem DO-254-Workflow spart den Anwendern Zeit bei Systemimplementierung und Verifikation."
"Die Einhaltung des DO-254-Standards ist ein Schwerpunkt unserer Kunden. Eine zentrale Herausforderung ist dabei die Verbesserung der Produktivität, etwa durch die Mehrfachnutzung von Systementwürfen oder die Automatisierung der Dokumentationserstellung und Verifikation", so Jon Friedman, Marketing Manager Aerospace and Military bei MathWorks. "Das haben wir durch den integrierten Workflow mit Mentor Graphics erreicht. Zudem weiten wir die Vorteile des Model-Based-Designs von der HDL-Simulation und -Analyse bis hin zur Synthese und Implementierung aus."
Die Anwendung von Model-Based-Design für die DO-254-Zertifizierung mit MathWorks-Tools wird unter www.mathworks.com/do-254 näher erläutert; der DO-254-Ansatz von Mentor Graphics wird unter www.mentor.com/go/do-254 im Detail beschrieben.
Weitere Informationen über den gemeinsamen Workflow erhalten Sie in dem Whitepaper unter: http://www.mathworks.com/...
Über Mentor Graphics
Mentor Graphics Corporation (NASDAQ: MENT) gehört zu den weltweit führenden Unternehmen, die Software- und Hardwarelösungen für die Entwicklung elektronischer Schaltungen anbieten. Zu Mentors Portfolio gehören Produkte, Beratungs- und Supportdienstleistungen, auf die die weltweit erfolgreichsten Elektronik- und Halbleiterhersteller vertrauen und dies mit der Verleihung zahlreicher Auszeichnungen an Mentor zum Ausdruck gebracht haben. Das 1981 gegründete Unternehmen erzielte in den zurückliegenden zwölf Monaten einen Gesamtumsatz von über 800 Mio. US-Dollar und beschäftigt weltweit ca. 4.425 Mitarbeiter. Der Hauptsitz von Mentor Corporate befindet sich den USA, 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777. Weitere Informationen unter: www.mentor.com.