【オンライン開催】
モデルベース形式検証ツール『DynaSpec』
「個別」無料体験セミナー
～ご参加の方皆様に「DynaSpec」
無償体験版をご提供します！～
近年、自動車の車載システムを始めとして様々なシステムが大規模化・複雑化しています。
そのため「開発の上流工程でモデル化、検証を行う重要性」が益々高まっています。
このような課題に対しては、形式検証、その中でも特にモデル検査と呼ばれる技術が有効です。
しかし、モデル検査は導入ハードルが高いとのお客様の声を多くお伺いしております。
そこで、構造計画研究所ではモデル検査の導入ハードルを下げるツールとして『DynaSpec』を開発いたしました。
『DynaSpec』はEnterprise Architectのアドインツールです。
UML/SysMLで記述された設計モデルに潜む不具合を、確実に抽出することが可能です。
本個別体験セミナーでは、単なる『DynaSpec』の機能紹介に留まらず、実際に『DynaSpec』を操作し、
モデル検査を実施して、その効果を実感して頂きます。
また、
集団形式のセミナーでは中々しづらい質問もあるかと存じますが、
本イベントは「個別」体験セミナーですので、
お客様特有の課題や疑問についても、
個別にお答えすることが可能です。
『DynaSpec』についてご興味がある方は下記のリンクより、
『DynaSpec』に関する詳細情報をご確認ください。
https://www.kkeformalmethod.com/
そのため「開発の上流工程でモデル化、検証を行う重要性」が益々高まっています。
このような課題に対しては、形式検証、その中でも特にモデル検査と呼ばれる技術が有効です。
しかし、モデル検査は導入ハードルが高いとのお客様の声を多くお伺いしております。
そこで、構造計画研究所ではモデル検査の導入ハードルを下げるツールとして『DynaSpec』を開発いたしました。
『DynaSpec』はEnterprise Architectのアドインツールです。
UML/SysMLで記述された設計モデルに潜む不具合を、確実に抽出することが可能です。
本個別体験セミナーでは、単なる『DynaSpec』の機能紹介に留まらず、実際に『DynaSpec』を操作し、
モデル検査を実施して、その効果を実感して頂きます。
また、
集団形式のセミナーでは中々しづらい質問もあるかと存じますが、
本イベントは「個別」体験セミナーですので、
お客様特有の課題や疑問についても、
個別にお答えすることが可能です。
『DynaSpec』についてご興味がある方は下記のリンクより、
『DynaSpec』に関する詳細情報をご確認ください。
https://www.kkeformalmethod.com/
| 対象者 | ◆上流の設計品質向上に課題を感じている方 ◆従来手法（レビュー、シミュレーション、テスト）による ヌケモレ、手戻りの発生を低減させたい方 ◆UML/SysMLモデルによる検証手法に興味をお持ちの方 ◆形式検証（モデル検査）に興味はあるがハードルが高いと感じている方 |
|---|---|
| 日程 | ●12月6日(月) 9:00 ～ 12:00 満席 ●12月7日(火) 9:00 ～ 12:00 満席 ●12月8日(水) 9:00 ～ 12:00 満席 ●12月9日(木) 9:00 ～ 12:00 受付終了 ●12月10日(金) 9:00 ～ 12:00 満席 ●12月13日(月) 9:00 ～ 12:00 受付終了 ●12月15日(水) 9:00 ～ 12:00 満席 ●12月16日(木) 9:00 ～ 12:00 満席 ●12月17日(金) 9:00 ～ 12:00 満席 ●12月20日(月) 9:00 ～ 12:00 満席 ●12月21日(火) 9:00 ～ 12:00 満席 ●12月22日(水) 9:00 ～ 12:00 受付終了 ●12月23日(木) 9:00 ～ 12:00 満席 ●12月24日(金) 9:00 ～ 12:00 満席 ※上記以外ご希望の場合でしたら 申請者と個別調整いたします。 |
| 定員 | ● 各日1社 ※複数名様のご参加は可能ですが、 実際にDynaspecをご操作頂けるPCは、 1台に限定させて頂きます。 ※同業他社様からの情報収集目的でのお申し込みはお断りさせていただく場合がございます。 |
| 開催地 | オンライン開催（Zoom） ※本体験セミナーではZoomを使用するため、 Zoomをご利用可能な方のみご参加頂けます。 ※Zoomアプリケーションのインストールは不要です。 ブラウザからご利用頂ければ、問題ございません。 |
| セミナー詳細 | ◆『DynaSpec』 製品紹介 ------------------------------------------ ■モデル検査とは？他の手法との違いは？ ■『DynaSpec』の機能概要 ■事例紹介 ◆『DynaSpec』 操作体験 (お客様自身でもモデル構築から検証まで一貫してご体験頂きます) ------------------------------------------ ■サンプルモデルの問題設定について ■SysMLによるモデル化手順 ■シミュレーションの実行 ■モデル検査の実行 ■結果の確認 ◆『DynaSpec』の導入 ------------------------------------------ ■『DynaSpec』の導入プロセスについて |
| 主催 | 株式会社構造計画研究所 DynaSpecチーム |
| 個人情報の取扱について | 1. 個人情報の利用目的について お客様が当社に提供された氏名・住所・電話番号等の個人情報は、 お問合せを頂いたお客さまへのご返信、及びお問合せ内容へのご対応に使用させて頂く他、 当社の製品・ソリューションなどの情報提供や営業などの目的で使用させて頂くことがございます。 また、アンケート等でお答え頂いた回答については、 ご提供するサービスに関する製品開発または品質向上のための調査、分析に使用させて頂くことがございます。 なお、個人情報の外部委託、第三者提供、共同利用はいたしません。 2. 個人情報に関するお問合せ ご本人又は代理人の方から開示・訂正・利用停止等のご請求があった場合は 合理的な範囲で速やかに対応致します。 ご請求の手順等につきましては、以下お問い合わせ先にご連絡ください。 3. お問合せ先、所在地、連絡先 個人情報保護相談受付窓口： 東京都中野区本町4-38-13 日本ホルスタイン会館内 株式会社 構造計画研究所：https://www.kke.co.jp/inquiry/privacy_policy.html |