Exploring the impact of different cost heuristics in the allocation of safety integrity levels

Contemporary safety standards prescribe processes in which system safety requirements, captured early and expressed in the form of Safety Integrity Levels (SILs), are iteratively allocated to architectural elements. Different SILs reflect different requirements stringencies and consequently different development costs. Therefore, the allocation of safety requirements is not a simple problem of applying an allocation "algebra" as treated by most standards; it is a complex optimisation problem, one of finding a strategy that minimises cost whilst meeting safety requirements. One difficulty is the lack of a commonly agreed heuristic for how costs increase between SILs. In this paper, we define this important problem; then we take the example of an automotive system and using an automated approach show that different cost heuristics lead to different optimal SIL allocations. Without automation it would have been impossible to explore the vast space of allocations and to discuss the subtleties involved in this problem

Modelling and Optimisation of Space Allocation and layout Problems

This thesis investigates the development of optimisation-based, decision-making frameworks for allocation problems related to manufacturing, warehousing, logistics, and retailing. Since associated costs with these areas constitute significant parts to the overall supply chain cost, mathematical models of enhanced fidelity are required to obtain optimal decisions for i) pallet loading, ii) assortment, and iii) product shelf space, which will be the main research focus of this thesis. For the Manufactures Pallet loading problems (MPLP), novel single- and multi-objective Mixed Integer Linear Programming (MILP) models have been proposed, which generate optimal layouts of improved 2D structure based on a block representation. The approach uses a Complexity Index metric, which aids in comparing 2 pallet layouts that share the same pallet size and number of boxes loaded but with different box arrangements. The proposed algorithm has been tested against available data-sets in literature. In the area of Assortments (optimal 2D packing within given containers) , an iterative MILP algorithm has been developed to provide a diverse set of solutions within pre-specified range of key performance metrics. In addition, a basic software prototype, based on AIMMS platform, has been developed using a user-friendly interface so as to facilitate user interaction with a visual display of the solutions obtained. In Shelf- Space Allocation (SSAP) problem, the relationship between the demand and the retailer shelf space allocated to each item is defined as space elasticity. Most of existing literature considers the problem with stationary demand and fixed space elasticities. In this part of the thesis, a dynamic framework has been proposed to forecast space elasticities based on historical data using standard time-series methodologies. In addition, an optimisation mathematical model has been implemented using the forecasted space elasticities to provide the retailer with optimal shelf space thus resulting into closer match between supply and demand and increased profitability. The applicability and effectiveness of the proposed framework is demonstrated through a number of tests and comparisons against literature data-sets

Dynamic warehouse optimization using predictive analytics.

The forward area is a small area of a warehouse with a low picking cost. Two approaches that are investigated for selecting the SKUs of this area and the allocated space are the static and the dynamic approaches. In the case that decisions about the forward area are made periodically (e.g. yearly) and the products\u27 demand patterns are completely ignored, the FRP is static. We developed two heuristics that solve the large discrete assignment, allocation, and sizing problem simultaneously. Replenishing the same product in the same place of the forward area brings about a ``Locked layout of the fast picking area during the planning horizon. By using a dynamic slotting approach, the product pick locations within the warehouse are allowed to change and pick operations can accommodate the variability in the product demand pattern. A dynamic approach can introduce the latest fast movers to the forward area, as an opportunity arises. The primary objective of this dissertation is to formally define the dynamic FRP. One main mission of this research is to define a generic dynamic slotting problem while also demonstrating the strengths of this approach over the static model. Dynamic slotting continuously adjusts the current state of the forward area with real-time decisions in conjunction with demand predictive analytics. Applying different order data with different demand volatility, we show that the dynamic model always outperforms the static model. The benefits attained from the dynamic model over the static model are greater for more volatile warehouses

A synthesis of logic and bio-inspired techniques in the design of dependable systems

Much of the development of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, can be attributed to the application of advances in formal logic and its application to fault forecasting and verification of systems. In parallel, work on bio-inspired technologies has shown potential for the evolutionary design of engineering systems via automated exploration of potentially large design spaces. We have not yet seen the emergence of a design paradigm that effectively combines these two techniques, schematically founded on the two pillars of formal logic and biology, from the early stages of, and throughout, the design lifecycle. Such a design paradigm would apply these techniques synergistically and systematically to enable optimal refinement of new designs which can be driven effectively by dependability requirements. The paper sketches such a model-centric paradigm for the design of dependable systems, presented in the scope of the HiP-HOPS tool and technique, that brings these technologies together to realise their combined potential benefits. The paper begins by identifying current challenges in model-based safety assessment and then overviews the use of meta-heuristics at various stages of the design lifecycle covering topics that span from allocation of dependability requirements, through dependability analysis, to multi-objective optimisation of system architectures and maintenance schedules

Quick Response Practices at the Warehouse of Ankor

In the warehouse of Ankor, a wholesaler of tools and garden equipment, various problems concerning the storage and retrieval of products arise. For example, heavy products have to be retrieved prior to light products to prevent damage. Furthermore, the layout of the warehouse differs from the layout generally assumed in literature. The goal of this research was to determine storage locations for the products and a routing method to obtain sequences in which products are to be retrieved from their locations. It is shown that despite deviations from the "normal" case, similar savings in route length can be obtained by adapting existing solution techniques. Total labor savings are far less than expected on basis of assumptions made in literature. With a minimum of adaptations to the current situation the average route length can be decreased by 30 %. There is no need for complex techniques.storage;warehousing;optimization;case study;routing

Toolflows for Mapping Convolutional Neural Networks on FPGAs: A Survey and Future Directions

In the past decade, Convolutional Neural Networks (CNNs) have demonstrated state-of-the-art performance in various Artificial Intelligence tasks. To accelerate the experimentation and development of CNNs, several software frameworks have been released, primarily targeting power-hungry CPUs and GPUs. In this context, reconfigurable hardware in the form of FPGAs constitutes a potential alternative platform that can be integrated in the existing deep learning ecosystem to provide a tunable balance between performance, power consumption and programmability. In this paper, a survey of the existing CNN-to-FPGA toolflows is presented, comprising a comparative study of their key characteristics which include the supported applications, architectural choices, design space exploration methods and achieved performance. Moreover, major challenges and objectives introduced by the latest trends in CNN algorithmic research are identified and presented. Finally, a uniform evaluation methodology is proposed, aiming at the comprehensive, complete and in-depth evaluation of CNN-to-FPGA toolflows.Comment: Accepted for publication at the ACM Computing Surveys (CSUR) journal, 201

A survey on performance analysis of warehouse carousel systems

This paper gives an overview of recent research on the performance evaluation and design of carousel systems. We discuss picking strategies for problems involving one carousel, consider the throughput of the system for problems involving two carousels, give an overview of related problems in this area, and present an extensive literature review. Emphasis has been given on future research directions in this area