top of page
検索
  • Ti Wang

[講演レポート] 自動車機能安全カンファレンス

更新日:2022年5月27日

形式検証担当エンジニアの市村です。12/5 - 6に開催された自動車機能安全カンファレンス2019にて、弊社構造計画研究所は展示と講演を行いました。今回は当日の講演の様子や、ブースにお越し頂いたお客様から頂いた質問等をご紹介します。


講演の様子

事業開発部AOR研究室室長 太田洋二郎が「上流設計品質向上を促進するモデルベースの実践的な形式検証」と題して講演を行いました。


本講演では「OEM/サプライヤ間でUML/SysMLモデルを共有することの重要性」及び「上流で設計品質を担保することが重要であり、そのために形式検証という技術はは非常に有用である」ということについてお伝えしましたが、お蔭様をもちまして満員御礼となりました。ご来場頂いた皆様、有難うございます。




今回のカンファレンスでは当社を含め3社もの企業様が「形式検証・モデル検査」に関する講演を行っておりました。形式検証に対する関心の高まりを感じました。


展示ブースの様子

当社の展示ブースでは、講演でも発表させて頂いた形式検証支援ツールと当社が販売するリスクマネジメントシステムSTATUREのご紹介をさせて頂きました。ブースにもたくさんの方にお越し頂き、誠に有難うございました。





代表的な質問事項

ここでは、当日ブースにて頂いた質問の中で代表的なものをひとつご紹介致します。


[質問]

下流(ソースコードレベル)をターゲットにした形式検証は実施していないのか?


[回答]

今後益々複雑になるソフトウェアの設計において、より課題感が大きくなるのは下流よりも上流工程であると、我々は考えております。

「各モジュールはうまく動作するが、それらを組み合わせたときに不具合が生じる」という話は、様々な現場で発生していると思います。

各モジュールに対しソースコードレベルでモデル検査を適用することも可能ですが、このような各モジュール間における複雑な協調動作こそより精緻に検証すべきであり、このためには「より抽象度の高いモデルを作成し」「モデルを動かして検証する」ことが必要です。私たちが提供するDynaSpecはこれを可能にするツールです。


ソフトウェアの上流設計に関し、既に課題感を感じていらっしゃるお客様も多いかと思います。まずは、是非資料ダウンロードとお問合せを!


閲覧数:96回0件のコメント

最新記事

すべて表示

MBSEの事例紹介セミナー開催のご案内

株式会社構造計画研究所は、株式会社オージス総研が主催する以下のセミナーに今年も協賛しております。 弊社セッションではDynaSpecを紹介させて頂きます。今年6月に弊社主催セミナー「論理アーキテクチャの重要性と設計・検証実例のご紹介」を開催させて頂きましたが、その際に取り上げた事例について、今回のセミナーではプロセス、方法論よりツール利用に焦点を当てた内容で改めて紹介させて頂く予定です。

2023/6/23 ウェビナーにおけるQ&Aの公開

2023年6月23日に開催致しましたウェビナー「論理アーキテクチャの重要性と設計・検証実例のご紹介」には自動車OEM様、サプライヤ様を中心に100名を超える多数の方にご参加頂きありがとうございました。 当日はQ&Aセッションを設け、視聴者様から頂いた質問に回答させて頂きましたが、時間の関係で当日回答できなかった分を含め、代表的な質問と回答を以下に公開させて頂きます。なお、回答にあたってはウェビナー

論理アーキテクチャの設計・検証実例を紹介するウェビナーを開催します

システム開発における論理アーキテクチャの設計品質向上に向けて、弊社が自動車サプライヤ様と取り組んだ設計・検証の実例を紹介するウェビナーを開催いたします。 ★★★セミナーの詳細とお申し込みはこちら: https://kke.lmsg.jp/p/_8f73GA ■ 開催日時 2023年6月23日(金)10:00~11:00 (質疑応答込み) ■ 開催方法 本セミナーは、Zoomを使用したウェビナー形式

Comments


bottom of page