Delay-Bounded Scheduling Without Delay!

We consider the broad problem of analyzing safety properties of asynchronous concurrent programs under arbitrary thread interleavings. Delay-bounded deterministic scheduling, introduced in prior work, is an efficient bug-finding technique to curb the large cost associated with full scheduling nondeterminism. In this paper we first present a technique to lift the delay bound for the case of finite-domain variable programs, thus adding to the efficiency of bug detection the ability to prove safety of programs under arbitrary thread interleavings. Second, we demonstrate how, combined with predicate abstraction, our technique can both refute and verify safety properties of programs with unbounded variable domains, even for unbounded thread counts. Previous work has established that, for non-trivial concurrency routines, predicate abstraction induces a highly complex abstract program semantics. Our technique, however, never statically constructs an abstract parametric program; it only requires some abstract-states set to be closed under certain actions, thus eliminating the dependence on the existence of verification algorithms for abstract programs. We demonstrate the efficiency of our technique on many examples used in prior work, and showcase its simplicity compared to earlier approaches on the unbounded-thread Ticket Lock protocol.

ANALISIS PENJADWALAN PROYEK GEDUNG BERTINGKAT DENGAN METODE PERT DAN M-PERT MENGGUNAKAN SIMULASI MONTE CARLO

One of the keys to success in construction execution is timeliness. In fact, construction is often late than originally planned. It’s caused by project scheduling uncertainty. Deterministic scheduling methods use data from previous projects to determine work duration. However, not every project has same work duration. The PERT method provides a probabilistic approach that can overcome these uncertainties, but it doesn’t account for the increase in duration due to parallel activities. In 2017, the PERT method was developed into the M-PERT method. The purpose of this study is to compare the mean duration and standard deviation of the overall project between PERT and M-PERT methods and compare them in Monte Carlo simulation. The research method used is to calculate the mean duration of the project with the PERT, M-PERT, and Monte Carlo simulation. The study was applied to a three-story building project. From the results of the study, the standard deviation obtained was 5.079 for the M-PERT method, 8.915 for the PERT method, and 5.25 for the Monte Carlo simulation. These results show the M-PERT method can provide closer results to computer simulation result than the PERT method. Small standard deviation value indicates the M-PERT method gives more accurate results.ABSTRAKSalah satu kunci keberhasilan dalam suatu pelaksanaan konstruksi adalah ketepatan waktu. Kenyataannya, pelaksanaan konstruksi sering mengalami keterlambatan waktu dari yang direncanakan. Hal ini disebabkan oleh ketidakpastian dalam merencanakan penjadwalan proyek. Metode penjadwalan yang bersifat deterministik menggunakan data dari proyek sebelumnya untuk menentukan durasi pekerjaan. Akan tetapi, tidak setiap proyek memiliki durasi pekerjaan yang sama. Metode PERT memberikan pendekatan probabilistik yang dapat mengatasi ketidakpastian tersebut, tetapi metode ini tidak memperhitungkan pertambahan durasi akibat adanya kegiatan yang berbentuk paralel. Pada tahun 2017, metode PERT dikembangkan menjadi metode M-PERT. Tujuan dari penelitian ini adalah membandingkan mean durasi dan standar deviasi proyek secara keseluruhan antara metode PERT dan M-PERT dan membandingkan kedua metode tersebut dalam simulasi Monte Carlo. Metode penelitian yang dilakukan adalah menghitung mean durasi proyek dengan metode PERT, M-PERT, dan simulasi Monte Carlo. Penelitian diterapkan pada proyek gedung bertingkat tiga. Dari hasil penelitian, nilai standar deviasi diperoleh sebesar 5,079 untuk metode M-PERT, 8,915 untuk metode PERT, dan 5,25 untuk simulasi Monte Carlo. Hasil ini menunjukan metode M-PERT dapat memberikan hasil yang lebih mendekati hasil simulasi komputer daripada metode PERT. Nilai standar deviasi yang kecil menunjukan metode M-PERT memberikan hasil yang lebih akurat.

Dynamic Contract Time Determination System for Highway Projects

Texas Department of Transportation (TxDOT) projects have been experiencing significant delays. Some of these delays can be rooted to the inaccurate estimation of the contract time. This research presents a preliminary framework for the development of a computer-based system designed to determine a realistic contract duration for TxDOT projects. In addition to traditional deterministic scheduling, the system also performs probabilistic scheduling using the program evaluation and review technique. The system also incorporates an interactive database containing a list of various highway construction activities and their productivity rates; the database is used to estimate the durations of project activities. The system was deployed to reschedule some previous TxDOT projects, and the results were statistically compared and analyzed. The results show that this system can significantly improve the estimate of the contract time. This framework lays the foundation for the development of a more advanced contract time determination system based on probabilistic scheduling.