Many processes are safety critical and therefore could benefit from proactive safety analysis techniques that attempt to identify weaknesses of such processes before they are put into use. In this paper, we propose an approach that automatically derives Failure Mode and Effect Analysis (FMEA) information from processes modeled in the Little-JIL process definition language. Typically FMEA inform...

The Supreme Court of India has used its constitutionally mandated task of interpreting the enforceable fundamental rights enumerated in Part III of the constitution to extend its own powers. This extension in my view poses a dangerous threat to the Constitutional democracy of India. I argue below that the situation not only impacts the spillover effects beyond each case, but the learned justice...

Unreliable failure detectors are abstract devices that, when added to asynchronous distributed systems, allow to solve distributed computing problems (e.g. Consensus) that otherwise would be impossible to solve in these systems. This paper focuses on two classes of failure detectors defined by Chandra and Toueg, namely, the classes denoted 3P (eventually perfect) and 3S (eventually strong). Bot...

A new bacteriological medium Modified Fish Meal Extract agar was tested for its efficacy in promoting the growth of P aeruginosa normally encountered in clinical specimens. 50 specimens each of sputum, pus and urine samples were cultured on Modified Fish Meal Extract Agar and the results were compared with normal Nutrient agar and Blood agar. There was 100% conformity in the results compared wi...

For proper management of life cycle of machines and manufacturing facilities, it is important to perform appropriate maintenance operations, and to keep machine status for better reuse and recycling opportunity. For this purpose, a virtual maintenance system is very effective, where facility life cycle model is constructed in computer, and reliability and availability of machines are predicted ...

0957-4174/$ see front matter 2012 Elsevier Ltd. A http://dx.doi.org/10.1016/j.eswa.2012.08.010 ⇑ Corresponding author. Address: College of De University, 1239 Siping Road, Shanghai 200092, PR 6598 3432. E-mail addresses: [email protected] (H.-C (L. Liu), [email protected] (N. Liu). Failure mode and effects analysis (FMEA) is a risk assessment tool that mitigates potential failures in sys...

This position paper makes a case for a paradigm shift in modeling and analyzing systems with embedded software for tasks such as testing, fault and safety analysis. We propose a physics-centered rather than software-centered perspective, based on the argument that the behavior and misbehavior of the physical system determines the relevant aspects of the embedded software. The implications of su...

Navy has made a huge applying of preventive maintenance that has been recognized as the greatest source of costs. Scheduled overhaul is the most expensive. Revising preventive maintenance and selecting maintenance concepts according to a new algorithm should result into lowering those costs and at the same time maintaining function safety and system readiness. A reversible FMEA analysis coupled...

The WebSys project has developed a method for robustness assessment, using the Failure Mode and Effect Analysis on use cases, modified by introducing a set of robustness stereotypes developed by I. Jacobson. The paper gives a short presentation of the method and show how it can be applied by assessing the robustness of two systems. We then show that the results from testing these two systems gi...

Engineering risk methods and tools account for and make decisions about risk using an expected-value approach. Psychological research has shown that stakeholders and decision makers hold domain-specific risk attitudes that often vary between individuals and between enterprises. Moreover, certain companies and industries (e.g., the nuclear power industry and aerospace corporations) are very risk...