一代代码倒L'avionique DESSystèmes的aérospatiaux
拉代代码倒莱斯Systèmes的avioniques convertit automatiquement莱MODELES连接代码documenté德高级QUALITE,embarqué丹斯DES元素remplaçablesEN LIGNE(LRU)。CETTE程序一个似曾相识的PERMIS辅助企业经营者aérospatiales德réduireleurs德40%的票面LIGNE去努力代码,D'atteindreLA QUALITE六西格玛倒乐logiciel avionique等德garantir乐盂兰盆fonctionnement杜PILOTE AUTOMATIQUE梅乐总理essai。
AVEC DES百万德法分代码généréesautomatiquement恩典的嵌入式编码®丹斯莱LRU D'aujourd'hui,MathWorks公司继续去développerDES技术不要莱企业经营者ONT besoin倒:
- L'架构等设计乐德logiciel
- 拉代杜代码DESSystèmes的avioniques
- 拉验证杜代码DESSystèmes的avioniques,Y compris LES测试软件在半实物等处理器在所述环
- 香格里拉认证DO-178
«奴斯utilisons巴黎MODELE去设计去SYSTEME丹斯Simulink的倒L'ARP4754 AFI金宝appN D'établir德exigences马厩等目标。奴斯gagnons逝水连接utilisant CE MODELE COMME基地倒巴黎MODELE去设计logiciel倒乐DO-178,partir duquel理性générons乐代码DE L'avionique等连接réutilisant莱测试验证德倒拉验证logicielle。»
罗纳德Blanrue,直升机空中客车公司
L'建筑等设计乐德logiciels
金宝app®等Stateflow的®SONTparticulièrementadaptésAUDéveloppement公司DES设计日Systèmes的aérospatiaux(avionique,GN&C,推进OU雷达,notamment)。Utiliser DES规格的可执行文件plutôt阙宫diagrammes statiquesaccélère乐设计等柏美D'effectuer莱操作德验证等德验证TRÈSTOT丹斯乐德循环发展署。AVEC系统构成™等金宝appSimulink的要求™,VOUS pouvezcréer德MODELES D'架构等示踪剂莱exigences。
发电等一体化杜代码DESSystèmes的avioniques
验证码都宫Systèmes的avioniques
金宝appSimulink的代码检查™contribueàautomatiser莱讽刺时事的滑稽剧德源代码倒莱NORMES安全局设有有效物质UNE分析D'等价structurelle等连接发生DES rapports德traçabilité基地河畔未MODELE等儿子码généré。
莱斯测试软件在环(SIL),处理器在环(PIL)等硬件在环(HIL)构成拉皮埃尔angulaire德拉验证杜代码DESSystèmes的avioniques。恩effet,ILS automatisent L'执行等拉comparaison德résultats杜代码相提并论关系AU comportement杜MODELE德引用。香格里拉CRÉATION科特迪瓦联合国环境在去测试PIL ESTsupportéeAVEC金宝app嵌入式编码欧UNE联接DIRECTE虚拟操作系统CARTES processeur。VOUS pouvezcréer,执行器,考官等组织者德测试和des CAS去测试A L'助手德金宝appSimulink的测试™。VOUS pouvez calculer拉糖衣structurelle杜代码généréA L'助手德金宝appSimulink的覆盖™倒évaluerL'政变德réalisation德沃思测试。
认证DO-178B
香格里拉认证DO-178 constitue拉PRINCIPALE norme安全局logicielle倒乐SECTEURaérospatial。乐德支金宝app持MathWorks公司倒乐DO-178 EST确保乐齐名DO资格套件。伊尔柏美未突未代代代代码qualifiable连接utilisant DES OUTILS德资质倒验证莱MODELES等文件的代码,不Simulink的代码检查。金宝app
恩飘出加拉河畔一代代码embarqué
DécouvrirLES PRODUITS