
ASCET-DEVELOPERは、高性能で低オーバーヘッドであるだけでなく、メンテナンス性にも優れた安全でセキュアな組み込みソフトウェアを作成できるツールです。ASCET-DEVELOPERは大規模なソフトウェア開発のために設計されており、業界規格や安全規格に準拠しているほか、多くのバリエーションを低コストで作成することができます。
ASCET-DEVELOPERのモデルはEmbedded Software Development Language(ESDL)を使用しており、テキストエディタでもグラフィックエディタでも表示・編集が可能です。
応用実績
ASCET-DEVELOPERのコード生成技術は20年以上にわたって量産プロジェクトに利用され、すでに4億5千万台ものECUに実装されています。生成されたコードは、安全性、セキュリティ、移植性の面で最高水準の規格に適合しています。
ASCET-DEVELOPERでプログラミングした制御アプリケーションは、ABS/ESPなどのシャーシ制御、従来の電動パワートレイン、高速列車のブレーキ制御、トランスミッション制御、運転支援システムなど、多岐にわたっています。
ASCET-DEVELOPERは、MISRA、OSEK、ASAM、AUTOSAR、FMIなどの標準規格に準拠しています。

セーフティクリティカルなソフトウェア開発に最適
ASCET-DEVELOPERなら、重要な安全規格をすべて満たしたソフトウェアを開発することができます。
- ISO26262 ASIL-DおよびIEC61508-SIL3 TÜV認定コードの生成
- MISRA-C:2012準拠
- 防衛コードの自動挿入により、数値的なトラブルを排除
主な特長
モデリング
ASCET-DEVELOPERでは、プログラミング要件に応じてテキストやグラフィックを容易に組み合わせることができます。ロジックをモデリングするための機能が豊富で、快適な作業が可能です。仕様記述は、各種エディタを組み合わせて柔軟に行えます。
- ブロックダイアグラム(グラフィック記述)
- ステートマシンエディタ(グラフィック記述)
- ESDLエディタ(テキスト記述)
- Cコードエディタ(テキスト記述)
さらにASCET-DEVELOPERは、モデルやコードの品質を向上し、ソフトウェア自体の効率性を高める機能を備えています。
- オンザフライの静的分析により、モデリングのエラーや違反を即時にフィードバック
- 統合された品質メトリクス(品質評価基準)により、メンテナンス性に優れたモデルを作成
ASCET-DEVELOPERモデルの内容は、ESDL形式で保存されます。これには次の利点があります。
- 構造化の概念である「クラス」が、オブジェクトベースのカプセル化と体系的な再利用を実現
- 物理範囲を取り込んで体系的に定量化し再利用できる「抽象型」の使用が可能
- 関数の相関関係が明確に表示され、レビューが容易
- 異なるバージョンの相互比較が容易
- 型の安全性を保障
ブロックダイアグラムエディタ
ステートマシンエディタ
ESDLエディタ
ライブ検証
品質メトリクス
妥当性確認
ASCET-DEVELOPERには、開発サイクルのさまざまな段階において効率的かつ包括的にモデルをテストするための機能が搭載されています。
- モデル属性と実装属性とを分離することにより、最初に物理的挙動に重点を置いたテストを実施し、後のプロセスでターゲット固有の制約を設けたテストを実施することが可能
- ビルトインされた単体テストフレームワーク
- ETAS Experiment Environmentによる開ループPCシミュレーション
- ステートメント、ブランチ、状態、遷移、MC/DC(Modified Condition Decision)のカバレッジなどのメトリクスを用いたテストで、モデルのカバレッジ測定や分析を実施
- ASCET-DEVELOPERモデルは、FMI規格をサポートする外部ツールのモデルと組み合わせたシミュレーションが可能。FMUのエクスポート、またはMATLAB/SimulinkにS-functionを受け渡すことにより接続を実現。
- ETASプロトタイピングソリューションによるリアルタイムハードウェアでの機能プロトタイピングの実施により、テストベンチや車載での早期の妥当性確認が可能
単体テスト
PCシミュレーション
テストカバレッジ
コードの自動生成
手作業でコードを記述すると、ランタイムエラーを防止したり、規格やコーディングガイドラインに準拠させたりするための作業が必要になりますが、ASCET-DEVELOPERを使用すれば、実現すべき機能に注力するだけでよく、詳細な実装作業はコードジェネレータにまかせることができます。この「自動コード生成」を実現するため、ASCET-DEVELOPERには以下のような機能が搭載されています。
- MISRAに準拠した高品質な量産用Cコードの生成
- 「読みやすい」コードの生成
- ASCET-DEVELOPERモデルへのトレース
- 防衛コード(ゼロ除算保護、型属性に基づく上下限値、配列型のインデックスオーバーフロー保護など)の自動挿入
- 固定小数点コードの生成
- ASCET-DEVELOPERモデルからAUTOSARへの構造マッピングによるAUTOSARコードの生成
- 以下のようなカスタマイズ機能により、既存のASCET-DEVELOPERモデルの再利用や複数のターゲット用コードの生成が容易
- デバイス固有の演算、補間、サービスライブラリに対応するためのカスタムコールバック
- コンパイラ用メモリ命令
- コード生成時やコンパイル時に解決可能な条件付きコードとデータ構造体
- さまざまな最適化手法によるリソース効率とランタイムパフォーマンスの向上
ツールチェーンの統合
標準的なインターフェースやファイルフォーマットに対応するASCET-DEVELOPERは、さまざまな開発プロセスやツールチェーンに容易に統合することができます。これを実現するための機能には、以下のようなものがあります。
- ASCET-DEVELOPERはEclipseプラットフォームベースで開発されているため、同じIDEにプロセスツールをシームレスに統合することが可能
- Eclipseのネイティブプラグインにより、JIRA、Bitbucket、Git、SVN、IBM RTCに接続することが可能
- Eclipseに組み込まれた既存のワークベンチ内にSTM、ARMなどのさまざまなベンダーの製品をインストールすることが可能
- 複数のターゲット向けのモデリング、コード生成、ビルド、デバッグを同じIDEで実施可能
- Yakindu Traceabilityによる要件トレース機能を使用して、ASCET-DEVELOPERモデル(要件管理ツールのDOORSなど)にプロセスアーティファクトをリンクすることが可能
- ASCETモデルからA2L、ARXML、MDXなどのプロセスアーティファクトを生成
- 同梱のASCET SDKによるプロセスの拡張(ASCET静的分析エンジンへの独自のプロセスコーディングガイドラインの挿入など)
- ワークベンチの自動化による連続統合