金宝appSimulink代码检查员
自动化器Les Revure Du Code Source Pour Les Normes desécurité
金宝appSimulink Code Inspector™比较自动代码généré avec son modèle source pour répondre aux objectifs de revue de de la -178和de ' aures normes de ' aures haute intégrité。L 'inspecteur de代码检查systematiquement莱斯集团,les政变之前的d, d les产品等配置一个模型afin de限定词年代他们是structurellement等价物辅助操作,辅助operateurs genere杜等辅助数据代码。金宝appSimulink Code Inspector允许分析détaillée de la traçabilité modèle/ Code et Code /modèle。这里是génère traçabilité的报告和équivalence的结构你们可以从autorités的认证répondre的认证对象vérification的逻辑代码的后续DO-178的标准。
Le 金宝appSupport des Normes Industrielles EstAssuréCarle做资格套件（DO-178）。
Premier PAS：
金宝appSimulink代码Inspector™金宝appSpectse UN ensemble Restreint D'优化De Code et desémantiquedeModélisationSouventuteriséPourLesModèlesdeSystèmes批评。UNContrôleurdopatibilité，Fourni Par Simulin金宝appk代码检查员，DétermineSILeModèleEstConformeàCetSeNembleRestreint。
Vous PouvezLavérificationdedomatibilité指示Depuis L'Interface Utilisateur de Simulink代码检查员OU ParProg金宝appramationàl'AIDEDEMATLAB®。Vous Pouvez Placer des Blocs et d'AutresÉlémentsd'联合国Modèleconsidérésmondèledansunmopatibes dans unocmonéléférencé，Puis configurant age金宝appnteReventor afin d'ignorer leModèleRéférencé不兼容吊坠L'Inspection Du Code。VOUS Pouvez elsuite检查员柔版Le Code DesModèlesQui N'aPasétéRevu自动化。
Interface UtiliSateur de 金宝appSimulink代码检测器（àgauche）etrésultatsdelavérificationdecompatibilitédumodèle（àdroite）。
LesOpérationsd'SoneCénélationDeCodeSontIndépendantesl'undel'autre。Simulink代码In金宝appspectorConsidèreQue Le CodeA.CreadèreQue Le CodeA.TéjàétéGénéré。互相依赖，Vous Pouvez Configurer L'Inspecteur Afin Que Le Processus d'InspectionIntègreLaGénérationDe代码。Vous PouvezÉgalementSpécifiersl'emplacement des fichiers de代码源générés，notammentsceuxuteriséspar vos processus de Cregilation En生产。L'检验PatueêtreLancéedepuis l'interface uterisateur ou en ligne de commande。
LORS D'UNE检查DE代码，SIMULINK代码检查员检金宝app查LESCATÉGORIONEGénéralesSuivantes：
- Interfaces desstonèles.
- 争论des blocs.
- Connectivitéetordred'emécutiondes blocs
- 包装desdonnéesetfichiers
- 变量localesetélémentsdesstonèlesfoncightnels
LES分析结果一致澳大利亚Bien enUneévaluationSteSneussiant纳沃图·诺特·诺维拉斯·斯文史（Qu'en Une）分析Détailléedel'ordsdéderdsdedédésessdedédépendersdedladépendersdesdandépendersdedlailedsdiairsEntre Deux Comporants de Blocs EstConservéeDanseCodeGénéré。
VOUS pouvez咨询者乐德消息科特迪瓦statut检查directement丹斯MATLAB欧考官莱rapportsdétaillés（COMME CELA ESTdécrit丹斯LA部分suivante）魁proposent UNE分析德traçabilité精确AVEC DES留置权interactifs VERS莱OBJETS杜设计。
UNE检验DE CODERéussie（vérifiée）Cheaficuéeàl'AIDESDES命令MATLAB。
AVEC 金宝appSimulink代码检查员，VousPouvezGénérerSdétaillantLesRésultatsdeL'Suceincormation du Code。vousspécifiezl'emplacement d'endegistrement des adchports。Vous Pouvez Ainsi Les Archiver et Les Idver Plus Inspilent Dans votre套餐完成DE认证。Le Rapport D'Inspection开始标识符LeModèleet码代码源àexamineràl'anidede la Somme deContróle，des noms de Chemin et de l'horodatage dumodèle。IL Fournit elsuite联合国récapitulatifdesvérifirationfumentuéeset leattatut deChaqueélément（Paremple，Vérifié，PartiellementVérifiéetéchec）。UneSectionDécritSenuiteDeFaçondétailléeLESRésultatsdeVérificationDeChaqueFichier，Fonction et Ligne Du CodeGénéré。
LES信息D'Inspection Du Code ContuptuentLeséljments共存：
- VérificationSes接口Des Fonctions
- Vérificationmodèle/代码
- Vérification码/modèle
- 利用率de变量临时
Les InformationsdeTraçabilité10RENUENTLESÉLEMENTS共存：
- traçabilitémodèle/代码
- Traçabilitéceed/modèle
Rapport 金宝appSimulink代码检查员DétailléMontrantLavérification码/ MODE'LE。
La Norme RTCA / DO-178机载系统和设备认证中的软件考虑spécifieles orgefifsdevérificationdu代码源。L'检测自动频道De Code De Simulink代码检查员Accé金宝applèreLaconformitéaux orgefifsdevérificationde代码源Imposéspar la norme do-178 CommeIndiquéDansleTableau Ci-Desce。L'Objectif（3）Le Code源EstVérifiedPeutêtreentièrementremple avec sim金宝appulink代码inspector et l'dalicseur misra c®Fourni Par.Polyspace Bug Finder™。Par Ailleurs，L'Objectif（4）Le Code源EST Conforme Aux NormesPeutêtrerempliàl'ided'utilsyoume l'分析法Misra C fourni par polyspace bug finder。Le 金宝appSupport de la认证d'outils倒模仿代码inspector et l金宝appes produit波尔盖斯®EstAssuré杆做资格套件（DO-178）。
Objectifs Do-178C Compatibes Avec S金宝appimulink代码检查器
| Tableau Annexe A. | orightif. | référencedo-331 * | NiveAux de批评 |
|---|---|---|---|
| Tableau MB A-5 | （1）Le Code源EST Conforme Avec Les Levigences de Bas Niveau | 部分MB 6.3.4a | A，B，C |
| Tableau MB A-5 | （2）Le代码源EST Conforme Avec L'Architecture Logicielle | 部分MB 6.3.4b. | A，B，C |
| Tableau MB A-5 | （3）Le Code源EstVérified | 部分MB 6.3.4C | A，B |
| Tableau MB A-5 | （5）Le Code源EST激起辅助辅助欧布纳沃 | 部分MB 6.3.4e. | A，B，C |
| Tableau MB A-5 | （6）Le Code源ESTPrécisetcohérent** | 部分MB 6.3.4f. | A，B，C |
* do-331，«基于模型的开发和验证补充到DO-178C和DO-278A»
** Ne Couvre Pas Les ObjectifsNécessitantUne分析Du Code Objet et du Compilateur。
做资格套件。
Configuration de lagénérationde代码
éliminationdes限制倒入les选项删除禁用功能et删除复位函数
Blocs 金宝appSimulink.
Le Type deDonnéeénuméréestspea金宝apprlépar de nouveaux blocs，et de nouvelles opsportions d'Unitéssontsupportéesdans le bloc单位转换
Bloc Matlab功能
金宝app支持倒入les sordies d'appel de fonction et les fonctionsIntégrées符号那DEG2RAD.ET.Rad2deg
优化degénérationde代码
L'检查De Code Supporte 金宝appPlus D'优化
Consultez Les.Notes de版本倒入Savoir Plus Sur CESFonctionnalitésetendenctions诉讼。
