モデルベース形式検証による設計品質向上オンラインセミナー
～ 開発現場で実践できるUML/SysMLモデルベース形式検証 ～
近年、自動車等の車載システムのみならず、様々なシステムが大規模化・複雑化するなか、
多くの要求への迅速な対応や複数の関係者と協調した開発が求められています。
この背景の下、人の解釈に依存する事が多い既存のエンジニアリング手法では対応に限界がきています。
上記の解決には、モデルベースで俯瞰してシステム全体を捉え、
かつ、人の解釈に依存する事を低減した開発が求められます。
この実現には、詳細モデルより上流のシステムレベル／抽象モデルでの
振る舞いの明確化、および検証が必要とされます。
6月26日にウェビナー形式で開催致しました
「フロントローディングによる設計品質向上セミナー
～開発現場で実践できるUML/SysMLモデリング＆形式検証～」では、
開発上流工程においてモデルで仕様を考え、モデルを動かして気づきを得、
関係者間で動く仕様（モデル）を共有して擦り合わせを行うことで、
フロントローディングかつモデルベースで品質の作り込みを実現する方法を提案致しましたが、
200名を超える申し込みを頂き、非常に高い評価を頂くことができました。
◇6月26日ウェビナーサイト
・案内サイト：https://kke.lmsg.jp/v2/seminar/11672/aGQ1allO
・開催レポート及びQ&Aの公開：https://www.kkeformalmethod.com/blog
今回開催するウェビナーでは、6月ウェビナーの「モデリングセッション」「検証セッション」の内、
弊社が担当致しました「形式検証セッション」を中心に、録画映像配信と一部ライブ対応を含めて実施するものです。
多くの要求への迅速な対応や複数の関係者と協調した開発が求められています。
この背景の下、人の解釈に依存する事が多い既存のエンジニアリング手法では対応に限界がきています。
上記の解決には、モデルベースで俯瞰してシステム全体を捉え、
かつ、人の解釈に依存する事を低減した開発が求められます。
この実現には、詳細モデルより上流のシステムレベル／抽象モデルでの
振る舞いの明確化、および検証が必要とされます。
6月26日にウェビナー形式で開催致しました
「フロントローディングによる設計品質向上セミナー
～開発現場で実践できるUML/SysMLモデリング＆形式検証～」では、
開発上流工程においてモデルで仕様を考え、モデルを動かして気づきを得、
関係者間で動く仕様（モデル）を共有して擦り合わせを行うことで、
フロントローディングかつモデルベースで品質の作り込みを実現する方法を提案致しましたが、
200名を超える申し込みを頂き、非常に高い評価を頂くことができました。
◇6月26日ウェビナーサイト
・案内サイト：https://kke.lmsg.jp/v2/seminar/11672/aGQ1allO
・開催レポート及びQ&Aの公開：https://www.kkeformalmethod.com/blog
今回開催するウェビナーでは、6月ウェビナーの「モデリングセッション」「検証セッション」の内、
弊社が担当致しました「形式検証セッション」を中心に、録画映像配信と一部ライブ対応を含めて実施するものです。
| 対象者 | ◆上流の設計品質向上に課題を感じている方 ◆従来手法（レビュー、シミュレーション、テスト）による ヌケモレ、手戻りの発生を低減させたい方 ◆UML/SysMLモデルによる検証手法に興味をお持ちの方 ◆形式検証（モデル検査）に興味はあるがハードルが高いと感じている方 |
|---|---|
| 日程 | ●2020年 11月13日 (金) ●2020年 11月20日 (金) 15:00開始 / 16:00終了予定 終了後にもQ&A対応を行う予定 |
| 定員 | ● 定員なし ◆同業他社様からの情報収集目的でのお申し込みはお断りさせていただく場合がございます。 |
| 開催地 | オンライン開催（Zoom） ※本体験セミナーではZoomを使用するため、 Zoomをご利用可能な方のみご参加頂けます。 ※Zoomアプリケーションのインストールは不要です。 ブラウザからご利用頂ければ、問題ございません。 |
| セミナー詳細 | ◆15:00 - 15:10 開会挨拶、本セミナーの主旨について ------------------------------------------- フロントローディングによる設計品質向上について【ライブ】 ◆15:10-15:50 『発見困難な不具合の自動検出を実現する形式検証と適用事例』【録画】 『モデルベース形式検証ツールのご紹介』【録画】 ------------------------------------------ ◆15:50-16:00 まとめ、最新情報、閉会挨拶【ライブ】 ------------------------------------------ ◆16:00-16:30 閉会挨拶、質疑回答【ライブ】 |
| 主催 | 株式会社構造計画研究所 https://www.kke.co.jp/ モデルベース形式検証ツール紹介ホームページ： https://www.kkeformalmethod.com/ |
| 個人情報の取扱について | 1. 個人情報の利用目的について お客様が当社に提供された氏名・住所・電話番号等の個人情報は、 お問合せを頂いたお客さまへのご返信、及びお問合せ内容へのご対応に使用させて頂く他、 当社の製品・ソリューションなどの情報提供や営業などの目的で使用させて頂くことがございます。 また、アンケート等でお答え頂いた回答については、 ご提供するサービスに関する製品開発または品質向上のための調査、分析に使用させて頂くことがございます。 なお、個人情報の外部委託、第三者提供、共同利用はいたしません。 2. 個人情報に関するお問合せ ご本人又は代理人の方から開示・訂正・利用停止等のご請求があった場合は 合理的な範囲で速やかに対応致します。 ご請求の手順等につきましては、以下お問い合わせ先にご連絡ください。 3. お問合せ先、所在地、連絡先 個人情報保護相談受付窓口： 東京都中野区本町4-38-13 日本ホルスタイン会館内 株式会社 構造計画研究所：https://www.kke.co.jp/inquiry/privacy_policy.html |