近年の自動車における「安全性」は、対象システムの故障対策や故障発生時に危険事象を回避する仕組みだけでなく、正常時の機能限界や外部からの悪意への対処、自動車と外部システムとの関係を考慮するなど、多くの検討を必要とする。このように複雑化するシステムの安全性を担保するにはシステム全体と設計対象の関係性を把握できる仕組みが必要である。本発表ではシステムモデルの構成データを中心に設計・安全性分析・サイバーセキュリティに関するデータを連携し、システム全体と設計対象を俯瞰的に把握できる手法や考え方を紹介する。

栗原 康一 氏
2019年株式会社IDAJに入社。機能安全認証に特化したモデルベール開発ソリューション関連業務に従事。

ISO 26262関連規格ISO 21434, ISO 21448が登場し車載エンジニアの仕事も増加の一途である。この中、有志活動体SCN-SGは安全コンセプト記法SCDLの最適化に取り組み、本年11月のASAM標準仕様発行で活動の節目を迎えた。そこで活動を次のフェイズに移行してFS+SOTIF+CSを効率的・効果的に記述・分析する統合アプローチの創出を目指すことになった。活動中のサブワーキンググループ‘手法連携SWG’，‘セキュリティSWG’に加えて‘SOTIF拡張シンSWG’の近日中のキックオフを予定している。今回これらの経緯を紹介する。

山下 修平 氏
1983年自動車会社に入社、30年にわたりエンジン電子制御システム, 車両レベル電子アーキテクチャ開発などに従事。この間 2005年より自動車技術会 機能安全分科会長に就任し、ISO 26262　策定活動に参画、国内の規格審議活動を主導。
2013年より欧州系認証機関に移り、テクニカルディレクタとして国内外自動車業界における当該規格導入支援で広範囲に活動。 2014年4月より現職SCN-SG（任意団体安全コンセプト記法研究会）チェアマン

Society5.0では、複数のシステムがつながることでSystem of Systems (SoS)がつくられる。そして、これはVUCA(Volatility・Uncertainty・Complexity・Ambiguity)といわれる軸での変化を加速する。ビジネスやテクノロジーなど環境が高速に変化する時代におけるSoSはこれまでの安全設計アプローチでは安全を実現することができない。本発表では、変化する時代におけるSoSの安全を実現するためにシステムアーキテクチャをどのように活用すればよいか、事例を含めて紹介する。

白坂 成功 氏
東京大学大学院修士課程修了、慶應義塾大学後期博士課程修了（システムエンジニアリング学）。大学院修了後、三菱電機にて15年間、宇宙開発に従事。HTV、準天頂衛星などの開発に参画。途中、エアバスの衛星開発部門に駐在し、欧州宇宙機関向けの開発を実施。大学では大規模複雑・高信頼性システム構築からイノベーション創出方法論にいたるまで、方法論構築の研究に取組む。2010 年より慶應SDM准教授。2017年より同教授。2020年よりIPAデジタルアーキテクチャデザインセンターのアドバイザリーボード座長を併任。

車載システムの大規模・複雑化により、フロントローディングで設計品質を向上させることが求められている。ただしMBSE/MBDで用いられるシミュレーションによる検証のみでは網羅性の確保が困難である。モデルの振る舞いを網羅的、自動的に検査する形式検証/モデル検査を適用することで検証の網羅性を向上させることが可能になる。
本発表では、システム設計者がSysMLモデリングと形式検証を同時並行的に行うことにより、フロントローディングで設計品質、開発効率を向上させるソリューションを紹介する。

太田 洋二郎 氏
(株)構造計画研究所に入社以来、通信、製造、物流、防衛等の各分野でモデリング＆シミュレーション、最適化等による顧客課題の解決支援業務に従事。現在は、形式検証を中心にソフトウェア開発における品質・安全性・信頼性向上に取り組み、自動車、鉄道、航空宇宙等の各業界で形式検証の導入支援を行っている。

自動運転車やコネクティッドカーの登場を受けて車載制御システムはますます大規模化、複雑化し、加えてOTAが法規化する等開発段階以降においても変化へ対応し要求を満たし続けることが求められる。またシステムに対して利用者が求める信頼性，安全性やセキュリティ等の非機能（総合信頼性）要求の重要性はこれからも不変であり続けるでしょう。ディペンダビリティ技術推進協議会（DEOS）ではIEC62853（JIS C 62853）の発行等の活動を通じて変化し続ける世界における信頼性・安全性について議論行っている。本発表ではDEOSの部会の一つである自動車応用部会の活動として展開している規格の知見をつかって現場の悩みを整理し解決するための議論をご紹介する。

近美 克行 氏
株式会社シーイーシーに入社以来、主に組み込み分野での製品やソフトウェアの品質保証業務やテスト業務に従事。ここ数年はSEPG/PMOとしてシステムやソフトウェアの開発現場にて、プロセス、マネジメント、プロダクトの各側面から改善を推進している。ディペンダビリティ技術推進協会・自動車応用部会には2017年より参加。各社からの参加メンバーと共に、規格の知見を現場に生かすために日々議論を進めている。