A Handling Management System for Freight with Multiple Ambient Calculus and RFID Devices

2017 Fiscal Year Final Research Report

• Project/Area Number: 15K00040
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Mathematical informatics
• Research Institution: Kindai University
• Principal Investigator: KATO Toru 近畿大学, 理工学部, 准教授 (00330233)
• Project Period (FY): 2015-04-01 – 2018-03-31
• Keywords: 物流システム / モデル化 / モデル検査 / プロセス代数 / Ambient Calculus

Outline of Final Research Achievements

The vessels and hub ports used in maritime logistics of container are dynamically determined depending on various factors such as weather condition or the sudden increase of amount of containers. Aiming supervising such dynamically changing freight plans, we have developed a freight management system that can not only monitor the handling of containers with RFID devices but also confirms the correctness of it by modeling whole the freight plans with Multiple Ambient Calculus(MAC) that is a kind of process algebra.
We have also developed a model checking system that confirms the model satisfies the properties expected to the freight plan that dynamically changes.

Free Research Field

情報学