日経Automotive Technology 2010年9月号（p16-17）に掲載されました。

記事中で紹介されたUML→Simulink変換ツール「mtrip」に関してはこちらをご覧ください。

掲載された内容について、より詳しく知りたい方は、こちらのフォームから、

もしくはこちらへメールにて、お気軽にお問い合わせください。

詳細＆エントリーはこちらです。

変更前）徳栄ビルB1会議室

変更後）徳栄ビル9階会議室

すでにお申込みの方には、個別にメールにてご連絡差し上げます。

XDDP実践トレーニングにご参加いただくと、もれなくXDDPスタートアップキットをお持ち帰りいただけます。トレーニングの中では、実際にこれらのキットを使っての演習も行います。

【XDDPスタートアップキット】

XDDPスタートアップキットとは、XDDPを導入する際に必要になるテンプレートのセットです。

以下のものが含まれます。

大勢の皆様のご登録、ありがとうございました。

この度、弊社ではXDDP(eXtreme Derivative Development)の提案者である株式会社システムクリエイツの清水吉男氏のご指導の下、そのプロセスを演習を通して学ぶことのできる「XDDP入門/実践トレーニング」を開発しました。

本トレーニングを下記要領にてオープンセミナーの形式で開催いたします。

XDDPに興味のある方、XDDP取り組みを検討されている方は、ぜひこの機会に本セミナーをご受講ください。

トレーニングの詳しい内容はこちらからご確認ください

XDDP発案者である清水氏を中心として「派生開発推進協議会」が発足しました。エクスモーションは派生開発推進協議会を支援しています。協議会の詳細についてはこちらをご覧下さい。

赤本の記事として、XDDPをリファクタリングに応用する方法についての記事があります。

50冊ご用意いたしましたので、カンファレンスに登録されている方で、ご入用の方はお持ち帰りください。

※派生開発カンファレンスへの登録は好評につき6月8日で締め切られました。

※当社、専務取締役　渡辺博之が開会の挨拶をさせていただく予定です。

※お得な「XDDP実践レーニングオープンセミナー」も、まだ空きがございます。

来る6月11日にdSPACE Japan様のユーザカンファレンスで、今夏発売予定のSimulinkモデルの品質診断ツール『eXquto for MBD』の展示をいたします。

また、カンファレンスの事例発表では、弊社が支援いたしました三菱自動車工業株式会社　金田様が発表されます。

---------------------------------------------------

--

先日のESECで好評をいただきました、

"形式手法による「検証ソリューション」"に関する技術セミナーを開催します。

形式手法はソフトウェアの"正しさ"を論理的に検証する技術です。

ソフトウェアの安全性についての関心の高まりとともに、近年、特に注目を集めています。

しかしながら、形式手法は数学を基礎とするためか、難しく現場の導入が困難であるとお考えの方も多いようです。

本セミナーでは、現場で使えることにこだわった結果編み出した、誰でも知っているC言語による仕様検証、ソースコード検証、テストケース生成、デバッグ、リファクタリング支援などの各種技術と導入方法をご紹介します。

また、組込みソフトに必須の並列・並行動作のモデリングからタスク設計・検証手法についてもUML図やソースコードからのモデル検査用モデルの自動生成をベースとした手法をご紹介します。

とにかく使えることにこだわった目から鱗の実践的な形式手法の技術について広く紹介するセミナーです。

講師は、形式手法に関する知見・経験の豊富なコンサルタントである藤倉俊幸が担当いたします。

形式手法にご興味のある方は、ぜひこの機会にセミナーをご受講ください。

また、セミナー終了後に無料相談会を行います。

具体的な相談をご希望の方は、申し込み時にその旨お書きください。

・開催日    ： 2010年7月2日 14:00～17:00

・場所       ： 東京都港区芝5-33-7 徳栄ビル本館 9F

・定員       ： 30名(定員になり次第締め切ります)

・受講料    ： 無料

・お申込み ：https://www.exmotion.co.jp/seminar/apply.html

・お問合せ ： info@exmotion.co.jp

・C言語を使ったモデル検査（Tech-On）

・Simulinkモデル品質診断ツール（Gihyo.jp）

より詳しく知りたい方は、ぜひこちらのフォームから、もしくはこちらにメールにて、お気軽にお問い合わせください。

5/12～14の3日間で、何と600名を超える方々に、エクスモーションのブースに足を運んでいただきました。

ご来場いただいた皆さま、心よりお礼申し上げます。

それでは、ESEC2010のレポートの始まりです！

----

今回は、東陽テクニカ様との共同出展でした。

2社で10小間という広いスペースを使い、2社の間にはゆっくりと座って聞けるプレゼンテーションコーナーを設けました。

この写真は、開始直前のひとコマです。

ご来場の皆さまに、特にご好評だったのが、技術コーナーの展示物です。

こちらでは、SPL・eXquto・Simulink・モデル検査それぞれの技術に関する展示をしました。

ご来場者の皆さまが特に関心を持たれたC言語でできるモデル検査につきましては、早速Tech-onで取り上げていただきました。

形式手法による検証関連では、ESECでかなりのご好評をいただいたため、上流から下流までの検証に関する技術セミナーを2010年7月2日（金）14:00-17:00にて企画しています。★無料★です。

準備が整い次第お知らせしますので、お楽しみにお待ちください。

満員御礼のプレゼンテーションあり、プレゼンテーションもご好評いただきました。

今年のイベントは、ご来場の方々に『今、一番気になる技術キーワード』をご投票いただきました。

ご投票いただいた皆様には、今年度版の赤本『テクニカルガイド2010』をお渡しいたしました。

今年の赤本は、42Pの力作です。

「改善パターン編」と「技術編」の両表紙で、途中から天地が逆になっています。

落丁ではありませんので、お気を付けください。

もくじはこんな感じ。

例えば、こんな記事が掲載されています。

今年の赤本は、エクスモーションが参加する色々なセミナーでお配りいたします。

赤本を配ることが決まりましたら、都度お知らせいたします。

本当に、大勢の方々にご投票いただきました。

気になる投票結果はこちらです。

いかがでしょうか？

皆さんの実感合っていましたか？

では、今後ともエクスモーションをよろしくお願いいたします。

本トレーニングを下記要領にてオープンセミナーの形式で開催いたします。

XDDPに興味のある方、XDDP取り組みを検討されている方は、ぜひこの機会に本セミナーをご受講ください。

トレーニングの詳しい内容はこちらからご確認ください

XDDP発案者である清水氏を中心として「派生開発推進協議会」が発足しました。また、同協議会による「派生開発カンファレンス2010」が6月18日に開催されます。弊社エクスモーションは派生開発推進協議会を支援しています。協議会およびカンファレンスの詳細についてはこちらをご覧下さい。