Die Flight Code Generierung wandelt model automatisch in hochwertigen, präzise dokumentierten Code um, der in LRU-Einheiten eingebettet ward。与劳姆法尔tunternehmen konnten Einsparungen von40%的人支持cozeileverbuchen,Flugsoftware gemäß Six-Sigma-Qualitätsstandarderzielen和einen auf Anhiebeinsatzbereiten Autopilotenentwickeln。
Basierend auf million von Zeilen an Flugcode, der gegenwärtig aus嵌入式编码器®在LRUs generiert wd, entwickelt MathWorks kontinuierlich neue Technologien, die von producktionsunternehmen in folgenden Bereichen eingesetzt werden:
- 软件架构与企业
- 飞行代码汇编
- producktionscodeverifizierung, einschließlich software -in- loop - und prozessor -in- loop - tests
- - 178 zertifizierung吗
“Wir nutzen unser系统设计模型在Simulink für ARP4万博1manbetx754，嗯稳定的，客观的Anforderungen zu etablieren。Indem wir das模型基础für unser Softwaredesign für DO-178 - von dem wir Flugcode通用程序和验证程序für die软件验证程序wiederverwenden, sparen wir sehr viel Zeit。”
罗纳德·布朗鲁，空中客车直升机公司
软件架构与企业
万博1manbetx®和Stateflow®sind bestens geeignet für die avavionik, GN&C, Antrieb，雷达和anderenLuft- und raumfahrt系统设计。Die Verwendung ausführbarer Spezifikationen statt statischer Diagramme beschleunigt das设计和ermöglicht eine frühzeitige验证与验证．Mithilfe冯系统作曲家™和要求工具箱™können Sie Architekturmodelle erstellen and an Anforderungen anpassen。
SIMD-Codegenerierung aus 万博1manbetxSimulink-Modellen。
飞行代码生成与集成
嵌入式编码器生成器嵌入式代码aus MATLAB®- Simulink-Mod万博1manbetxellen。Standardmäßig狂野für jede艺术冯Gerät ANSI/ISO C oder c++ erzeugt。Zusätzlich kann Code mithillife flexibler api auf einfache Weise für spezifische mcu和dsp optimiert werden。模具集成von handgeschriebenem代码wid während der仿真wie auh während der Codegenerierung unterstützt。Verwenden您GPU编码器™um代码für gpu zu erzeugen。
飞行Code-Verifikation
万博1manbetxSimulink Code Inspector™unterstützt die Automatisierung von quellcode - review für Sicherheitsstandards and hand der strukturellen Äquivalenzanalyse sowie der Generierung von Rückverfolgbarkeitsberichten mit einem model and deessen generiertem Code。
软件在环(SIL)，处理器在环(PIL)半(边境)测试bilden den Eckpunkt der Flugcodeverifizierung, indem die Ausführung und der Vergleich von code - ergebnissen mit referenzmodel verhalten automatisiert ward。Die Erzeugung einer PIL-Test-Umgebung wid unterstützt, wenn嵌入式编码器指令指令指令指令指令指令指令指令指令指令指令。Sie können测试和测试套件mithillife von万博1manbetx仿真软件测试™Erstellen, ausführen， überprüfen und ordnen。Sie können die strukturelle Abdeckung des generierten code mithillife von万博1manbetx仿真软件覆盖™berechnen，嗯die Vollständigkeit der Tests zu ermitteln。
- 178 - b - zertifizierung吗
DO-178是primäre software - sicherheits标准。MathWorks-万博1manbetxSupport für DO-178 ist imDO资格套件verfugbar。Es ermöglicht einen qualiizieraren Code- generierungs - workflow anhand qualiifizierter Werkzeuge zur Verifizierung von Modellen und Code, einschließlic万博1manbetxh Simulink Code Inspector。
Mehr über die Generierung von嵌入式代码
Produkte ansehen
拉森你不聪明，我们会帮助können。
Kontaktieren Sie uns，嗯，eine speziell auf Ihre Anforderungen zugeschnittene Testversion sowie ein individuelles Preisangebot zu erhalten。
您也可以从以下列表中选择一个网站: