HOME > イベント・セミナ > ESEC2008
イベント
 
ESEC 第11回 組込みシステム開発技術展
「ESEC 2008」に出展致します!

今年のキャッツは、『モデル・ベース開発』『テスト・モデル検査・形式検証』『エンピリカル・ソフトウェア工学』『要件・構成管理』『各種ソリューション・サービス』『H/W、S/W各種システム受注』を主なテーマとして、弊社製品・連携製品の適用事例やデモンストレーションを多数ご用意しております。

生産性・品質を飛躍的に向上させるカギは、キャッツにあります。ぜひ、弊社ブースにお立ち寄り下さい!

 
会期

2008年05月14日(水) 〜 16日(金) 10:00 〜 18:00
※16日(金)のみ17:00終了

 
会場

東京ビッグサイト 東展示棟
キャッツブース No.東39-001

 
詳細

http://www.esec.jp/

 
ご注意
ESEC2008Webから入場事前登録された方、及び同封の招待券をお持ちいただいた方は、無料でご入場いただけます(通常入場料5,000円)
※事前登録先(ESEC2008Web)
https://apply.reedexpo.co.jp/DDES/jp/form_inv/step1.phtml?ex_code=ESEC
専門セミナーに参加ご希望の方は、事前に申込が必要です
※事前登録先(ESEC2008Web)
http://www.esec.jp/con/
キャッツからの招待状/案内状を送付ご希望の方は、info@zipc.com までお申込み下さい。
テーマ
テーマ
共同出展

SRA社はキャッツ製品の販売代理店です

IBM製品 ClearCase ClearQuest
C++GUIツールキット Qt(キュート)
組込み受託開発
 
システムテスト支援

実機検証時の『見える化』を実現するSagePro®/eDEBUG 連携

SagePro®/eDEBUGの主要機能
タスク遷移トレース機能
イベントトレース機能
CPU負荷率表示機能
タスク実行トレース機能
メッセージ残留件数表示機能
 
プロトタイプ ECU ボード

先行開発工程で、スムースな実験環境を提供する プロトタイプ開発向けハードウェア。

オープン仕様のハードウェアとソフトウェア
柔軟なカスタマイズ性
様々なCPUとRTOSに対応が可能
プロトタイプ ECU ボード
 
PRセミナー(無料)

※事前申込不要。当日セミナー会場へ直接お越し下さい。

 
日時

2008年5月15日(木) 14:30〜15:30

 
場所

展示会場隣接PRセミナー会場

 
テーマ

『モデルベース開発で”狙いの品質”を! 』
V字プロセスを網羅する,CATS製品と連携ツール・取扱品についてご紹介します。
さらに、4月に発表した「ソフトウェア・プロダクトライン」開発を支援するツール「ZIPC SPLM Core」,国際標準「AUTOSAR」に準拠した国産初の車載システム開発支援ツール「ZIPC AUTOSAR」についてご紹介いたします。

 
 
日時

2008年5月16日(金) 14:30〜15:30

 
場所

展示会場隣接PRセミナー会場

 
テーマ

『早わかり!「状態遷移表設計」における効果』
組込みシステムの仕様分析や振る舞いの設計には欠かせない状態遷移設計。特に仕様書、設計書の明確さ、モレヌケ防止に有効な「状態遷移表」について解説します。(2008年1月の株式会社 SRA主催「ソフトウェア品質向上セミナー」でご好評をいただいたセミナーです)

 
ブース・セミナー(マイクロソフト社ブースにて)
 
日時

2008年5月14日(水)〜16日(金)の3回 11:00〜11:20

 
場所

マイクロソフト社 ブース 東47-51

 
テーマ

『ZIPCとVisual C++を連携させたモデルベース開発』

 
ブース・セミナー(テクマトリックス社ブースにて)
 
日時

2008年5月14日(水)〜16日(金)の3回
14日 14:30-15:00
15日 16:15-16:45
16日 12:15-12:45

 
場所

テクマトリックス社 ブース 東39-22

 
テーマ

『モデルベース開発と単体テストで狙いの品質を』

 
専門セミナー(有料)

※事前申込が必要です。お申込みはESEC2008Webへ → http://www.esec.jp/con/

 
日時

2008年5月14日(水) 9:30〜12:20

 
場所

会議棟(セッションNo.ES-4)

 
テーマ

『モデルベース開発技術と組込みシステムへの適用
〜高品質設計に向けて必要なこと〜』

 
モデレータ

キャッツ(株)取締役副社長兼CTO 渡辺政彦

 
テスト・モデル検査・形式検証
状態遷移表 形式検証ツール
「Garakabu」(ガラカブ)研究出展
状態遷移/時相論理モデルの自動検証ツール
「UPPAAL」(ウパール)
C/C++対応 静的解析/動的解析ツール
「C++test」
C/C++/Java/Ada対応 静的解析/動的解析ツール
「IBM Rational Test RealTime」
Garakabu
 
EPMツール エンピリカル・ソフトウェア工学

プロジェクト管理者、プロジェクトマネジメントオフィスを支援する観測型プロジェクト管理支援システムです。

EPMツール エンピリカル・ソフトウェア工学
 
要件管理・構成管理ツール
IBM,Borland,SERENA
Drawrial Ver.3.0

新機能満載で登場!HMI設計を強力にサポート

タッチパネル対応機能
部品ライブラリー機能
シナリオ・レビュー機能

カーナビゲーションシステムをはじめ様々な機器のHMI設計に対応できます。

Drawrial Ver.3.0
 
ZIPC SPLM

多品種開発での資産の再利用を「プロダクトライン」の考え方で効率的に行いませんか!
コンサル承ります!

ソフトウェア部品の計画的な再利用で、開発コストを低減し、製品ラインナップの開発スピードを向上させます。
ZIPC SPLM

詳細はこちら >>ZIPC SPLM,ZIPC Feature 国産初のソフトウェア・プロダクトライン開発支援ツール

ZIPC AUTOSAR

AUTOSARプロセスを強力にサポート

エディタ操作性の追及
様々なパラメータ入力支援
論理的矛盾をチェック

AUTOSAR準拠には、ツールのサポートが必須です!

ZIPC AUTOSAR
 

詳細はこちら >>ZIPC AUTOSAR 国産初の車載システム開発支援ツール

Round Robin Engineering

そこは自由なエンジニア達のたまり場
新しい創造プロセスを感じてください。

Round Robin Engineering
 
組込みDB

キャッツの組込み機器向けデータベースへの新しい展開!詳しくはブースにて!

リレーショナルDB
XMLDB
東5ホール出入口 受付から入ってすぐ右!
 
▲ ページTOPへ