BRANCHENSTANDARDS
做- 254
在luftgestützten Systemen erforderlich ist的标准定义Anforderungen硬件,deren Zertifizierung für den Einsatz。Er wurde basierend auf DO-178, dem äquivalenten Standard für die Zertifizierung von Flugsoftware, konzipiert。Ebenso wie bem DO-178 can die Erfüllung der Ziele des DO-254 aufgruner mehrerer Prozesse teuer and zeitaufwendig sein:
- Verwaltung和Rückverfolgung von Anforderungen
- 麻省理工学院Konformitat Designstandards
- Verifizierung和Validierung
麻省理工学院基于模型的设计können Ingenieure die Ziele des DO-254 erfüllen und gleichzeeitig Kosten und Zeitvorteile realisieren, die Mit der frühzeitigen Verifizierung von Anforderungen, der automatisierten Verknüpfung Mit Anforderungen, der Prüfung von模型和代码标准,der Code-Generierung,在Zusammenhang stehen的der Erstellung von Berichtsartefakten和der Wiederverwendung von Testfällen。
MATLAB®,金宝app®和高密度脂蛋白编码器™unterstützen die wiichtigsten Entwicklungsaktivitäten im Bereich des Model-Based Design für DO-254。
Zusätzliche produckte zur Unterstützung wichtiger verizierungsaufgaben
- 麻省理工学院金宝app仿真软件需求™können Sie Anforderungen in 金宝appSimulink erstellen, analysieren and verwalten。金宝app模型检查™bietbranchenweit anerkannte Überprüfungen und Metriken, mit denen Verstöße gegen Standards and Richtlinien während der Entwicklung identifiiert werden。金宝app仿真软件测试™和金宝app仿真软件覆盖™können für模具模型验证和分析。
- 高密度脂蛋白校验™verifiziert Verilog®-和硬件描述语言(VHDL)®-编写hdl - simulatorn和fpga -硬件在环。
- 金宝app仿真软件报告生成器™für die Modellen and Testergebnissen的文件
- 达斯DO-Qualifizierungs-Kitermöglicht die toolqualiizierung für die und andere Verifikationswerkzeuge, die im Model-Based Design verwendet werden。