組込み設計・開発
多品種開発での再利用でお困りなら!
ZIPC Feature はフィーチャ・モデリング用の専用エディタです。使いたい図形をキャンバスに配置していくだけで、簡単にモデリングが行え自動配置機能でモデルを整列させることもできます。アクセラレータ・キーでも基本操作が可能です。
HMI設計・開発
操作画面のユーザビリティと品質がブランドイメージを左右する
Drawrialは近年、急速に膨大・複雑化している電子機器のGUI画面仕様を効率的に作図するためのツールです。
Altiaは電子機器の動作を含めたグラフィカル・プロトタイピングでクールな映像がローコストのターゲットで実現できます。
Automotive設計・開発
AUTOSAR準拠のプラットフォームベース開発
ZIPC AUTOSARはAUTOSARに準拠するシステム開発をサポートするツールです。
AUTOSARの推奨する4つのエディタを持ち、AUTOSAR準拠のシステム開発を強力にサポートします。
本ツールはEclipseプラットフォーム上で動作しますので、他のツールとの協調も容易です。
プロセス計測
収集した情報からプロジェクトの成否を予測し先手を打つ!
EPMは開発者に負担を掛けず、開発プロセスの「見える化」を支援するツールです。
プロジェクトデータの自動収集から、リスクの早期発見、規模推移測定、作業負荷把握、障害予測、類似ロジック・コード品質をモニタリングできます。
検証・試験
ソフトウェア品質の確保はモデル検査から
ZIPC Spinコンバータ:状態遷移のモデル検査ツールSpinのPromera言語に状態遷移表をコンバートできるツールです。(研究中)
ZIPC-SageProR/eDEBUG連携:ZIPCをデバッグ・性能解析支援ツール「SageProR/eDEBUG」(日立ICS社製)と連携させ、より高度で正確なデバッグを可能にします。
Garakabu:モデル検査を使って状態遷移表を検証するツールです。
UPPAAL:「時間制約を考慮できるモデル検査ツール」です。
Round Robin Engineering
最新技術をいち早く評価 技術者の集いの場
StmDiff
逆引きZIPC
マルチコア分割検討ツール
教育
CASEツールを使った組込み開発の実践セミナ・教育
組込みシステム技術者向け教育支援
ZIPCソリューション
QCD向上にむけてZIPC(開発支援ツール)を活用した組込みシステム開発をご提供します。ハード/ソフト設計から実装までのツールベンダーならではのKnow Howを活用したシステムインテグレーションサービスをご提案します。
HW
試作/量産ボード開発
デジタル/アナログ回路設計、 FPGA設計
SW
ツールチェーン開発
モデルベース開発/支援コンサルティング
ミドルウェア開発/各種ドライバ開発/RTOSポーティング (Linux、μITRONなど) 開発
CATS講師によるカンファレンス・プレゼンテーションのご案内
パネルセッション(無料)
※事前申込が必要です。お申込みはET2008Webへ → http://www.jasa.or.jp/et/
| |
| 日時 |
2008年11月20日(木) 15:00〜17:00
|
| |
| 場所 |
会議センター5F[501+502]
|
| |
| テーマ |
『組込みソフトウェア開発での形式手法の有効な使い方』
|
| |
| モデレータ |
キャッツ(株)取締役副社長 渡辺 政彦
|
| |
テクニカルトラック (有料)
※事前申込が必要です。お申込みはET2008Webへ → http://www.jasa.or.jp/et/
開発技術トラック/設計トラック
| |
| 日時 |
2008年11月19日(水)11:20〜12:50
|
| |
| 場所 |
アネックスホール[F201]
|
| |
| テーマ |
『状態遷移モデリング〜要求・アーキテクチャ設計・詳細分析〜』
|
| |
| モデレータ |
キャッツ(株)取締役副社長 渡辺 政彦
|
| |
開発技術トラック/テストトラック
| |
| 日時 |
2008年11月20日(木)11:20〜12:50
|
| |
| 場所 |
アネックスホール[F201]
|
| |
| テーマ |
『早期から品質を確保する〜状態遷移テストの基本と実践〜』
|
| |
| モデレータ |
キャッツ(株) ソフトウェア事業部 部長 穴田 啓樹
|
| |
オープンステージプレゼンテーション(無料)
| |
| 日時 |
2008年11月19日(水) 13:00〜13:20
|
| |
| 場所 |
展示会場内メインステージ
|
| |
| テーマ |
『CASEツールでのモデルベース開発で「狙いの品質」に!』
|
| |
| |
| 日時 |
2008年11月20日(木) 12:30〜12:50
|
| |
| 場所 |
展示会場内メインステージ
|
| |
| テーマ |
『ZIPC Feature/SPLMで多品種開発を強力サポート』
|
| |
ワークショップ(無料)
| |
| 日時 |
2008年11月19日(水) 11:00〜11:45
|
| |
| 場所 |
展示会場内ワークショップ特設会場
|
| |
| テーマ |
『アーキテクチャを見据えたプロダクトライン開発の基本と実践』
|
| |
| |
| 日時 |
2008年11月20日(木) 13:00〜13:45
|
| |
| 場所 |
展示会場内ワークショップ特設会場
|
| |
| テーマ |
『早わかり!状態遷移表設計における効果』
|
| |