状態遷移表設計で品質向上キャッツ ESEC

特集

事例紹介

イベント

セミナ

サポート

FAQ

「第11回　組込みシステム開発技術展（ESEC2008）」出展のご報告

2008年5月14日(水)～5月16日(金)に、東京ビッグサイトで開催された「組込みシステム開発技術展」に今年も出展致しました。

今回の展示では、「ZIPC」を中心に、「ZIPC SPLM Core」、「ZIPC AUTOSAR」、「OPE-RA（仮称）」などの新製品のデモ・展示を行い、大変ご好評を頂きました。

開催1日目には「モデルベース開発技術と組込みシステムへの適用～高品質設計に向けて必要なこと～」と題しまして、専門セミナーが行われました。

弊社副社長の渡辺がモデルベース開発技術を、どのように組込みソフトウェアプロセスに適用することで、品質特性にどのような効果があるのかを説明し、高品質な組込みシステム設計を分かり易く解説しました。

開催2日目のPRセミナーでは「モデルベース開発で“狙いの品質”を！」と題して、V字プロセスを網羅する、CATS製品と連携ツール・取扱品についてご紹介しました。

開催3日目には「早わかり！「状態遷移表設計」における効果」と題して、仕様書、設計書の明確さ、モレヌケ防止に有効な「状態遷移表」について解説しました。

いずれのセミナーも多くの皆様にご聴講頂き、セミナー後の質疑応答時間には多くのご質問を頂きました。また、PRセミナーに関しましては、会場の関係でご聴講いただけなかったお客様もいらっしゃいましたことをお詫び申し上げます。

ご多忙の中、キャッツブースへのご来場、また各セミナーへのご参加、誠にありがとうございました。
皆様から頂きましたご意見・ご要望は、今後の製品開発へと反映させて頂きます。
今後ともキャッツをどうぞよろしくお願い申し上げます。

「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に対応が可能

ＰＲセミナー（無料）

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

日時	2008年5月15日（木) 14：30～15：30
場所	展示会場隣接ＰＲセミナー会場
テーマ	『モデルベース開発で”狙いの品質”を！』 V字プロセスを網羅する，CATS製品と連携ツール・取扱品についてご紹介します。さらに、4月に発表した「ソフトウェア・プロダクトライン」開発を支援するツール「ZIPC SPLM Core」，国際標準「AUTOSAR」に準拠した国産初の車載システム開発支援ツール「ZIPC AUTOSAR」についてご紹介いたします。

日時	2008年5月16日（金) 14：30～15：30
場所	展示会場隣接ＰＲセミナー会場
テーマ	『早わかり！「状態遷移表設計」における効果』組込みシステムの仕様分析や振る舞いの設計には欠かせない状態遷移設計。特に仕様書、設計書の明確さ、モレヌケ防止に有効な「状態遷移表」について解説します。（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)
テーマ	『モデルベース開発技術と組込みシステムへの適用～高品質設計に向けて必要なこと～』
モデレータ	キャッツ(株)取締役副社長兼ＣＴＯ渡辺政彦