IDEAS home Printed from https://ideas.repec.org/h/zbw/hiclch/209289.html
   My bibliography  Save this book chapter

Formal Specification, Testing and Verification on the Truck Simulation

In: Operational Excellence in Logistics and Supply Chains: Optimization Methods, Data-driven Approaches and Security Insights. Proceedings of the Hamburg International Conference of Logistics (HICL), Vol. 22

Author

Listed:
  • Santoso, Muhammad Iman
  • Noche, Bernd
  • Ridwan, Asep
  • Bahauddin, Achmad
  • Ekawati, Ratna
  • Indrahanif, Muhammad

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.

Suggested Citation

  • Santoso, Muhammad Iman & Noche, Bernd & Ridwan, Asep & Bahauddin, Achmad & Ekawati, Ratna & Indrahanif, Muhammad, 2015. "Formal Specification, Testing and Verification on the Truck Simulation," Chapters from the Proceedings of the Hamburg International Conference of Logistics (HICL), in: Blecker, Thorsten & Kersten, Wolfgang & Ringle, Christian M. (ed.), Operational Excellence in Logistics and Supply Chains: Optimization Methods, Data-driven Approaches and Security Insights. Proceedings of the Hamburg , volume 22, pages 295-328, Hamburg University of Technology (TUHH), Institute of Business Logistics and General Management.
    • Handle: RePEc:zbw:hiclch:209289
    DOI: 10.15480/882.1265
    as

    Download full text from publisher

    File URL: https://www.econstor.eu/bitstream/10419/209289/1/hicl-2015-22-295.pdf
    Download Restriction: no
    File URL: https://libkey.io/10.15480/882.1265?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:zbw:hiclch:209289. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: ZBW - Leibniz Information Centre for Economics (email available below). General contact details of provider: https://hicl.org/ .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.