Formal Specification, Testing and Verification on the Truck Simulation

Muhammad Iman Santoso, Bernd Noche, Asep Ridwan, Achmad Bahauddin, Ratna Ekawati and Muhammad Indrahanif

A chapter in Operational Excellence in Logistics and Supply Chains: Optimization Methods, Data-driven Approaches and Security Insights, 2015, pp 295-328 from Hamburg University of Technology (TUHH), Institute of Business Logistics and General Management

Abstract: 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.

Keywords: Fertilizer Truck; Formal Specification; Simulation; Verification (search for similar items in EconPapers)
Date: 2015
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.econstor.eu/bitstream/10419/209289/1/hicl-2015-22-295.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:zbw:hiclch:209289

Access Statistics for this chapter

More chapters in Chapters from the Proceedings of the Hamburg International Conference of Logistics (HICL) from Hamburg University of Technology (TUHH), Institute of Business Logistics and General Management
Bibliographic data for series maintained by ZBW - Leibniz Information Centre for Economics ().