|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Director of Academic Committee at Kaifa District
其他任职：开发区校区学术分委员会主任（Director of Academic Committee at Kaifa Campus）
性别：男
毕业院校：多伦多大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 运筹学与控制论
办公地点：开发区（Kaifa District Campus）
联系方式：mingchul@dlut.edu.cn
电子邮箱：mingchul@dlut.edu.cn
Modelling and verification of protocol design for cyber physical systems
点击次数：
论文类型：期刊论文
发表时间：2015-09-01
发表刊物：Journal of Computational Information Systems
收录刊物：EI、Scopus
卷号：11
期号：17
页面范围：6149-6157
ISSN号：15539105
摘要：The trustworthiness of protocol is the key to ensure the reliable operation of cyber physical systems (CPS), therefore, how to design and verify protocol efficiently is unable to avoid problem in CPS design. In this paper, we propose a design method for communication protocol of CPS based on time state transition matrix (TSTM), which adds time semantics for traditional STM, making it suitable for design real-time communication protocol behavior. Then we present a model checking method based on time computation tree logic (TCTL) to verify the logical and time properties. At last, by modeling and verifying communication protocol of a type train control system, certify the effectiveness of our methods. ? 2015, by Binary Information Press