An Assessment of Space Shuttle Flight Software Development Processes

An Assessment of Space Shuttle Flight Software Development Processes
Author: National Research Council
Publisher: National Academies Press
Total Pages: 207
Release: 1993-02-01
Genre: Science
ISBN: 030904880X

Effective software is essential to the success and safety of the Space Shuttle, including its crew and its payloads. The on-board software continually monitors and controls critical systems throughout a Space Shuttle flight. At NASA's request, the committee convened to review the agency's flight software development processes and to recommend a number of ways those processes could be improved. This book, the result of the committee's study, evaluates the safety, oversight, and management functions that are implemented currently in the Space Shuttle program to ensure that the software is of the highest quality possible. Numerous recommendations are made regarding safety and management procedures, and a rationale is offered for continuing the Independent Verification and Validation effort that was instituted after the Challenger Accident.

Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control

Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
Author: International Atomic Energy Agency
Publisher:
Total Pages: 144
Release: 1999
Genre: Business & Economics
ISBN:

This report provides practical guidance on the methods available for verification of the software and validation of computer based systems in nuclear power plants, and on how and when these methods can be effectively applied. It will be of particular interest to all those involved in the development, implementation, maintenance and use of software and computer based instrumentation and control systems in nuclear power plants.

Code of Practice for Fish and Fishery Products

Code of Practice for Fish and Fishery Products
Author: Food and Agriculture Organization of the United Nations
Publisher: Food & Agriculture Org.
Total Pages: 372
Release: 2020-10-09
Genre: Technology & Engineering
ISBN: 9251331707

The Codex Alimentarius, “the food code”, has a fundamental role in protecting consumers all around the world and ensuring fair practices in food trade. The Code of Practice for Fish and Fishery Products is the essential reference point for technical guidance on the harvesting, processing, transport and sale of fish and fishery products.

Verification and Validation in Scientific Computing

Verification and Validation in Scientific Computing
Author: William L. Oberkampf
Publisher: Cambridge University Press
Total Pages: 782
Release: 2010-10-14
Genre: Computers
ISBN: 1139491768

Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.

Food Safety Management

Food Safety Management
Author: Veslemøy Andersen
Publisher: Academic Press
Total Pages: 1160
Release: 2023-03-28
Genre: Technology & Engineering
ISBN: 032390209X

Food Safety Management: A Practical Guide for the Food Industry, Second Edition continues to present a comprehensive, integrated and practical approach to the management of food safety throughout the production chain. While many books address specific aspects of food safety, no other book guides you through the various risks associated with each sector of the production process or alerts you to the measures needed to mitigate those risks. This new edition provides practical examples of incidents and their root causes, highlighting pitfalls in food safety management and providing key insights into different means for avoiding them. Each section addresses its subject in terms of relevance and application to food safety and, where applicable, spoilage. The book covers all types of risks (e.g., microbial, chemical, physical) associated with each step of the food chain, making it an ideal resource. - Addresses risks and controls at various stages of the food supply chain based on food type, including a generic HACCP study and new information on FSMA - Covers the latest emerging technologies for ensuring food safety - Includes observations on what works and what doesn't on issues in food safety management - Provides practical guidelines for the implementation of elements of the food safety assurance system - Explains the role of different stakeholders of the food supply