信息科学系列报告（讨论班）—Formalizing Hybrid Systems with Event-B and the Rodin Platform
主 题: 信息科学系列报告（讨论班）—Formalizing Hybrid Systems with Event-B and the Rodin Platform
报告人: 苏雯 (上海大学计算机工程与科学公司)
时 间: 2017-04-05 13:00-15:00
地 点: 理科1号楼1303
Abstract: This talk contains the formal development of hybrid systems with Event-B and the Rodin Platform. It follows the seminal approach introduced at the turn of the century in Action Systems. Many examples that have been entirely proved with the Rodin Platform illustrate our approach. We propose to complement the Event-B/Rodin Platform approach with the usage of Matlab, either to simulate examples with some correct as well as incorrect set of parameters, or to use the analytical power of Matlab to complement the usage of Event-B.
报告人简介：苏雯，博士，于2013年获华东师范大学计算机博士学位，2008年获山东大学信息安全学士学位。2013年起任教于上海大学计算机公司。曾作为访问学者访问英国Southampton大学、英国Durham大学、英国Manchester大学、法国图卢兹国家理工公司。
主要研究高可信计算，曾作为主要参与人参与工业合作项目轨道交通信号控制软件高可信开发、航天实时操作系统高可信开发与验证等项目。曾作为主要参与人参与国家自然科学基金中国丹麦合作项目：信息物理融合系统基础研究、国家973项目：物联网的基础理论与实践研究。目前主持上海市扬帆计划项目、国家自然科学基金青年基金等人才计划项目。
