36 Computer Toward a More Reliable Theory of Software Reliability S oftware development and testing is an error-prone process. Despite developers’ best attempts at checking every detail, errors made during development often cause postrelease software failures. Software reliability theory is one of industry’s seminal approaches for predicting the likelihood of software field failures. Unfortunat...

We derive a sound lower bound on the mean time to failure of periodic systems with (m,k) constraints. We assume that upper bounds on the failure probabilities of each system iteration, e.g., a job or a runtime activation of a periodic task, or a single actuation cycle of a control loop, are known and that they satisfy the IID assumption. Our analysis leverages prior work on the well-studied a-w...

In large-scale systems where number of components can approach a million a failure is a significant problem. In this paper authors have presented and analyzed failure data from different large systems. More than 100,000 disks with different interfaces which come from at least four different vendors have been investigated. According to information which one can find in datasheets the annual fail...

EXTENDED ABSTRACT Safety-critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. A safety critical system is a system where human safety is dependent upon the correct operation of...

The structures for the expression of fault-tolerance provisions into the application software are the central topic of this dissertation. Structuring techniques provide means to control complexity, the latter being a relevant factor for the introduction of design faults. This fact and the ever increasing complexity of today’s distributed software justify the need for simple, coherent, and effec...

Maintenance of the main engine lubrication system determines engine’s performance and components based on standard Japan Institute Plant Maintenance. The purpose analysis is to determine critical evaluate every component as a base maintenance planning preventive measure avoid downtime during ship operations. Data needed are ship’s motion, damage frequency, components’ downtime, diagram. was ana...

Software bugs are a major cause of system downtime. To improve the quality of software, we have to find costeffective ways to locate and fix software bugs. Automatic tracing of real software executions in which software bugs are triggered would be most helpful. This would, for example, help us to focus on patching bugs that are triggered in practice and would speed up locating software bugs. So...

Proses bongkar material bahan baku pupuk merupakan proses yang penting dalam operasional PT WINGS. Dalam distribusi atau pengangkutan raw dari pelabuhan menuju gudang pabrik ruang produksi, salah satu peralatan utama digunakan adalah conveyor. Selama ini, conveyor 02M603 di WINGS masih sering mengalami kerusakan sehingga menimbulkan kerugian satunya bentuk biaya demurrage. Solusi permasalahan i...

PT. Hamdan Jaya Makmur is a company that runs in the field of Machining, Engineering, Fabrication, Stamping, and Trading Company, which produces products for small, medium modern industries. Less than optimal maintenance system with corrective causes often experiences machine failure. Based on historical data, it can be seen lathe type SS-850 experienced very high downtime. Therefore, necessary...

Abstract CCTV is an expedient tool for monitoring and investigating. Since it can record emergency routine events in memory of the electronic circuit board. However, process operating CCTV, necessary to carry out a sampling inspection on its lifetime predicate availability reliability. According previous literature, most parameter estimation methods used only one method, which not sufficient id...