【10月限定！オンライン開催】
モデルベース形式検証ツール『DynaSpec』
「個別」無料体験会
～ご参加の方皆様に無償体験版をご提供します！～
追加枠を新規設定しました。
近年、自動車の車載システムを始めとして様々なシステムが大規模化・複雑化しています。
そのため「開発の上流工程でモデル化、検証を行う重要性」が益々高まっています。
このような課題に対しては、形式検証、その中でも特にモデル検査と呼ばれる技術が有効です。
しかし、モデル検査は導入ハードルが高いとのお客様の声を多くお伺いしております。
そこで、構造計画研究所ではモデル検査の導入ハードルを下げるツールとして『DynaSpec』を開発いたしました。
『DynaSpec』はEnterprise Architectのアドインツールです。
UML/SysMLで記述された設計モデルに潜む不具合を、確実に抽出することが可能です。
本体験会では単なる『DynaSpec』の機能紹介に留まらず、実際に『DynaSpec』を操作し、
モデル検査を実施して、その効果を実感して頂きます。
8月にモデルベース形式検証ツール
『DynaSpec』の個別体験セミナーを開催させて頂き、
連日満席となるほどの人気で大変ご好評を頂いたため、
10月に期間限定で「個別」体験会を再度開催することを決定致しました。
なお、本体験会は、お客様と1 on 1の個別形式で実施致します。
この機会に是非ご参加ください。
『DynaSpec』についてご興味がある方は下記のリンクより、
『DynaSpec』に関する詳細情報をご確認ください。
https://www.kkeformalmethod.com/
そのため「開発の上流工程でモデル化、検証を行う重要性」が益々高まっています。
このような課題に対しては、形式検証、その中でも特にモデル検査と呼ばれる技術が有効です。
しかし、モデル検査は導入ハードルが高いとのお客様の声を多くお伺いしております。
そこで、構造計画研究所ではモデル検査の導入ハードルを下げるツールとして『DynaSpec』を開発いたしました。
『DynaSpec』はEnterprise Architectのアドインツールです。
UML/SysMLで記述された設計モデルに潜む不具合を、確実に抽出することが可能です。
本体験会では単なる『DynaSpec』の機能紹介に留まらず、実際に『DynaSpec』を操作し、
モデル検査を実施して、その効果を実感して頂きます。
8月にモデルベース形式検証ツール
『DynaSpec』の個別体験セミナーを開催させて頂き、
連日満席となるほどの人気で大変ご好評を頂いたため、
10月に期間限定で「個別」体験会を再度開催することを決定致しました。
なお、本体験会は、お客様と1 on 1の個別形式で実施致します。
この機会に是非ご参加ください。
『DynaSpec』についてご興味がある方は下記のリンクより、
『DynaSpec』に関する詳細情報をご確認ください。
https://www.kkeformalmethod.com/
| 対象者 | ◆上流の設計品質向上に課題を感じている方 ◆従来手法（レビュー、シミュレーション、テスト）による ヌケモレ、手戻りの発生を低減させたい方 ◆UML/SysMLモデルによる検証手法に興味をお持ちの方 ◆形式検証（モデル検査）に興味はあるがハードルが高いと感じている方 |
|---|---|
| 日程 | ●10月11日(月) 9:00-12:00 終了 ●10月12日(火) 9:00-12:00 終了 ●10月14日(木) 9:00-12:00 終了 ●10月15日(金) 9:00-12:00 終了 ●10月18日(月) 9:00 ～ 12:00 終了 ●10月19日(火) 9:00 ～ 12:00 終了 ●10月20日(水) 9:00 ～ 12:00 終了 ●10月21日(木) 9:00 ～ 12:00 終了 ●10月22日(金) 9:00 ～ 12:00 終了 ●10月25日(月) 9:00 ～ 12:00 終了 ●10月27日(水) 9:00 ～ 12:00 満席 ●10月28日(木) 9:00 ～ 12:00 満席 ●10月29日(金) 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 |