We present a partially-typed semantics for Dπ, a distributed π-calculus. The semantics is designed for open distributed systems in which some sites may harbor malicious agents. Nonetheless, the semantics guarantee traditional type-safety properties at “good” locations by using a mixture of static and dynamic type-checking. The run-time semantics is built on the model of an anonymous network whe...

nowadays, in addition to implement the quality of management systems and environment management and due to the effects of safety and health issues on working processes, the organizations have also sought to acquire health and safety management systems. this descriptive–analytic and past reviewing study has been implemented based on five years (from 2006 to 2010) recorded documents and statistic...

This study deals with the problem of dependence between production and failure rates within the context of multi part-type production system. It gives an answer about how to produce, i.e. the production rates, and what to produce, i.e. the part-type selection, over a finite horizon of H periods of equal length. We consider a single randomly failing and repairable machine that produces a multi p...

Component fault trees that contain safety basic events as well as security basic events cannot be analyzed like normal CFTs. Safety basic events are rated with probabilities in an interval [0,1], for security basic events simpler scales such as {low, medium, high} make more sense. In this paper an approach is described how to handle a quantitative safety analysis with different rating schemes f...

This paper explores domain arguments—arguments about why techniques, processes, and designs possess properties as believed by their domain experts. An elicitation technique for their recovery from domain documents is presented. This is followed by demonstrated application of the technique to several domain artifacts from aviation engineering. The elicited arguments are presented and analyzed fo...

We consider a manufacturer’s stochastic production/inventory problem under periodic review and present concepts for safety stock determination to cope with uncertainties that are caused by stochastic demand and different types of yield randomness. Order releases follow a linear control rule. Taking manufacturing lead times into account it turns out that safety stocks have to be considered that ...

This paper discusses the concept of a structurally safe traffic system. The crucial question is how potential errors occurring in traffic can be reduced by revising the layout of the road environment. Two considerations play an important role: inherent safety and self-explaining properties. Inherent safety refers to the reduction of potentially dangerous encounters. Traffic systems having self-...

Staff and students at Lancaster University have, for the past five years, been involved in the development of an autonomous robot excavator LUCIE the Lancaster University Computerised Intelligent Excavator. An excavator provides a good opportunity for development, as it is basically a highly efficient and well developed four degree-of-freedom manipulator arm, but with the complete absence of au...

The purpose of an Independent Safety Auditor (ISA) is to audit, assess and review processes used in a project to show compliance to best and appropriate practice and to assess the adequacy of the evidence. The main objective of using an ISA in any project is to provide assurance that a contractor considers and addresses safety issues. An ISA needs to be convinced that the process captures, unde...

The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an extended version of the language containing state and recursive binding. These results demonstrate that any instance of HM(X), comprising a specialized constraint system and possibly additional functional constants and thei...