驾驶员行为模型共享对交通安全的提升.PDF

驾驶员行为模型共享对交通安全的提升 Improving Driving Safety by Sharing Driver Behavior Models 江智浩 上海科技大学 信息科学与技术学院 上海科技大学信息学院 Cyber-Physical Systems (CPS) Lab • 基于模型的软件开发与验证 • 应用领域 基于模型的 – 智能医疗仪器软件 形式化方法 软件开发 – 车联网应用软件 系统环境模型