万博1manbetxSimulink的检查
スタイルガイドラインやモデリング标准への准拠性を検证
万博1manbetxSimulink的检查™は,开発中の标准およびガイドライン违反を特定する,业界认定のチェックやメトリクスを提供します。做-178,ISO 26262,IEC 61508,IEC 62304,MathWorks公司顾问委员会(MAB)スタイルガイドラインなどの高信頼性ソフトウェア开発标准をサポートしています。编集中は,编集时チェックが准拠の问题を特定します。独自の标准やガイドラインに准拠するカスタムチェックを作成することも可能です。
万博1manbetx模型检查が提供するサイズや複雑度などのメトリクスを使用して,モデルのアーキテクチャや標準への準拠性を評価できます。統合型のメトリクスダッシュボードを使用し,設計ステータスと品質を評価できます。また,モデルの自動リファクタリング機能を使用して,重複する設計要素の置換,設計の複雑度の軽減,および,再利用可能なコンテンツの特定が可能です。モデルスライサーツールはモデル内の問題のある動作を切り離し,デバッグ用に簡略化されたモデルを生成します。
IEC认证工具包(ISO 26262およびIEC 61508用)およびDO资格套件(DO-178用)を通じて,业界标准のサポートが可能です。
詳細を見る:
高信頼性ソフトウェア開発のためのすぐに使用可能なチェック
モデルおよび生成されたコードの品质およびセキュリティを向上させるために,万博1manbetxSimulink的检查は,DO-178C,DO-331,ISO 26262,IEC 61508,EN 50128の业界标准のほか,高信頼性ソフトウェアを开発するためのMISRA C:2012,MABスタイルガイドライン,および,IEC62304の规格,そして,CERT C,CWE,およびISO / IEC TS 17961といったセキュアコーディング规格等に対して,事前に构成されたチェックを提供します。
编集时のエラー特定と修正
スペルチェックがドキュメント内のスペルエラーを回避するのに役立つのと同様に,编集时チェックは,モデルを编集する际に违反を通知します。编集中にエラーを修正することにより,开発プロセスの遅い段阶で発生する,コストのかかる手直し作业や追加テストを最小限に抑えることができます。
セキュリティ標準への準拠を確認
作成されたコードのCERT C,CWE,ISO / IEC TS 17961への准拠性を改善するために,モデルを确认して,コーディング标准への准拠を可能にするモデル构造を特定できます。
モデルチェックの设定,カスタマイズ,および,自动化
モデルが组织独自の基准またはガイドラインに准拠していることを确认するために,モデルアドバイザーAPIまたはモデルアドバイザーの设定エディターを使用して,モデリングのチェックおよび设定を调整できます。复数マシンによるチェックを并行处理して,准拠検证を加速できます。
モデルメトリクスの收集
万博1manbetxSimulink的检查は,DO-178,DO-331,IEC 61508,IEC 62304,ISO 26262,およびEN 50128规格に准拠して,モデルのアーキテクチャ,复雑さ,および可読性を评価するために使用できるモデルメトリクスを收集します。
ダッシュボードを使用した统合メトリクスの表示
メトリクスダッシュボードは,モデルのサイズ,コードの行数,ガイドラインの准拠状况,再利用,复雑さなどのメトリクスを単一のビューで统合し,プロジェクトの品质に关する洞察を提供します。
依存关系の强调表示
モデルスライサーは,静的な依存関係解析を使用してブロック,信号,およびモデルコンポーネントの間の相互依存関係を強調表示します。また,シミュレーション中のアクティブな挙動に基づく動的依存関係解析を使用して,大規模または複雑なモデルにおける機能の依存関係を分かりやすくします。
スタンドアロンの简略化モデルの作成
モデルスライサーは,ユーザー指定の开始点,记录された信号,またはシミュレーションの时间枠に基づいてモデルの一部を切り出し,シミュレーションでの挙动を保ちつつ规模を小さくしたモデルとして保存することで,デバッグを行いやすくするとともに,パフォーマンスを改善します。
Stateflow的を使用したアクティビティベースのタイムスライス
モデルの强调表示を特定のStateflow的™状态および迁移が同时にアクティブになる时间间隔に制限することで,关心のある挙动を分离することができます。
モデリングクローンの特定とリファクタリング
モデリングクローンの特定ツールは,モデルを分析して,重复するモデリングパターンを见つけます。これらの重复するクローンを,再利用可能なライブラリに自动的にリファクタリングして,保守性を向上し,设计の复雑度を軽减することができます。
コンポーネントの再利用性およびモデルの可読性を向上するためのモデル変換
モデルトランスフォーマーツールは,变体来源ブロックまたは变子系统ブロックに変换可能なモデリングパターンを特定し,モデルのコンポーネント化と再利用性を向上するためにモデルをリファクタリングします。このツールは,可読性を向上するために削除できるデータストアブロックを特定できます。
MAB 5.0のサポート
MAB 5.0モデリングスタイルガイドラインに対するモデルのチェックを自动化
モデルアドバイザーの设定エディターの改善
より柔软かつ一元化されたエディターを使用し,カスタムのチェック设定を作成して更新
DO-254チェック
DO-254规约への准拠を検证
追加のJMAAB 5.1チェック
JMAAB 5.1モデリングスタイルガイドラインに対するモデルのチェックを自动化
コードパースペクティブでの更新时チェック
コード生成でサポートされていないブロックを特定
自动クローンリファクタリングアプリ
サブシステムまたはライブラリパターンのクローン検出,リファクタリング,およびリファクタリング后のモデルの等価性をチェック
これらの機能および対応する関数の詳細については,リリースノートを参照してください。