1月22日

セッション１：パラダイムとしてのCPS
1　CPSのソフトウェア工学：ソフトウェアは対象か手段か
中島震

2　機能のデザインから意味のデザインへ
中島達夫, 坂本瑞希

3　Cyber-Physical Systems (CPS)と大規模データ解析
秋岡明香

4　創発的性質の導出、記述及び検証について
林信宏, 大森洋一, 日下部茂, 荒木啓二郎


セッション２：形式検証
5　平面上を自律移動するロボットの誤差検出と振舞い検証に向けて
大槻文也, 伊藤和巳, 岡野浩三, 関澤俊弦

6　自律分散型ライントレーシングロボットの安全性検証
岡野浩三, 関澤俊弦

7　時間オートマトンの振舞いに基づくスケジューリング解析
結縁祥治



1月23日

セッション３：産業応用
8 CPSつくりについて
豊島真澄

9 社会情報基盤システムの信頼性保証支援技術
谷津弘一, 安藤崇央, 久住憲, 福田晃, 孔維強

10 電力システム分野の技術的問題に対するコンピュータ科学の応用について
土屋達弘

11 形式手法の産業応用の観点からCPSを考える
青木利晃, 片山卓也


セッション４：ラップアップ