Computer software reliability has never been more important. Today, computers are employed in areas as diverse as air traffic control, nuclear reactors, aircraft, real-time military, industrial process control, security system control, biometric scan-systems, automotive, mechanical and safety control, and hospital patient monitoring systems. Many of these applications require critical functionality as software applications increase in size and complexity.

System Software Reliability is an introduction to software reliability engineering as well as a detailed survey of the state-of-the-art techniques, methodologies and tools used to assess the reliability of software and combined software-hardware systems. The most recent research results in the field are reported and future directions in the subject are signposted.

This comprehensive text will be of interest to:

• graduate students as an introduction to software reliability engineering and a textbook for graduate courses;
• software and reliability engineers as a comprehensive and up-to-date survey of the field; and,
• researchers and lecturers in universities and research institutions as a one-volume reference.

This edited book offers further advances, new perspectives, and developments from world leaders in the field of through-life engineering services (TES). It builds up on the earlier book by the same authors entitled: "Through-life Engineering Services: Motivation, Theory and Practice." This compendium introduces and discusses further, the developments in workshop-based and 'in situ' maintenance and support of high-value engineering products, as well as the application of drone technology for autonomous and self-healing product support. The links between 'integrated planning' and planned obsolescence, risk and cost modelling are also examined. The role of data, information, and knowledge management relative to component and system degradation and failure is also presented. This is supported by consideration of the effects upon the maintenance and support decision by the presence of 'No Fault Found' error signals within system data. Further to this the role of diagnostics and prognostics is also discussed. In addition, this text presents the fundamental information required to deliver an effective TES solution/strategy and identification of core technologies. The book contains reference and discussion relative to automotive. rail, and several other industrial case studies to highlight the potential of TES to redefine the product creation and development process. Additionally the role of warranty and service data in the product creation and delivery system is also introduced. This book offers a valuable reference resource for academics, practitioners and students of TES and the associated supporting technologies and business models that underpin whole-life product creation and delivery systems through the harvesting and application of condition and use based data.

This book presents some definitions and concepts applied in Latin America on lean manufacturing (LM), the LM tools most widely used and human and cultural aspects that most matter in this field. The book contains a total of 14 tools used and reported by authors from different countries in Latin America, with definition, timeline with related research, benefits that have been reported in literature and case studies implemented in Latin American companies. Finally, the book presents a list of softwares available to facilitate the tools' implementation, monitoring and improvement.

Observations of uncertainty in measured data with time improves forecasting capability in a wide range of fields in engineering. This book provides an introduction to uncertainty forecasting based on fuzzy time series. It details descriptive, modeling, and forecasting methods for fuzzy time series. Coverage places emphasis on forecasting based on fuzzy random processes as well as forecasting involving fuzzy neuronal networks.

The 6th International Asia Conference on Industrial Engineering and Management Innovation is sponsored by the Chinese Industrial Engineering Institution and organized by Tianjin University. The conference aims to share and disseminate information on the most recent and relevant researches, theories and practices in industrial and system engineering to promote their development and application in university and enterprises.

This book explores systems-based, co-design, introducing a "Decision-Based, Co-Design" (DBCD) approach for the co-design of materials, products, and processes. In recent years there have been significant advances in modeling and simulation of material behavior, from the smallest atomic scale to the macro scale. However, the uncertainties associated with these approaches and models across different scales need to be addressed to enable decision-making resulting in designs that are robust, that is, relatively insensitive to uncertainties. An approach that facilitates co-design is needed across material, product design and manufacturing processes. This book describes a cloud-based platform to support decisions in the design of engineered systems (CB-PDSIDES), which feature an architecture that promotes co-design through the servitization of decision-making, knowledge capture and use templates that allow previous solutions to be reused. Placing the platform in the cloud aids mass collaboration and open innovation. A valuable reference resource reference on all areas related to the design of materials, products and processes, the book appeals to material scientists, design engineers and all those involved in the emerging interdisciplinary field of integrated computational materials engineering (ICME).

This book represents the first ever scientific monograph including an in-depth analysis of all major field-assisted sintering techniques. Until now, the electromagnetic field-assisted technologies of materials processing were lacking a systematic and generalized description in one fundamental publication; this work promotes the development of generalized concepts and of comparative analyses in this emerging area of materials fabrication. This book describes modern technologies for the powder processing-based fabrication of advanced materials. New approaches for the development of well-tailored and stable structures are thoroughly discussed. Since the potential of traditional thermo-mechanical methods of material treatment is limited due to inadequate control during processing, the book addresses ways to more accurately control the resultant material's structure and properties by an assisting application of electro-magnetic fields. The book describes resistance sintering, high-voltage consolidation, sintering by low-voltage electric pulses (including spark plasma sintering), flash sintering, microwave sintering, induction heating sintering, magnetic pulse compaction and other field-assisted sintering techniques. Includes an in-depth analysis of all major field-assisted sintering techniques; Explains new techniques and approaches for material treatment; Provides detailed descriptions of spark plasma sintering, microwave sintering, high-voltage consolidation, magnetic pulse compaction, and various other approaches when field-assisted treatment is applied.

This book gives a comprehensive overview of the rapidly evolving field of three-dimensional (3D) printing, and its increasing applications in the biomedical domain. 3D printing has distinct advantages like improved quality, cost-effectiveness, and higher efficiency compared to traditional manufacturing processes. Besides these advantages, current challenges and opportunities regarding choice of material, design, and efficiency are addressed in the book. Individual chapters also focus on select areas of applications such as surgical guides, tissue regeneration, artificial scaffolds and implants, and drug delivery and release. This book will be a valuable source of information for researchers and professionals interested in the expanding biomedical applications of 3D printing.

Industrial production is one of the most basic human activities indispensable to the economic activity. Due to its complexity, production is not very well understood and modeled as opposed to traditional fields of inquiry such as physics. This book aims at enhancing rigorous understanding of a particular area of production, that of analysis and optimization of production lines and networks using discrete event models and simulation. To our knowledge, this is the first book treating this subject from the point of view mentioned above. We have arrived at the realization that discrete event models and simulation provide perhaps the best tools to model production lines and networks for a number of reasons. Analysis is precise but demands enormous computational resources, usually unavailable in practical situations. Brute force simulation is also precise but slow when quick decisions are to be made. Approximate analytical models are fast but often unreliable as far as accuracy is concerned. The approach of the book, on the other hand, combines speed and accuracy to an exceptional degree in most practical applications.

This book offers a comprehensive guide to implementing a company-wide management system (CWMS), utilising up-to-date methodologies of lean-six sigma in order to achieve high levels of business excellence. It builds the foundation for quality and continuous improvement, which can be implemented in any organization. The book begins with an introduction to and an overview of CWMSs, and reviews the existing literature on various management systems. It then discusses the integration and implementation of lean-six sigma in supply chain management. The integration approach presented highlights the link between the existing management systems and shows how continuous improvement methodologies are incorporated. The book then examines the components of CWMS, comparing them to other systems. It also explores Kano-based six sigma and concludes with further recommendations for reading. This book covers five management systems integrated into one novel approach that can be followed by organizations wishing to achieve quality and business excellence. Covering lean-six sigma - an essential element of management systems - it is a valuable resource for practitioners and academics alike.

Agile manufacturing is defined as the capability of surviving and prospering in a competitive environment of continuous and unpredictable change by reacting quickly and effectively to changing markets, driven by customer-designed products and services. Critical to successfully accomplishing AM are a few enabling technologies such as the standard for the exchange of products (STEP), concurrent engineering, virtual manufacturing, component-based hierarchical shop floor control system, information and communication infrastructure, etc.

The scope of the book is to present the undergraduate and graduate students, senior managers and researchers in manufacturing systems design and management, industrial engineering and information technology with the conceptual and theoretical basis for the design and implementation of AMS. Also, the book focuses on broad policy directives and plans of agile manufacturing that guide the monitoring and evaluating the manufacturing strategies and their performance. A problem solving approach is taken throughout the book, emphasizing the context of agile manufacturing and the complexities to be addressed.

This book provides readers with extensive information on path planning optimization for both single and multiple Autonomous Guided Vehicles (AGVs), and discusses practical issues involved in advanced industrial applications of AGVs. After discussing previously published research in the field and highlighting the current gaps, it introduces new models developed by the authors with the goal of reducing costs and increasing productivity and effectiveness in the manufacturing industry. The new models address the increasing complexity of manufacturing networks, due for example to the adoption of flexible manufacturing systems that involve automated material handling systems, robots, numerically controlled machine tools, and automated inspection stations, while also considering the uncertainty and stochastic nature of automated equipment such as AGVs. The book discusses and provides solutions to important issues concerning the use of AGVs in the manufacturing industry, including material flow optimization with AGVs, programming manufacturing systems equipped with AGVs, reliability models, the reliability of AGVs, routing under uncertainty, and risks involved in AGV-based transportation. The clear style and straightforward descriptions of problems and their solutions make the book an excellent resource for graduate students. Moreover, thanks to its practice-oriented approach, the novelty of the findings and the contemporary topic it reports on, the book offers new stimulus for researchers and practitioners in the broad field of production engineering.

The aim of this book is to summarize probabilistic safety assessment (PSA) of nuclear power plants (NPPs), and to demonstrate that NPPs can be considered a safe method of producing energy, even in light of the Fukushima accident. The book examines level 1 and 2 full power, low power and shutdown probabilistic safety assessment of WWER440 reactors, and summarizes the author s experience gained during the last 35 years. It provides useful examples taken from PSA training courses delivered by the author and organized by the International Atomic Energy Agency. Such training courses were organised in Argonne National Laboratory (Chicago, IL, USA), Abdus Salaam International Centre for Theoretical Physics (Trieste, Italy) in Malaysia, Vietnam and Jordan to support experts from developing countries.

The role of probabilistic safety assessment (PSA) for NPPs (nuclear power plants) is an estimation of the risks in absolute terms and in comparison with other risks of the technical and the natural world. Plant-specific PSAs are being prepared for the NPPs and being applied for detection of weaknesses, design improvement and backfitting, incident analysis, accident management, emergency preparedness, prioritization of research & development and support of regulatory activities.

There are three levels of PSA, being performed for full power and low power operation and shutdown operating modes of the plant: Level 1 PSA, Level 2 PSA and Level 3 PSA. The nuclear regulatory authorities do not require the level 3 PSA for NPPs in the member countries of the European Union. So, only limited number of NPPs has available the level 3 PSA in Europe. However, in the light of the Fukushima accident the performance of such analyses is strongly recommended in the future. This book is intended for professionals working in the nuclear industry, and researchers and students interested in nuclear research.

"

This book provides an insight into the welding techniques with a cross-disciplinary treatment to address the shortcomings of contemporary learning of welding terminology. Various topics covered include introduction to welding processes, design requirements, prominence of design, case studies presenting structural defacements due to inappropriate design, comprehensive surveys on welding processes selected from various process categories, design calculations to be adopted for specific applications and sample calculations. This book is useful for researchers, engineers and professionals working on welding equipment and technologies.

This book provides a Management Science approach to quality management in food production. Aspects of food quality, product conformance and reliability/food safety are examined, starting with wheat and ending with its value chain transformation into bread. Protein qualities that influence glycemic index levels in bread are used to compare the value chains of France and the US. With Kaizen models the book shows how changes in these characteristics are the result of management decisions made by the wheat growers in response to government policy and industry strategy. Lately, it provides step-by-step instructions on how to apply kaizen methodology and Deming's work on quality improvement to make the HACCPs (Hazard Analysis and Critical Control Points) in food safety systems more robust.

The author is one of the prominent researchers in the field of Data Envelopment Analysis (DEA), a powerful data analysis tool that can be used in performance evaluation and benchmarking. This book is based upon the author's years of research and teaching experiences. It is difficult to evaluate an organization's performance when multiple performance metrics are present. The difficulties are further enhanced when the relationships among the performance metrics are complex and involve unknown tradeoffs. This book introduces Data Envelopment Analysis (DEA) as a multiple-measure performance evaluation and benchmarking tool. The focus of performance evaluation and benchmarking is shifted from characterizing performance in terms of single measures to evaluating performance as a multidimensional systems perspective. Conventional and new DEA approaches are presented and discussed using Excel spreadsheets - one of the most effective ways to analyze and evaluate decision alternatives. The user can easily develop and customize new DEA models based upon these spreadsheets. DEA models and approaches are presented to deal with performance evaluation problems in a variety of contexts. For example, a context-dependent DEA measures the relative attractiveness of similar operations/processes/products. Sensitivity analysis techniques can be easily applied, and used to identify critical performance measures. Two-stage network efficiency models can be utilized to study performance of supply chain. DEA benchmarking models extend DEA's ability in performance evaluation. Various cross efficiency approaches are presented to provide peer evaluation scores. This book also provides an easy-to-use DEA software - DEAFrontier. This DEAFrontier is an Add-In for Microsoft (R) Excel and provides a custom menu of DEA approaches. This version of DEAFrontier is for use with Excel 97-2013 under Windows and can solve up to 50 DMUs, subject to the capacity of Excel Solver. It is an extremely powerful tool that can assist decision-makers in benchmarking and analyzing complex operational performance issues in manufacturing organizations as well as evaluating processes in banking, retail, franchising, health care, public services and many other industries.

The underlying principles invented and developed by Dr. Genichi Taguchi (1924 - 2012), for the design of experiments or simulation calculations in multi-parameter systems, are today known as Taguchi Method. Due to the great success, it was extended to many other areas. The book explains the basics of this method in as much detail as necessary and as simply and graphically as possible. The author shows how broad the current application spectrum is and for which different tasks it can be used. The application examples range from optimizing a fermentation process in biotechnology to minimizing costs in mechanical production and maintaining and improving competitiveness in industrial production. The processes described are ideally suited to finding reliable and precise solutions for a wide variety of problems relatively quickly. A real competitive advantage not only in research but also for companies that want to remain competitive in international business competition. Contents Part 1: Analysis of Variables Part 2: Pattern Recognition and Diagnosis Part 3: Prognosis Target groups Students, scientists, engineers or those responsible for development and products learn to use the Taguchi Method with this book - even without any previous mathematical-statistical knowledge. The author Herbert Ruefer studied physics and obtained his doctorate at the Technical University Karlsruhe, Germany. After a research stay at IBM, San Jose, California, he taught at the San Marcos National University in Lima, Peru. He then took on research, development, and training tasks in the chemical industry in Germany. During this time, the first personal contacts with Dr. Genichi Taguchi and Dr. Yuin Wu took place. After his active professional life, he dedicated himself to special optical methods for astronomical observations. He also lectures at the Universidad Nacional Mayor de San Marcos which awarded him an honorary doctorate in 2017.

This book is a practical guide to downhole rock sampling and coring concepts, methods, systems, and procedures for practitioners and researchers. Its chapters are based upon years of extensive studies and research about the coring methods and via direct and continuous communication and consultation obtained from various service and operator companies such as Baker Hughes GE, NOV, OMV, and Sandvik. The contributors discuss the state-of-the-art coring methods and systems (mainly used in the petroleum industry), which include: * conventional coring; * wireline continuous coring; * invasion mitigation coring (low invasion, gel coring, sponge coring); * jam-detection, anti-jamming, full closure; * safe-coring and tripping; * oriented-coring; * pressure/in-situ coring; * logging-while-coring; * motor coring; * mini-coring; * coiled Tubing Coring; and * underbalanced coring. The contributors provide practical and applicable understanding of the procedures of these coring methods and systems, as well as the specific core barrel components, working mechanisms, and schematics of the tools and processes used. Because Coring Methods and Systems analyses and compares the core barrels used in both petroleum and mining industries, it enhances the communication and may allow knowledge transfer between the two industries. As core damage is a serious issue during coring and handling jeopardizing correct calibration of exploration data, Coring Methods and Systems has greatly focused on its identification and its mitigation. Therefore, it can be used as an ideal source for geologists, core analysts, and reservoir engineers, to ensure the retrieval of high-quality cores.

Defects generate a great economic problem for suppliers who are faced with increased duties. Customers expect increased efficiency and dependability of technical product of - also growing - complexity. The authors give an introduction to a theory of dependability for engineers. The book may serve as a reference book as well, enhancing the knowledge of the specialists and giving a lot of theoretical background and practical information, especially on the dependability analysis of whole systems.

The theory, concepts and approaches are well explained by examples and solutions. The topics include: Mathematical basis, Life span distributions, System dependability theory, Failure mode and effects analysis (FMEA), Fault tree analysis, Dependability test planning, Test evaluation, Calculation of repairable systems, Dependability protection programs.

This book provides an introduction to the most important optical measurement techniques that are applied to engineering problems. It will also serve as a guideline to selecting and applying the appropriate technique to a particular problem. The text of the first edition has been completely revised and new chapters added to describe the latest developments in Phase-Doppler Velocimetry and Particle Image Velocimetry.The editors and authors have made a special effort not only to describe and to explain the fundamentals of measuring techniques, but also to provide guidelines for their application and to demonstrate the capabilities of the various methods.The book comes with a CD-ROM containing high-speed movies visualizing the methods described in the book.

This book covers the topic of eddy current nondestructive evaluation, the most commonly practiced method of electromagnetic nondestructive evaluation (NDE). It emphasizes a clear presentation of the concepts, laws and relationships of electricity and magnetism upon which eddy current inspection methods are founded. The chapters include material on signals obtained using many common eddy current probe types in various testing environments. Introductory mathematical and physical concepts in electromagnetism are introduced in sufficient detail and summarized in the Appendices for easy reference. Worked examples and simple calculations that can be done by hand are distributed throughout the text. These and more complex end-of-chapter examples and assignments are designed to impart a working knowledge of the connection between electromagnetic theory and the practical measurements described. The book is intended to equip readers with sufficient knowledge to optimize routine eddy current NDE inspections, or design new ones. It is useful for graduate engineers and scientists seeking a deeper understanding of electromagnetic methods of NDE than can be found in a guide for practitioners.

Micromanufacturing and Nanotechnology is an emerging technological infrastructure and process that involves manufacturing of products and systems at the micro and nano scale levels. Development of micro and nano scale products and systems are underway due to the reason that they are faster, accurate and less expensive. Moreover, the basic functional units of such systems possesses remarkable mechanical, electronic and chemical properties compared to the macro-scale counterparts. Since this infrastructure has already become the prefered choice for the design and development of next generation products and systems it is now necessary to disseminate the conceptual and practical phenomenological know-how in a broader context. This book incorporates a selection of research and development papers. Its scope is the history and background, underlynig design methodology, application domains and recent developments.

This book covers recent advances in efficiency evaluations, most notably Data Envelopment Analysis (DEA) and Stochastic Frontier Analysis (SFA) methods. It introduces the underlying theories, shows how to make the relevant calculations and discusses applications. The aim is to make the reader aware of the pros and cons of the different methods and to show how to use these methods in both standard and non-standard cases. Several software packages have been developed to solve some of the most common DEA and SFA models. This book relies on R, a free, open source software environment for statistical computing and graphics. This enables the reader to solve not only standard problems, but also many other problem variants. Using R, one can focus on understanding the context and developing a good model. One is not restricted to predefined model variants and to a one-size-fits-all approach. To facilitate the use of R, the authors have developed an R package called Benchmarking, which implements the main methods within both DEA and SFA. The book uses mathematical formulations of models and assumptions, but it de-emphasizes the formal proofs - in part by placing them in appendices -- or by referring to the original sources. Moreover, the book emphasizes the usage of the theories and the interpretations of the mathematical formulations. It includes a series of small examples, graphical illustrations, simple extensions and questions to think about. Also, it combines the formal models with less formal economic and organizational thinking. Last but not least it discusses some larger applications with significant practical impacts, including the design of benchmarking-based regulations of energy companies in different European countries, and the development of merger control programs for competition authorities.

Based on the results of the study carried out in 1996 to investigate the state of the art of workflow and process technology, MCC initiated the Collaboration Management Infrastructure (CMI) research project to develop innovative agent-based process technology that can support the process requirements of dynamically changing organizations and the requirements of nomadic computing. With a research focus on the flow of interaction among people and software agents representing people, the project deliverables will include a scalable, heterogeneous, ubiquitous and nomadic infrastructure for business processes. The resulting technology is being tested in applications that stress an intensive mobile collaboration among people as part of large, evolving business processes. Workflow and Process Automation: Concepts and Technology provides an overview of the problems and issues related to process and workflow technology, and in particular to definition and analysis of processes and workflows, and execution of their instances. The need for a transactional workflow model is discussed and a spectrum of related transaction models is covered in detail. A plethora of influential projects in workflow and process automation is summarized. The projects are drawn from both academia and industry. The monograph also provides a short overview of the most popular workflow management products, and the state of the workflow industry in general. Workflow and Process Automation: Concepts and Technology offers a road map through the shortcomings of existing solutions of process improvement by people with daily first-hand experience, and is suitable as a secondary text for graduate-level courses on workflow and process automation, and as a reference for practitioners in industry.

Change, in products and systems, has become a constant in manufacturing. Changeable and Reconfigurable Manufacturing Systems discusses many key strategies for success in this environment. Changes can most often be anticipated but some go beyond the design range. This requires providing innovative change enablers and adaptation mechanisms.

Changeable and Reconfigurable Manufacturing Systems presents the new concept of Changeability as an umbrella framework that encompasses many paradigms such as agility, adaptability, flexibility and reconfigurability. The book provides the definitions and classification of key terms in this new field, and emphasizes the required physical/hard and logical/soft change enablers.

Over 22 chapters, the book presents cutting edge technologies, the latest thinking and research results, as well as future directions to help manufacturers stay competitive. It contains original contributions and results from senior international experts, experienced practitioners and accomplished researchers in the field of manufacturing, together with industrial applications. Changeable and Reconfigurable Manufacturing Systems serves as a comprehensive reference and textbook for industrial professionals, managers, engineers, specialists, researchers and academics in manufacturing, industrial and mechanical engineering; and general readers who are interested to learn about the new and emerging manufacturing paradigms and their potential impact on the workplace and future jobs.