【オンライン開催】
上流設計における発見困難な不具合の
自動検出手法実践セミナー
～ システム特性に応じたUML/SysML
モデリングと形式検証の
実践的かつ有効的な活用手法の紹介 ～
近年、自動車の車載システムを始めとして様々なシステムが大規模化・複雑化しています。
その中で高い品質、安全性、信頼性が求められるシステム開発を成功させるには開発上流で設計品質を向上させることが重要となります。
設計品質を向上させるには、開発上流工程の段階から正しくモデルを構築し、モデルの振舞いを厳密に検証する必要があり、
そのためにはUML/SysMLモデリング、形式検証／モデル検査の適用が効果的ですが、
それらの導入・実践にはハードルが高いと思われる方が多いのも事実です。
本セミナーでは、形式検証の導入ハードルを下げることのできるUML/SysML
モデルベース形式検証ツール『DynaSpec』を紹介するとともに、
様々な対象システムの特性に応じたモデリング、
形式検証を有効に活用するための実践的なポイントを
事例、サンプルモデルを交えて紹介します。
その中で高い品質、安全性、信頼性が求められるシステム開発を成功させるには開発上流で設計品質を向上させることが重要となります。
設計品質を向上させるには、開発上流工程の段階から正しくモデルを構築し、モデルの振舞いを厳密に検証する必要があり、
そのためにはUML/SysMLモデリング、形式検証／モデル検査の適用が効果的ですが、
それらの導入・実践にはハードルが高いと思われる方が多いのも事実です。
本セミナーでは、形式検証の導入ハードルを下げることのできるUML/SysML
モデルベース形式検証ツール『DynaSpec』を紹介するとともに、
様々な対象システムの特性に応じたモデリング、
形式検証を有効に活用するための実践的なポイントを
事例、サンプルモデルを交えて紹介します。
| 対象者 | ◆上流の設計品質向上に課題を感じている方 ◆従来手法（レビュー、シミュレーション、テスト）による ヌケモレ、手戻りの発生を低減させたい方 ◆UML/SysMLモデルによる検証手法に興味をお持ちの方 ◆形式検証（モデル検査）に興味はあるがハードルが高いと感じている方 |
|---|---|
| 日程 | 2021年9月29日(水) 受付終了いたします 2021年10月7日(木) 15:00開始 / 16:30終了予定 →14時55分からアクセスできます 終了後にもQ&A対応を行う予定 ※2021年10月7日(木)の講演セッションは録画配信、質疑はライブで回答致します。 |
| 定員 | ● 各回150人 ◆同業他社様からの情報収集目的でのお申し込みはお断りさせていただく場合がございます。 |
| 開催地 | オンライン開催（Zoom） ※本体験セミナーではZoomを使用するため、 Zoomをご利用可能な方のみご参加頂けます。 ※Zoomアプリケーションのインストールは不要です。 ブラウザからご利用頂ければ、問題ございません。 |
| セミナー詳細 | ◆15:00 - 15:10 開会挨拶、本セミナーの主旨について ◆15:10-15:50 『上流設計における発見困難な不具合の自動検出手法のご紹介』 (株)構造計画研究所 市村 健太朗 ------------------------------------------ モデルベースで動的な振る舞いを再現し、検証する手法として形式検証・モデル検査を適用することの効果、シミュレーションとの違い等を交えながら、いかにして発見困難な不具合の自動検出を実現できるのかをご説明します。また、形式検証の専門知識がなくともEnterprise Architect上で形式検証を実現するツール環境としてDynaSpecをご紹介します。 ◆15:50-16:30 『モデルベース形式検証ツールDynaSpecを有効に活用するための実践的ポイント、適用事例の紹介』 (株)構造計画研究所 太田 洋二郎 ------------------------------------------ 形式検証・モデル検査手法で最大限の成果を出すには、手法そのものの本質を正しく理解し、対象システムの特性に応じて効果的に適用することが重要です。本セッションでは様々な対象システムの特性に応じた適用範囲の決定とモデリング、形式検証をうまく使いこなす上での実践的なポイントを、DynaSpecを利用した様々なサンプルモデルを交えて紹介します。 ◆16:30-17:00 閉会挨拶、質疑回答 |
| 主催 | 株式会社構造計画研究所 https://www.kke.co.jp/ |
| 協賛 | スパークスシステムズジャパン株式会社 https://www.sparxsystems.jp/ |
| 個人情報の取扱について | 1. 個人情報の利用目的について お客様が当社に提供された氏名・住所・電話番号等の個人情報は、 お問合せを頂いたお客さまへのご返信、及びお問合せ内容へのご対応に使用させて頂く他、 当社の製品・ソリューションなどの情報提供や営業などの目的で使用させて頂くことがございます。 また、アンケート等でお答え頂いた回答については、 ご提供するサービスに関する製品開発または品質向上のための調査、分析に使用させて頂くことがございます。 なお、個人情報の外部委託、第三者提供、共同利用はいたしません。 2. 個人情報に関するお問合せ ご本人又は代理人の方から開示・訂正・利用停止等のご請求があった場合は 合理的な範囲で速やかに対応致します。 ご請求の手順等につきましては、以下お問い合わせ先にご連絡ください。 3. お問合せ先、所在地、連絡先 個人情報保護相談受付窓口： 東京都中野区本町4-38-13 日本ホルスタイン会館内 株式会社 構造計画研究所：https://www.kke.co.jp/inquiry/privacy_policy.html |