Consulting Service zur DO-178 Zertifizierung
MathWorks Consulting Services unterstützt Sie bei der Migration Ihres aktuellen Softwareentwicklungsprozesses – ob auf Basis von manuellen Methoden oder Model-Based Design – zu einem Prozess, der Model-Based Design für DO-178 nutzt. Der Consulting Service zur DO-178-Zertifizierung wird an Ihre Umgebung, Anwendung und Ihre Tools angepasst und identifiziert Lücken in Ihren aktuellen Prozessen. Anhand dessen entwickelt er eine Roadmap zu einem optimierten Workflow für DO-178 mithilfe von Model-Based Design und unterstützt Sie der Umsetzung dieser Roadmap. MathWorks Consulting Services bereitet Sie auf wichtige Modellierungs-, Codegenerierungs- und Tool-Qualifizierungsaktivitäten vor, um die Vorgaben der neuen DO-178C-Zertifizierung und ihrer ergänzenden Dokumente DO-330 (Hinweise zur Qualifizierung von Softwaretools), DO-331 (Modellbasierte Entwicklung und Verifikation) und DO-333 (Formale Methoden) zu erfüllen.
Der DO-178-Zertifizierungsservice wird von leitenden MathWorks Consultants bereitgestellt, die über jahrelange Erfahrungen in der Entwicklung von High-Integrity-Software zusammen mit Kunden aus der Luft- und Raumfahrtindustrie verfügen. MathWorks Consulting Services hilft Unternehmen, häufige Fehler zu vermeiden und die Zeit, den Aufwand und die Kosten für die Entwicklung von High-Integrity-Software zu reduzieren, die die Vorgaben von DO-178 erfüllt.
MathWorks Consulting Services arbeitet in folgenden Bereichen mit Ihnen zusammen:
Wichtige Aktivitäten für die DO-178-Konformität
- Rückverfolgbarkeit der Anforderungen
- Anforderungsbasierte Tests und Abdeckung von Modellen
- Überprüfung von Modellstandards mithilfe von Simulink Model Advisor
- Code-Reviews, Rückverfolgbarkeit und Analyse von Code mithilfe von Simulink Code Inspector™ und der Polyspace®-Produktfamilie
- Generierung von Testfällen und Entwurfsanalyse mithilfe von Simulink Design Verifier™
- Toolkonfiguration und Codegenerierung mithilfe von Embedded Coder®
- Testen von Algorithmen auf der Ziel-Hardware mithilfe von Processor-in-the-Loop, einschließlich der Analyse der Code-Abdeckung (z. B. MC/DC)
- Tool-Qualifizierung mithilfe des DO Qualification Kit (for DO-178)
- Generierung der für die DO-178-Konformität erforderlichen Prozessartefakte
Planung und Durchführung
- Transformieren Sie den aktuellen Softwareentwicklungsprozess Ihres Unternehmens und steigern Sie Ihre Effizienz.
- Identifizieren und verwirklichen Sie einen stufenweisen Ansatz, um Ihre Effizienz zu steigern.
Schulung Ihres Teams
- Erfahren Sie, wie Sie Model-Based Design anwenden und vollumfänglich nutzen können, um Ihre Vorteile zu maximieren und die Vorgaben von DO-178 und seinen Anhängen zu erfüllen.
- Machen Sie sich mit einem Kompetenzzentrum für Model-Based Design unabhängig.
Nächste Schritte
Die Strategie für die Migration zu einem optimierten Softwareentwicklungsprozess, der Model-Based Design in einem Workflow für DO-178 nutzt, variiert je nach Unternehmen und Anwendung. MathWorks Consulting Services macht sich sein Produktfachwissen und seinen Branchenhintergrund zunutze, um den Prozess bestmöglich auf Ihre Anforderungen abzustimmen. Mögliche Schritte:
- Bewertung der bestehenden Prozesse und Tools: MathWorks Consultants bewerten Ihren aktuellen Softwareentwicklungsprozess, Ihre Tools, Ihre Anwendung, die erforderlichen Sicherheitsstufen (A–E) und die Planungsdokumente, einschließlich der Tool-Qualifizierung.
- Lückenanalyse: Unsere Consultants identifizieren mithilfe einer Lückenanalyse aktuelle Herausforderungen, potenzielle Steigerungen der Prozesseffizienz, Schulungsbedarf und weitere Empfehlungen für die Migration zu einem DO-178-Prozess-Framework mit Model-Based Design. Wir entwickeln eine umsetzbare Roadmap mit einem stufenweisen Ansatz zur Verwirklichung der empfohlenen Verbesserungen.
- Wissenstransfer: Wir zeigen, wie Model-Based Design und die dazugehörige Toolchain angewendet werden können, um die Vorgaben von DO-178 und seinen Anhängen zu erfüllen. Dabei heben wir bewährte Praktiken hervor, die auf jahrelangen Erfahrungen basieren. Mögliche Themen sind die Durchführung von Verifikationsaktivitäten unter Verwendung bestimmter Tools sowie die Vertiefung von Themen auf der Grundlage einer Liste von priorisierten Anforderungen.
- Praktische Unterstützung bei der Bereitstellung: MathWorks Consultants unterstützen die Implementierung des empfohlenen Prozesses in einem konkreten Projekt. Wir unterstützen Sie bei Aktivitäten rund um Modellierung, Simulation, Codegenerierung, Verifikation, Validierung, Anpassung des DO Qualification Kit und Zertifizierung. Wir helfen Ihnen bei der Erstellung von DO-Planungsdokumenten wie dem PSAC im Zusammenhang mit der Nutzung von Model-Based Design und der Generierung von Tool-Qualifizierungsartefakten für DO-178 mit einer Individualisierung des DO Qualification Kit.
Kontaktieren Sie das MathWorks Consulting Services-Team, um über Ihre speziellen Anforderungen zu sprechen.
Raymond Estrada ist ein leitender technischer Berater mit umfassender Branchenerfahrung in den Bereichen Steuerung, Navigation und Regelung sowie Codegenerierung für den Einsatz in einer HIL-Umgebung. Sein Schwerpunkt liegt auf der Unterstützung von Unternehmen bei der Anwendung von Model-Based Design für die Entwicklung und Bereitstellung von Embedded Software für Hochintegritäts-Anwendungen, die den geltenden Sicherheitsstandards entsprechen. Raymond Estrada hat einen Bachelorabschluss in Aeronautics and Astronautics Engineering vom Massachusetts Institute of Technology und einen Masterabschluss in Luft- und Raumfahrttechnik von der University of California in Los Angeles.
