ERATO MMSD 专题讨论会

ERATO 莲尾元数理系统设计项目 专题讨论会
高可信度自动驾驶系统的先进研究
从数理理论，AI协作，到软件平台

ERATO莲尾元数理系统设计项目（ERATO MMSD），是国立研究开发法人—科学技术振兴机构（JST）战略创造研究推进事业 ERATO 旗下的研究项目之一。信息物理融合系统（CPS），是Society 5.0 支柱，而自动驾驶则被视为CPS的典型实例之一，因而受到广泛关注。ERATO MMSD 项目当前所开展的正是关于CPS系统质量保证的研究，尤其将自动驾驶系统视为战略应用对象，致力于研发支撑其可行性保证的理论基础，如建模方法，形式验证方法，测试方法，以及理论基础之上的 V&V应用技术。

本次专题研讨会以工业界的相关从业人员作为对象，将介绍国内外关于高可信度自动驾驶系统的研究现状，当前本项目着力研发的 V&V 技术，以及本项目关于未来的视点及对策。

在面对自动驾驶系统可信度这样巨大的挑战之时，软件・控制・AI 等多种学术领域的协作是不可或缺的。ERATO MMSD 项目，不仅重视作为这些学术领域基础的数理（元）理论，并且着重开展实用性较强的V&V技术的研究。因此，本次讨论会涉及的主题包括：

  • “今天”即可应用的技术及工具
  • 不远的“明天”将成为现实的技术
  • 以及，对这些技术所描绘出的“后天”的未来情景的展望

我们确信，本次讨论会能够以学术的视角，向您传达上述三点在内的诸多观点。

此外，在本次讨论会上，作为加拿大滑铁卢大学自动驾驶汽车开发项目 Autonomoose 团队领导的Krzysztof Czarnecki 教授也会莅临现场讲演。Czarnecki 教授将从从软件工程的视角出发，特别强调可信，安全性的自动驾驶汽车的研发。Czarnecki 教授同时也是ERATO MMSD 的成员之一。

希望以本次讨论会为契机，今后同诸位共享信息的同时，能够为该领域的振兴献力献策。衷心期待您的参与！

莲尾 一郎
ERATO MMSD 项目研究总括
国立情报学研究所 副教授

参会注册表格

会议概要

会议名称

ERATO 莲尾元数理系统设计项目 专题研讨会：
高可信度自动驾驶系统的先进研究
从数理理论，AI 协作，到软件平台

日期

2019年5月21日（周二）13:00～19:00 （接待开始 12:30）

会场

TKP築地新富町カンファレンスセンター（東京都中央区）

主办方

参加对象

汽车工业以及相关产业，研究・开发・调查的相关从业人员

参加方法

参会注册表格

事先注册制，参加费： 免费．参会注册于 2019年5月10日截止．
名额已满的情况下有可能通知您无法参加．请您谅解．
会议当天，请携带两枚名片。

语言

Krzysztof Czarnecki 教授的报告为英語，其它报告为日语。

咨询

「ERATO MMSD シンポジウム」運営事務局
E-mail: hasuolab-secr [at] nii.ac.jp
Tel: 03-6273-4886 接待时间 10:00～17:30 （周六・周日・节假日除外）

演讲者

国立情報学研究所 アーキテクチャ科学研究系 准教授
システム設計数理国際研究センター センター長
ERATO MMSD プロジェクト 研究総括

蓮尾 一郎

国立情報学研究所 アーキテクチャ科学研究系 准教授
ERATO MMSDプロジェクト グループ３リーダー

石川 冬樹

カナダ Waterloo 大学 Department of Electrical and Computer Engineering 教授
ERATO MMSDプロジェクト グループ２リーダー
Autonomoose プロジェクト リーダー

Krzysztof Czarnecki

プログラム（仮）

12:30受付開始
13:00～13:10ご来賓挨拶
金子 忠利 氏
文部科学省 研究振興局 基礎研究振興課 基礎研究推進室 室長
13:10～13:40「ERATO MMSDプロジェクト紹介： 物理情報システム品質保証のための包括的学術研究」
蓮尾 一郎
国立情報学研究所，ERATO MMSDプロジェクト研究総括
講演ビデオ，スライド
13:40～13:45休憩
13:45～14:45「自動運転システム開発プロジェクト Autonomoose： 高信頼自動運転システムへのソフトウェア工学的取り組み」
Krzysztof Czarnecki
Waterloo大学，ERATO MMSDプロジェクト グループ２リーダー，Autonomoose プロジェクトリーダー
14:45～15:00休憩
15:00～15:45「高信頼自動運転システム実現にむけて： ソフトウェア工学・機械学習の視点からの技術俯瞰」
石川 冬樹
国立情報学研究所，ERATO MMSDプロジェクト グループ３リーダー
講演ビデオ，スライド
15:45～16:30「高信頼自動運転システム実現にむけて： ソフトウェア科学・形式手法・数理的基盤の視点からの技術俯瞰」
蓮尾 一郎
国立情報学研究所，ERATO MMSDプロジェクト 研究総括
講演ビデオ，スライド
16:30～16:45休憩
16:45～18:00研究員・大学院生による技術ショウケース
18:00～19:00懇談会
参加登録フォームはこちら