モデリングの国際カンファレンス MODELS 2021、10月オンライン開催


10月10日から16日にかけて、国際カンファレンス MODELS 2021が全日程オンラインにて開催されます。

MODELS 2021?

正式名称は”24th International Conference on Model Driven Engineering Languages and Systems (MODELS)“で、世界各国から研究者が集うモデリングの国際カンファレンスです。2021年は福岡(日本)で開催される予定でしたが、全プログラムのオンライン開催が決まっています。公式WEBによると、1998年が第一回、モデルベースドソフトウェア、システムエンジニアリングに関する”the premier conference series”で、言語、方法論、ツール、アプリケーションなどモデリングに関するあらゆるテーマを扱うそうです。

Industry Days

MODELS 2021では、論文発表、シンポジウム、ツールデモ、ワークショップ、ポスターセッションなど様々なトラックがあり、企業からの発表を集めた”Industry Days“も開催されます。チェンジビジョンは10月13日(水)午後にセッションを予定しています。公式WEBに掲載されているセッション情報をこちらでもお知らせします。

“Light-weight integration of MBSE and model-checking”

  • 日時(日本時間):10月13日(水) 17:40-18:10
  • 会場:Room3
  • 発表者:Toshinori Takai
  • Abstract:Although model-checking is a powerful formal method with matured tools, there are some issues when applying it to industrial system developments, e.g. the state explosion problem, specifying verification formulas. On the other hand, industries facing difficulties in developing IoT, autonomous, or cyber-physical systems are trying to adopt model-based systems engineering(MBSE). In this presentation, we show possibilities that applying model-checking in the context of MBSE can cover up the issues of model-checking and enjoy the benefits of model-checking.

スポンサード

今回、チェンジビジョンはブロンズレベルのスポンサーとして、MODELS 2021の開催を応援することにいたしました。我々が事業として取り組むモデリングツールに直結したテーマであること、システムエンジニアリングに関心を持つ学術関係者、研究者、産業界の人材が多数集う場であること、チェンジビジョンとしてセッションを持てることがその理由です。モデリング、ソフトウェアエンジニアリングについての新しい研究成果を得られる機会として、我々も開催を喜んでいます。

参加登録(Registration)

こちらのページよりお申し込みください。
参加登録の締め切りは10月3日です。検討中の方はどうぞお早めに登録手続きを!

参考リンク

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s