Formal Specification, Testing and Verification on the Truck Simulation

TitleFormal Specification, Testing and Verification on the Truck Simulation
Publication TypeConference Paper
Year of Publication2015
AuthorsSantoso, MIman, Noche, B, Ridwan, A, Bahauddin, A, Ekawati, R, Indrahanif, M
EditorBlecker, T, Kersten, W, Ringle, CM
Title of ProceedingsOperational Excellence in Logistics and Supply Chains
Conference LocationHamburg
ISBN Number978-3-7375-4056-8
Other NumbersISSN (print) 2365-4430, ISSN (online) 2365-5070
KeywordsFertilizer Truck, Formal Specification, Simulation, Verification

Truck operation for the fertilizer handling in the one of Indonesia's Port turned out
to be inefficient and produced long queues (1.3 hours) when operated in the maximum
number of trucks, i.e. 30 units - 30 tons load capacity per unit. This paper presents
a simulation-based optimization for scheduling quantity and capacity of the
fertilizer trucks to achieve handling-target within 24 hours and reduce queue. New
procedural technique that combine statistical, modeling, simulation and verification
have been developed employing several tools and managed in a structural way using
formal specification. Those techniques optimize the truck operation turn into 8 units
and also decrease the round trip operation from 220 rounds into 217 rounds. It generates
a daily productivity of 6516 tons and minimize truck queue until 0.14 hour.
The reduction of resources utilization and queue time will diminish the total fertilizer
handling cost.