The purpose of this paper is to validate and test the adequacy of an analytical expression to calculate proper safety stock levels using simulation techniques. The model refers to a periodic review system and a lot-4-lot replenishment policy, with randomness in forecast errors and in order fulfillment. The simulation model is formulated in a spreadsheet environment using MS Excel and @Risk. The...

SLAyer is a program analysis tool designed to automatically prove memory safety of industrial systems code. In this paper we describe SLAyer’s implementation, and its application to Windows device drivers. This paper accompanies the first release of SLAyer.

This study attempts to establish a framework for ubiquitous e-Services in the future then use a twodimensional cross analysis called the “awareness and want matrix” to explore people’s awareness and want for e-Services simultaneously, as well as to offer policy recommendations for the future adjustment of national digital services and technology. The study’s result shows that, currently, both t...

Many systems are deemed safety-critical and these systems are increasingly dependent on software. Much has been written In the literature with respect to system and software safety. This repo~l sum;-,;A& .es some of that literature and outlines the development of saf,. criticai zcw,vare. Techniques for hazard identification and analysis are discussed. 'Further, techniques for the development of...

This paper studies a two-echelon supply chain with stochastic and discrete consumer demand, batch order quantities, periodic inventory review, and deterministic transportation times. Reorder point policies manage inventories at every location. Average inventory, backorders and fill rates are evaluated exactly for each location. Safety stock is evaluated exactly at the lower echelon and a good a...

The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always yield as much knowledge as they might about possible flaws in the system safety argument. In this paper, we introduce the lifecycle for safety cases. We use it to develop a framework to guide the analysis process and t...

The traditional approach to accidents assumes that compliance with procedures and norms protects the system from accidents and that these events are caused by the faulty behavior of workers, which results partly from personality aspects. Identification of these behaviors can be based on comparing them with the standard "safe working practices", which safety experts are aware of ahead of time. I...

We show that an asymptotic summation method, recently proposed by the authors, can be conveniently applied to slowly convergent power series whose coefficients are rational functions of the summation index. Several numerical examples are presented. 1. Asymptotic summation Consider a power series ∞ ∑

It is well known that the use of points-to information can substantially improve the accuracy of a static program analysis. Commonly used algorithms for computing points-to information are known to be sound only for memory-safe programs. Thus, it appears problematic to utilize points-to information to verify the memory safety property without giving up soundness. We show that a sound combinatio...