Designing, Modelling and Verifying a Container Terminal System Using UPPAAL
This paper introduces an automated container terminal system which is used to transport containers from a ship to a yard. The system consists of a computation unit(CU) and several types of devices. The CU selects appropriate devices to transport the container. Due to the fact that the devices move concurrently and the intricate signals are exchanged between each device and the CU, it is very important to formally describe the system in a clear way. We thus present a method of modelling and analyzing the system in a model checker, UPPAAL. Through this work, the efficiency and correctness of the terminal system design is guaranteed.
Quan Zu Miaomiao Zhang Jing Liu Qingfeng Du
School of Software Engineering, Tongji University, China Shanghai key lab of trustworthy computing, East China Normal University, China
国际会议
11th IEEE High Assurance Systems Engineering Symposium(HASE 2008)(第十一届IEEE高可信系统工程国际研讨会)
南京
英文
445-448
2008-12-03（万方平台首次上网日期，不代表论文的发表时间）