|
个人信息Personal Information
教授
博士生导师
硕士生导师
任职 : 大连理工大学软件评测中心主任
性别：男
毕业院校：哈尔滨工业大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 计算机系统结构
办公地点：开发区校区综合楼409
联系方式：zhoukj@dlut.edu.cn 13804248599
电子邮箱：zhoukj@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