TY - GEN
T1 - Designing, modelling and verifying a container terminal system using UPPAAL
AU - Zu, Quan
AU - Zhang, Miaomiao
AU - Liu, Jing
AU - Du, Qingfcng
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/58449097908
U2 - 10.1109/HASE.2008.35
DO - 10.1109/HASE.2008.35
M3 - 会议稿件
AN - SCOPUS:58449097908
SN - 9780769534824
T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering
SP - 445
EP - 448
BT - Proceedings - 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008
T2 - 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008
Y2 - 3 December 2008 through 5 December 2008
ER -