本文へスキップ
アセト開発者

安全で効率的な高品質のCコードを開発する

画像はコンピューターでASCETを使用する2人の女性。二人ともオフィスで画面を見ている。

ASCETは、組込みシステムのモデルベース設計とCコード自動生成のためのツールです。ASCETは、安全で効率的な、保守可能でテスト可能な、再利用可能なCコードを自動生成するための基礎となる、グラフィカルおよびテキストモデルの作成を可能にします。

お客様のメリット

速い

モデルベース設計とエラーのフロントローディングを使用することで、従来のC言語による開発よりも4倍高速化。

確かな品質

25年以上にわたって試行錯誤が繰り返され、5億台以上の車両のECUに電力を供給。

統合が容易

Eclipseプラットフォーム上に構築され、MISRA-C、FMI、AUTOSAR、OSEK、ASAMなどの標準規格をサポートしています。

高品質コードへの3つのステップ

このイラストは、モデリング、シミュレーション、テスト、そしてコード生成を表す3つのアイコンが描かれており、高品質なコードを実現するための重要なステップであることが強調されている。

なぜASCETを試すべきなのですか?

ASCETは楽で安全な組込みプログラミングのために作られています。オブジェクト指向プログラミング、意図ベースの引数処理、安全なループ、セマンティックユニット、ステートマシン、ルックアップテーブル、静的解析などの機能が組み込まれています。これらの要素は、組込みシステムにおける全体的なプログラミング体験を簡素化し、最適化するために協働します。

ソフトウェアを構成するさまざまなクラスを示すグラフィック

クラス

  • クラスを構造化の概念として使用することで、ソフトウェアの複雑さをマスターしましょう。
  • 実証済みの利点、オブジェクトベースのカプセル化、体系的な再利用を組み込みプロジェクトにもたらします。
ユーザーがソフトウェアのプロパティを再利用し、グラフィカルに生成されたコードを表示するための型システムを示す画像

タイプシステム

  • ソフトウェアプロパティをシームレスに再利用するASCETの機能を活用することで、生産性を最大化します。
  • ASCETは複雑さを明瞭さに変換し、ソフトウェアのプロパティを視覚的に表現して理解しやすくします。
  • 高品質のコードを自動的に生成し、手作業によるコーディングの時間を節約します。
グラフィックは、単位と関係の定義、特定のモデルへの単位の割り当て、コードへの自動変換を示しています。

意味単位

  • ASCETでは、モデル内の単位や関係を簡単に定義することができます。
  • ASCETは単位を直感的に理解し、手動で変換することなく統合するため、モデルを自然に強化できます。
  • ASCETは、自動的にユニットを検出し、生成されたコードにシームレスに変換することで、モデリングプロセスを合理化します。
グラフは、隠れた問題が早い段階で特定された例を示しています - 組み込みのライブ静的解析の可視化

ライブ検証

  • 隠れた問題を早期に発見する。
  • 組み込みのライブ静的解析は、型の互換性、互換性のないユニット、副作用、読み取りまたは書き込みの欠落、到達不能なコードなどをチェックする。
画像は、コード・トレーサビリティ、安全な分割、飽和限界、安全なArraアクセス、共通部分式の除去など、さまざまなセクションで自動生成されたソフトウェア・コードを示している。

自動コード生成

手作業でコードを書くには、ランタイムエラーを防ぎ、標準やコーディングガイドラインに準拠させるために、さらなる努力が必要です。ASCETを使用すれば、問題を解決することだけに集中すればよく、あとはコードジェネレータが行います。ASCETの特徴は以下の通りです:

  • High-quality production of MISRA-compliant C code
  • Great code readability for users
  • Traceability to your ASCET model
  • Automatic insertion of defensive code; examples include protected division by zero, saturated limits based on type properties, and index overflow protection for array types
  • Fixed-point code generation
  • AUTOSAR code generation by mapping ASCET model to AUTOSAR structure
  • Quick reuse of existing ASCET models and generation of code for different targets via customization options:
    • Custom callbacks to device-specific arithmetic, interpolation, or service libraries
    • Memory directive for compiler
    • Conditional code and data structures which can be resolved at compile or generation time
    • Numerous optimization strategies for resources and runtime performance

ASCETは、開発サイクルの様々な段階において、モデルを効率的かつ総合的にテストするための様々な可能性を提供します:

  • 物理的な挙動に最初に焦点を当て、よりターゲットに特化した制約をプロセスの後半に焦点を当てることで、テストしやすいようにモデルと表現の特性を分離。
  • ユニットテストフレームワークを内蔵。
  • ETAS実験環境を用いたオープンループPCシミュレーション。
  • ステートメント、ブランチ、ステート、トランジション、モディファイド・コンディション・ディシジョン(MC/DC)カバレッジなどのメトリクスを使用した、テスト実行からのモデル・カバレッジと分析。
  • ASCETモデルは、FMI標準をサポートする外部ツールのモデルと一緒にシミュレーションすることができます。接続は、FMUエクスポートを介して、またはSファンクション転送を介してMATLAB/Simulinkで行われます。
  • ETASのプロトタイピングソリューションを使用したリアルタイムハードウェア上でのファンクションプロトタイピングは、テストベンチや車両内での早期の現実的な検証を可能にします。
  • ASCETモデルは、ASCETプラットフォームネイティブ対応のサードパーティツールTPTを使用して体系的にテストできます。
ETAS ASCETユニットテストのスクリーンショット

単体テスト

  • ESDLユニットテストフレームワークを使用したソフトウェアユニットの体系的なテスト。
  • 独立したソフトウェア・ユニットをテストし、実行後に結果を可視化するためのESDLテスト・クラス。
画像はETAS ASCET PCシミュレーション機能のスクリーンショット

PCシミュレーション

  • ライブデータ測定と校正を伴うPCシミュレーションを使用した早期設計検証。
  • 信号発生器、データロガー、ウィジェットを備えた洗練された実験環境。
画像はETAS ASCETテストカバレッジ機能のスクリーンショット

カバレッジ

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

ASCETを使用すると、個々のプログラミングのニーズに応じて、テキストとグラフィックを簡単に組み合わせることができます。ロジックをモデル化するための様々な可能性があり、可能な限り効率的に作業することができます:

画像はETAS ASCETブロックダイアグラムエディタのスクリーンショット

ブロック・ダイアグラム・エディター

  • データおよび制御フローのモデリングと視覚化に最適。
  • 計算の明示的な順序付けによる完全に決定論的な実行順序。
画像はETAS ASCETステートマシンエディタのスクリーンショット

ステートマシンエディター

  • 有限状態機械表記に基づくプログラミングと可視化決定論理。
  • アクションと条件は、ESDLとして直接記述することも、ブロック・ダイアグラム・エディターでプログラムされた別のメソッドにカプセル化することもできる。
画像はETAS ASCET esdlエディタのスクリーンショットです。

ESDLエディタ

  • ASCETモデルのセマンティクスをキャプチャするための組み込みソフトウェア記述言語。前述したグラフィカル・エディタを使用するか、テキストで直接プログラムすることができる。
  • テキストベースの実装に適したコード(ループなど)に最適。
画像はETAS ASCET cコードエディタのスクリーンショットです。

Cコードエディタ

  • 使い慣れたESDLインターフェースによるモデル定義。
  • C言語の能力をフルに使ったモデルの動作仕様。
  • 異なるモデル間でのCコードモデルの再利用が便利で、一貫性を促進し、貴重な開発時間を節約します。
500,000,000
ASCETは5億台以上の制御ユニットで25年以上使用され、セーフティクリティカルでハードリアルタイムなシステムで数十億行の高品質な組み込みコードを生成しています。

コミュニティ版。非商用に限り無料、無制限。

アイコン資料ダウンロード

ASCETの無料コミュニティ版をダウンロードして、あなたのプロジェクトを加速させ、あなたの同僚を感心させる、プロフェッショナルで業界をリードするツールをアンロックしてください。ASCETを使えば、セーフティクリティカルなシステムのための高度なソフトウェアエンジニアリングの概念を教え、セルフバランスボットのようなタスクをより速くプログラムすることができます。今すぐ始めて、ASCETであなたのスキルを高めましょう!

プロフェッショナル版* 有効なライセンス

画像は、ETAS ASCETユーザーの男女が、プロフェッショナルな環境で一緒にコンピューターに向かっているところ。

*業務用。ホットライン、メンテナンス、お客様向け延長サービス、安全資格、トレーニング、コンサルティング。

ASCETが生成するコードは、自動車や列車のブレーキシステム、インバータ制御、バッテリー管理など、多くの産業用セーフティクリティカルな組込みシステムを強化します。ASCETのプロフェッショナル版では、モデリングエラーを即座にフィードバックすることで、コストのかかるフィードバックループを削減するなど、開発者はプロセスの効率を高めることができます。

複数の "ボックス "を次々に追加し、ボックス/画像を入れ替えることも可能だ。

比較版

能力 コミュニティ・エディション プロフェッショナル版
能力
全製品の特徴
コミュニティ・エディション
x
プロフェッショナル版
x
能力
無料ダウンロード
コミュニティ・エディション
x
プロフェッショナル版
能力
非商用利用
コミュニティ・エディション
x
プロフェッショナル版
能力
商業用
コミュニティ・エディション
プロフェッショナル版
x
能力
ホットラインサポート
コミュニティ・エディション
プロフェッショナル版
x
能力
顧客固有の拡張機能
コミュニティ・エディション
プロフェッショナル版
x
能力
オンデマンドでのメンテナンスリリース
コミュニティ・エディション
プロフェッショナル版
x
能力
機能安全認証パッケージ
コミュニティ・エディション
プロフェッショナル版
x
能力
トレーニング
コミュニティ・エディション
プロフェッショナル版
x
能力
コンサルティング
コミュニティ・エディション
プロフェッショナル版
x

すべてのニュース

次のイベント

お問い合わせ

ETASの製品やソリューションに関するお問い合わせは、右記フォームよりお願いします。

担当者より改めてご連絡させていただきます。