「形式手法」がつけられた製品一覧

SCADE Suiteは、モデルベース開発手法によるセーフティクリティカルな組込み制御ソフトウェア開発支援ツールです。

SCADE Suiteは、モデルベース開発手法によるセーフティクリティカルな組込み制御ソフトウェア開発支援ツールです。厳格なセマンティクスを持つグラフィカル言語を使用して、「ソフトウェア設計、検証(セ…（つづきを見る）

• 株式会社IDAJ（旧 シーディー･アダプコ･ジャパン、CDAJ）

セーフティクリティカルな組込みディスプレイシステムのディスプレイ仕様設計と自動コード生成を支援するツール環境です。

OpenGL SC/ES標準をサポートし、ディスプレイ仕様設計、プロトタイピング、シミュレーション、検証＆妥当性確認、DO-178BレベルA、IEC-61508 SIL3、EN-50128 SIL4認…（つづきを見る）

• 株式会社IDAJ（旧 シーディー･アダプコ･ジャパン、CDAJ）

オープンソースプロジェクトPapyrusとEclipseをベースにしたシステム設計・アーキテクチャ設計ツールです。

システムエンジニアがより簡単に、システム設計やアーキテクチャ設計を行えるよう、SysMLをサポートしたモデル作成環境です。また、アーキテクチャ設計に基づいて、SCADE SuiteまたはSCADE D…（つづきを見る）

• 株式会社IDAJ（旧 シーディー･アダプコ･ジャパン、CDAJ）