安全かつ効率的で高品質なCコードの開発

• クラスを構造化の概念として使用することで、ソフトウェアの複雑さを自在に制御できます。
• オブジェクトベースのカプセル化と体系的な再利用という、実績ある利点を組み込み開発プロジェクトにもたらします。

• ソフトウェアプロパティをシームレスに再利用するASCETの機能を活用して、生産性を最大化します。
• ASCETは複雑さを明瞭さに変換し、ソフトウェアのプロパティを視覚的に表現して理解しやすくします。
• 高品質のコードを自動的に生成し、手動コーディングの時間を節約します。

• ASCETを使用すると、モデル内の単位と関係性を簡単に定義できます。
• ASCETは手動変換の必要がなく、単位を直感的に理解して統合するため、単位を使ってモデルを自然に拡張できます。
• ASCETは、単位を自動的に検出し、生成されたコードにシームレスに変換することで、煩雑な作業を処理し、モデリングプロセスを効率化します。

• 隠れた問題を早期に発見します。
• 組み込みのライブ静的解析により、型の互換性、互換性のない単位、副作用、読み取り/書き込みの欠落、到達不能コードなど、多くの項目をチェックします。

手動でコードを記述する場合、ランタイムエラーを防ぎ、標準やコーディングガイドラインに準拠させるために追加の労力が必要になります。ASCETを使用すると、問題の解決にのみ集中でき、残りはコードジェネレーターによって行われます。ASCETには以下の特徴があります。

• MISRA準拠の高品質なCコード生成
• ユーザー／開発者にとって優れたコードの可読性
• ASCETモデルへのトレーサビリティ
• 防御的コードの自動挿入：例として、ゼロ除算からの保護、型の特性に基づいた上下限値の飽和処理、配列型に対するインデックスオーバーフロー保護
• 固定小数点コード生成
• ASCETモデルをAUTOSAR構造にマッピングすることによるAUTOSARコード生成
• 既存のASCETモデルの迅速な再利用と、カスタマイズオプションによる異なるターゲット向けのコード生成：
  
  • デバイス固有の算術、補間、またはサービスライブラリへのカスタムコールバック
  • コンパイラ用のメモリディレクティブ
  • 条件付きコードとデータ構造（コンパイル時または生成時に解決可能）
  • リソース利用と実行時性能に関する多数の最適化機能

• ESDLユニットテストフレームワークを使用したソフトウェアユニットの体系的なテスト。
• 独立したソフトウェアユニットをテストし、実行後に結果を可視化するESDLテストクラス。

• ライブデータ測定および適合を伴うPCシミュレーションを使用した初期段階の設計検証。
• 信号発生器、データロガー、ウィジェットを備えた高度な実験環境。

• PCシミュレーションまたは単体テスト実行による、インタラクティブなテストカバレッジ。
• カバレッジビューにより、実行中の全ソフトウェアユニットのテストカバレッジを要約表示。
• テキストエディターまたはグラフィックエディターでカバレッジを可視化し、モデルのどの部分がテストされたかを確認。

• データおよび制御フローのモデリングと視覚化に最適。
• 計算の明示的な順序付けによる完全に決定論的な実行順序。

• 有限状態機械（有限ステートマシン：FSM）の表記に基づく意思決定ロジックのプログラミングと可視化。
• アクションと条件は、ESDLとして直接記述することも、ブロックダイアグラムエディターでプログラムされた別のメソッドにカプセル化することも可能。

• ASCETモデルのセマンティクス（コードの断片）をキャプチャするための組み込みソフトウェア記述言語。前述のグラフィックエディターを使用するか、テキストで直接プログラミング可能。
• テキストベースの実装（ループ処理など）に適したコードに最適。

• 使い慣れたESDLインターフェースによるモデル定義。
• C言語の能力をフルに使ったモデルの動作仕様。
• Cコードモデルを異なるモデル間で容易に再利用でき、一貫性を促進し、貴重な開発時間を節約。